ghc

ghc copied to clipboard

Explicit specificity

3

Take 3. To use: Keep pushing commits to your own branch, as you've been doing. The commits will appear here as well. But this provides a place to have a...

goldfirere

``` {-# LANGUAGE DeriveDataTypeable, TypeFamilies, TemplateHaskell, DataKinds, PolyKinds, GADTs, RankNTypes, MultiParamTypeClasses, FlexibleInstances, UndecidableInstances, UnicodeSyntax, FunctionalDependencies, StandaloneDeriving, TypeOperators, ScopedTypeVariables, NoMonomorphismRestriction, MonadComprehensions, DeriveGeneric, FlexibleContexts, GeneralizedNewtypeDeriving, ConstraintKinds, LambdaCase, ViewPatterns, AllowAmbiguousTypes, DefaultSignatures, RecursiveDo, --...

goldfirere

From `singletons` (see goldfirere/singletons#153): ``` -- | Convert a normal datatype (like 'Bool') to a singleton for that datatype, -- passing it into a continuation. withSomeSing :: SingKind k =>...

goldfirere

``` {-# LANGUAGE DeriveDataTypeable, TypeFamilies, TemplateHaskell, DataKinds, PolyKinds, GADTs, RankNTypes, MultiParamTypeClasses, FlexibleInstances, UndecidableInstances, UnicodeSyntax, FunctionalDependencies, StandaloneDeriving, TypeOperators, ScopedTypeVariables, NoMonomorphismRestriction, MonadComprehensions, DeriveGeneric, FlexibleContexts, GeneralizedNewtypeDeriving, ConstraintKinds, LambdaCase, ViewPatterns, -- AllowAmbiguousTypes, DefaultSignatures, RecursiveDo,...

goldfirere

Kind synonym hangs

1

This code hangs. :( ``` {-# LANGUAGE DeriveDataTypeable, TypeFamilies, TemplateHaskell, DataKinds, PolyKinds, GADTs, RankNTypes, MultiParamTypeClasses, FlexibleInstances, UndecidableInstances, UnicodeSyntax, FunctionalDependencies, StandaloneDeriving, TypeOperators, ScopedTypeVariables, NoMonomorphismRestriction, MonadComprehensions, DeriveGeneric, FlexibleContexts, GeneralizedNewtypeDeriving, ConstraintKinds, LambdaCase, ViewPatterns,...

goldfirere

[Feature Request] Visible Forall

1

[The Dependent Haskell Proposal](https://ghc.haskell.org/trac/ghc/wiki/DependentHaskell) mentions a dependent visible irrelevant quantifier: `forall (...) ->`. Now that we've got visible type application, thanks to Richard's tremendous efforts, I think we're pretty close...

int-index

GHC hangs on this: ``` haskell {-# LANGUAGE GADTs, TypeInType #-} import Data.Kind import Data.Proxy data U :: Type where C :: Proxy (u :: U) -> U ```

AndrasKovacs

Fix type-level indexed STLC

3

See here: https://gist.github.com/AndrasKovacs/c7d385aa117929503feb

goldfirere

Self quantification in data declarations

2

Currently, this declaration : ``` haskell data A :: * where B :: forall (x :: A). A ``` results in a "AThing evaluated unexpectedly" ghc panic. I think it...

RafaelBocquet

``` {-# LANGUAGE DeriveDataTypeable, TypeFamilies, TemplateHaskell, DataKinds, PolyKinds, GADTs, RankNTypes, MultiParamTypeClasses, FlexibleInstances, UndecidableInstances, CPP, FunctionalDependencies, StandaloneDeriving, TypeOperators, ScopedTypeVariables, NoMonomorphismRestriction, MonadComprehensions, DeriveGeneric, FlexibleContexts, GeneralizedNewtypeDeriving, ConstraintKinds, LambdaCase, ViewPatterns, -- AllowAmbiguousTypes, DefaultSignatures, --...

goldfirere