Issues · Glasgow Haskell Compiler / GHC · GitLab

Location of `forall` matters with higher-rank kind polymorphism

#13399 · opened Mar 09, 2017 by Eric Crockett 8.4.1 5 Pnormal Trac import TypeInType bug
- CLOSED
- 12
updated May 21, 2020
PolyKinds is more permissive in GHC 8

#13391 · opened Mar 07, 2017 by Eric Crockett 5 Pnormal Trac import TypeInType bug
- CLOSED
- 6
updated Jul 07, 2019
Remove checkValidTelescope

#13364 · opened Mar 02, 2017 by Richard Eisenberg 8.4.1 5 Pnormal Trac import TypeInType task
- CLOSED
- 1
updated Jul 07, 2019
GHC doesn't think a type is of kind *, despite having evidence for it

#13337 · opened Feb 25, 2017 by Ryan Scott 8.2.1 5 Pnormal Trac import TypeInType bug typechecker
- CLOSED
- 14
updated Jul 07, 2019
Typeable regression in GHC HEAD

#13333 · opened Feb 24, 2017 by Ryan Scott 8.2.1 10 Phighest Trac import TypeInType bug typechecker
- CLOSED
- 13
updated Jul 07, 2019
Polykinded associated type family rejected on false pretenses

#12938 · opened Dec 07, 2016 by Richard Eisenberg 8.6.1 5 Pnormal Trac import TypeInType bug
- CLOSED
- 5
updated Jul 07, 2019
Wrong class instance selection with Data.Kind.Type

#12933 · opened Dec 06, 2016 by julm 10 Phighest Trac import TypeInType bug
- CLOSED
- 3
updated Jul 07, 2019
tc_infer_args does not set in-scope set correctly

#12931 · opened Dec 06, 2016 by johnleo 5 Pnormal Trac import TypeInType bug
- CLOSED
- 2
updated Jul 07, 2019
Kind classes compile with PolyKinds

#12922 · opened Dec 03, 2016 by Matthías Páll Gissurarson 5 Pnormal Trac import TypeInType bug
- CLOSED
- 10
updated Jul 07, 2019
Equality not used for substitution

#12919 · opened Dec 02, 2016 by Vladislav Zavialov 8.4.1 10 Phighest Trac import TypeInType bug typechecker
- CLOSED
- 21
updated Jul 07, 2019
Allow runtime-representation polymorphic data families

#12766 · opened Oct 26, 2016 by Icelandjack 8.10.1 5 Pnormal Trac import TypeInType UnliftedNewtypes feature request
- CLOSED
- 3
updated Jul 07, 2019
Instantiation of invisible type family arguments is too eager

#12742 · opened Oct 20, 2016 by Richard Eisenberg 5 Pnormal Trac import TypeInType bug
- CLOSED
- 2
updated Jul 07, 2019
Allow kinds of associated types to depend on earlier associated types

#12612 · opened Sep 23, 2016 by davemenendez 5 Pnormal Trac import TypeInType bug
- 1
- 5
updated Jul 07, 2019
Type family in type pattern kind

#12564 · opened Sep 02, 2016 by Vladislav Zavialov 8.4.1 7 Phigh Trac import TypeFamilies TypeInType bug typechecker
- 25
updated Aug 24, 2019
Reference kind in a type instance declaration defined in another instance declaration

#12553 · opened Aug 30, 2016 by Icelandjack 5 Pnormal Trac import TypeInType bug
- CLOSED
- 11
updated Jul 07, 2019
GHC 8.0 accepts recursive kind signature that GHC 7.10 rejects

#12534 · opened Aug 24, 2016 by Ryan Scott 5 Pnormal Trac import TypeInType bug typechecker
- CLOSED
- 2
updated Jul 07, 2019
Template Haskell regression: GHC erroneously thinks a type variable is also a kind

#12503 · opened Aug 20, 2016 by Ryan Scott 8.2.1 7 Phigh TemplateHaskell Trac import TypeInType bug
- CLOSED
- 9
updated Jul 07, 2019
Pure unifier usually doesn't need to unify kinds

#12442 · opened Jul 27, 2016 by Richard Eisenberg 5 Pnormal Trac import TypeInType bug
- CLOSED
- 9
updated Jul 07, 2019
data families shouldn't be required to have return kind *, data instances should

#12369 · opened Jul 06, 2016 by Edward Kmett 8.4.1 5 Pnormal Trac import TypeInType feature request typechecker
- CLOSED
- 14
updated Jul 07, 2019
Dependent type family does not reduce

#12239 · opened Jun 28, 2016 by Vladislav Zavialov 8.2.1 7 Phigh Trac import TypeFamilies TypeInType bug typechecker
- CLOSED
- 11
updated Jul 07, 2019

Prev
1
…
5
6
7
8
9
10
11
12
Next