Issues · Glasgow Haskell Compiler / GHC · GitLab

GHC falls into a hole if given incorrect kind signature

#11520 · opened Jan 31, 2016 by Ben Gamari 8.0.1 10 Phighest Trac import TypeInType bug error messages typechecker
- CLOSED
- 9
updated Jul 07, 2019
Inferring non-tau kinds

#11519 · opened Jan 30, 2016 by Richard Eisenberg 8.0.1 5 Pnormal Trac import TypeInType bug
- CLOSED
- 11
updated Jul 07, 2019
Very unhelpful message resulting from kind mismatch

#11485 · opened Jan 24, 2016 by Ryan Scott 8.0.1 5 Pnormal Trac import TypeInType bug typechecker
- CLOSED
- 2
updated Jul 07, 2019
Type synonym using -XTypeInType can't be spliced with TH

#11484 · opened Jan 23, 2016 by Ryan Scott 8.0.2 5 Pnormal TemplateHaskell Trac import TypeInType bug
- CLOSED
- 9
updated Jul 07, 2019
Levity polymorphism checks are inadequate

#11473 · opened Jan 21, 2016 by Simon Peyton Jones 8.0.1 10 Phighest Trac import TypeInType bug error messages levity polymorphism
- CLOSED
- 12
updated Jul 07, 2019
Kind polymorphism and unboxed types: bad things are happening

#11471 · opened Jan 21, 2016 by Ben Gamari 8.0.1 5 Pnormal Trac import TypeInType bug task typechecker
- CLOSED
- 24
updated Jul 07, 2019
Template Haskell applies too many arguments to kind synonym

#11463 · opened Jan 20, 2016 by Ryan Scott 8.0.1 5 Pnormal TemplateHaskell Trac import TypeApplications TypeInType bug incorrect runtime result
- CLOSED
- 4
updated Jul 07, 2019
Kinds in type synonym/data declarations can unexpectedly unify

#11453 · opened Jan 18, 2016 by Ryan Scott 5 Pnormal Trac import TypeInType bug error messages typechecker
- CLOSED
- 1
updated Jul 07, 2019
GHC mistakenly believes datatype with type synonym in its type can't be eta-reduced

#11416 · opened Jan 13, 2016 by Ryan Scott 8.0.1 5 Pnormal Trac import TypeInType bug typechecker
- CLOSED
- 5
updated Jul 07, 2019
Quantification over unlifted type variable

#11410 · opened Jan 12, 2016 by Richard Eisenberg 5 Pnormal Trac import TypeInType bug
- CLOSED
- 3
updated Jul 07, 2019
-XTypeInType uses up all memory when used in data family instance

#11407 · opened Jan 11, 2016 by Ryan Scott 8.0.1 10 Phighest Trac import TypeInType bug compiler perf typechecker
- CLOSED
- 5
updated Jul 07, 2019
Incorrect failure of type-level skolem escape check

#11405 · opened Jan 11, 2016 by Richard Eisenberg 8.0.1 10 Phighest Trac import TypeInType bug
- CLOSED
- 10
updated Jul 07, 2019
The type variable used in a kind is still used

#11404 · opened Jan 11, 2016 by Richard Eisenberg 8.0.1 5 Pnormal Trac import TypeInType bug
- CLOSED
- 2
updated Jul 07, 2019
No match in record selector ctev_dest

#11401 · opened Jan 10, 2016 by Lemming 8.0.1 10 Phighest Trac import TypeInType bug
- CLOSED
- 13
updated Jul 07, 2019
* is not an indexed type family

#11400 · opened Jan 10, 2016 by Ryan Scott 8.2.2 5 Pnormal Trac import TypeInType bug typechecker
- CLOSED
- 10
updated Jul 07, 2019
Ill-kinded instance head involving -XTypeInType can invoke GHC panic

#11399 · opened Jan 10, 2016 by Ryan Scott 8.0.1 10 Phighest Trac import TypeInType bug compiler crash typechecker
- CLOSED
- 4
updated Jul 07, 2019
Inconsistent specified type variables among functions and datatypes/classes when using -XTypeApplications

#11376 · opened Jan 08, 2016 by Ryan Scott 8.0.1 5 Pnormal Trac import TypeApplications TypeInType bug typechecker
- CLOSED
- 33
updated Jul 07, 2019
T6137 doesn't pass with reversed uniques

#11362 · opened Jan 06, 2016 by niteria 8.0.1 5 Pnormal Trac import TypeInType bug
- CLOSED
- 7
updated Jul 07, 2019
Regression when deriving Generic1 on poly-kinded data family

#11357 · opened Jan 05, 2016 by Ryan Scott 8.0.1 10 Phighest Trac import TypeInType bug code generation generics
- CLOSED
- 13
updated Jul 07, 2019
GHC panic

#11356 · opened Jan 05, 2016 by Icelandjack 8.0.1 5 Pnormal Trac import TypeInType bug compiler crash typechecker
- CLOSED
- 6
updated Jul 07, 2019

Prev
1
…
6
7
8
9
10
11
Next