Issues · Glasgow Haskell Compiler / GHC · GitLab

Error in optCoercion

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

#11648 · created Feb 26, 2016 by Thomas Miedema 8.0.1 10 Phighest Tbug Trac import TypeInType
- CLOSED
- 21
updated Jul 07, 2019
Heterogeneous type equality evidence ignored

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

#11614 · created Feb 20, 2016 by rwbarton 8.0.1 10 Phighest Ttask Trac import TypeInType documentation
- CLOSED
- 4
updated Jul 07, 2019
GHC falls into a hole if given incorrect kind signature

#11520 · created Jan 31, 2016 by Ben Gamari 8.0.1 10 Phighest Tbug Trac import TypeInType error messages typechecker
- CLOSED
- 9
updated Jul 07, 2019
Levity polymorphism checks are inadequate

#11473 · created Jan 21, 2016 by Simon Peyton Jones 8.0.1 10 Phighest Tbug Trac import TypeInType error messages representation polymorphism
- CLOSED
- 12
updated Jul 07, 2019
-XTypeInType uses up all memory when used in data family instance

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

#11405 · created Jan 11, 2016 by Richard Eisenberg 8.0.1 10 Phighest Tbug Trac import TypeInType
- CLOSED
- 10
updated Jul 07, 2019
No match in record selector ctev_dest

#11401 · created Jan 10, 2016 by Lemming 8.0.1 10 Phighest Tbug Trac import TypeInType
- CLOSED
- 13
updated Jul 07, 2019
Ill-kinded instance head involving -XTypeInType can invoke GHC panic

#11399 · created Jan 10, 2016 by Ryan Scott 8.0.1 10 Phighest Tbug Trac import TypeInType compiler crash typechecker
- CLOSED
- 4
updated Jul 07, 2019
Regression when deriving Generic1 on poly-kinded data family

#11357 · created Jan 05, 2016 by Ryan Scott 8.0.1 10 Phighest Tbug Trac import TypeInType code generation generics
- CLOSED
- 13
updated Jul 07, 2019
GHC panic when calling typeOf on a promoted data constructor

#11334 · created Jan 01, 2016 by Ryan Scott 8.0.1 10 Phighest Tbug Trac import TypeInType compiler crash typechecker
- CLOSED
- 19
updated Jul 07, 2019
Regression typechecking type synonym which includes `Any`.

#11246 · created Dec 17, 2015 by Matthew Pickering 8.0.1 10 Phighest Tbug Trac import TypeInType typechecker
- CLOSED
- 9
updated Jul 07, 2019
Absolutely misleading error message on kind error

#11548 · created Feb 06, 2016 by mniip 8.0.1 7 Phigh Tbug Trac import TypeInType error messages
- CLOSED
- 7
updated Jul 07, 2019
Can't :browse some modules with GHCi 7.11

#11266 · created Dec 20, 2015 by Ryan Scott 8.0.1 7 GHCi Phigh Tbug Trac import TypeInType
- CLOSED
- 4
updated Jul 07, 2019
GHC sometimes misses a CUSK

#11811 · created Apr 07, 2016 by Richard Eisenberg 8.0.1 5 Pnormal Tbug Trac import TypeInType
- CLOSED
- 3
updated Jul 07, 2019
Deriving Generic1 interacts poorly with TypeInType

#11732 · created Mar 21, 2016 by Richard Eisenberg 8.0.1 5 Pnormal Tbug Trac import TypeInType generics
- CLOSED
- 19
updated Jul 07, 2019
Make TypeInType stress test work

#11716 · created Mar 17, 2016 by Richard Eisenberg 8.0.1 5 Pnormal Tbug Trac import TypeInType
- CLOSED
- 4
updated Jul 07, 2019
Type families mistakingly report kind variables as unbound type variables

#11699 · created Mar 11, 2016 by mniip 8.0.1 5 Pnormal Tbug Trac import TypeInType
- CLOSED
- 6
updated Jul 07, 2019
Higher-rank kind in datatype definition rejected

#11635 · created Feb 24, 2016 by Oleg Grenrus 8.0.1 5 Pnormal Tbug Trac import TypeInType
- CLOSED
- 5
updated Jul 07, 2019

Prev
1
2
3
4
5
…
11
Next