Issues · Glasgow Haskell Compiler / GHC · GitLab

ala from Control.Lens.Wrapped panics

#13585 · opened Apr 18, 2017 by Fumiaki Kinoshita 8.2.1 10 Phighest Trac import TypeInType bug compiler crash 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
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
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
Recursive use of type-in-type results in infinite loop

#12174 · opened Jun 09, 2016 by Edward Z. Yang 8.2.1 10 Phighest Trac import TypeInType bug typechecker
- CLOSED
- 7
updated Sep 19, 2020
Error in optCoercion

#11754 · opened Mar 25, 2016 by Simon Peyton Jones 8.0.1 10 Phighest Trac import TypeInType bug
- CLOSED
- 4
updated Jul 07, 2019
assertPprPanic, called at compiler/types/TyCoRep.hs:1932

#11648 · opened Feb 26, 2016 by thomie 8.0.1 10 Phighest Trac import TypeInType bug
- CLOSED
- 21
updated Jul 07, 2019
Heterogeneous type equality evidence ignored

#11642 · opened Feb 25, 2016 by Ben Gamari 8.0.1 10 Phighest Trac import TypeInType bug typechecker
- CLOSED
- 9
updated Jul 07, 2019
document TypeInType

#11614 · opened Feb 20, 2016 by rwbarton 8.0.1 10 Phighest Trac import TypeInType documentation task
- CLOSED
- 4
updated Jul 07, 2019
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
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
-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
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
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
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
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
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
TypeInType prevents Typeable from being resolved from a given

#19196 · opened Jan 08, 2021 by Serge Kosyrev TypeInType Typeable program incorrectly rejected typechecker
- CLOSED
- 3
updated Jan 11, 2021

Prev
1
…
7
8
9
10
11
12
Next