Issues · Glasgow Haskell Compiler / GHC · GitLab

-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
Possible type-checker regression in GHC 8.0

#11339 · opened Jan 02, 2016 by Herbert Valerio Riedel 8.0.2 10 Phighest Trac import TypeInType bug typechecker
- CLOSED
- 12
updated Jul 07, 2019
GHC panic when calling typeOf on a promoted data constructor

#11334 · opened Jan 01, 2016 by Ryan Scott 8.0.1 10 Phighest Trac import TypeInType bug compiler crash typechecker
- CLOSED
- 19
updated Jul 07, 2019
Can't :browse some modules with GHCi 7.11

#11266 · opened Dec 20, 2015 by Ryan Scott 8.0.1 7 GHCi Phigh Trac import TypeInType bug
- CLOSED
- 4
updated Jul 07, 2019
:kind command hides the explicit kind

#11252 · opened Dec 18, 2015 by Icelandjack 8.0.1 5 GHCi Pnormal Trac import TypeInType feature request
- CLOSED
- 6
updated Jul 07, 2019
Regression typechecking type synonym which includes `Any`.

#11246 · opened Dec 17, 2015 by Matthew Pickering 8.0.1 10 Phighest Trac import TypeInType bug typechecker
- CLOSED
- 9
updated Jul 07, 2019
Kind-level PartialTypeSignatures causes internal error

#11241 · opened Dec 17, 2015 by Adam Gundry 8.0.1 5 Pnormal Trac import TypeInType bug typechecker
- CLOSED
- 4
updated Jul 07, 2019
TypeInType performance regressions

#11196 · opened Dec 11, 2015 by Richard Eisenberg 8.4.1 7 Phigh Trac import TypeInType bug compiler perf
- 17
updated Jul 07, 2019
Bug with PolyKinds, type synonyms & GADTs

#7503 · opened Dec 16, 2012 by Ashley Yakeley 8.0.1 5 Pnormal Trac import TypeInType bug typechecker
- 8
updated Jul 07, 2019

Prev
1
…
8
9
10
11
12
Next