Issues · Glasgow Haskell Compiler / GHC · GitLab

Poor error message

#11672 · opened Mar 04, 2016 by Adam Gundry 5 Pnormal Trac import TypeInType bug error messages typechecker
- CLOSED
- 2
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
Higher-rank kind in datatype definition rejected

#11635 · opened Feb 24, 2016 by Oleg Grenrus 8.0.1 5 Pnormal Trac import TypeInType bug
- CLOSED
- 5
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
Self-kinded type variable accepted

#11592 · opened Feb 17, 2016 by Simon Peyton Jones 8.2.1 5 Pnormal Trac import TypeInType bug
- CLOSED
- 2
updated Jul 07, 2019
panic: isInjectiveTyCon sees a TcTyCon

#11560 · opened Feb 08, 2016 by rwbarton 5 Pnormal Trac import TypeInType bug compiler crash typechecker
- CLOSED
- 8
updated Jul 07, 2019
Self quantification in GADT data declarations

#11554 · opened Feb 07, 2016 by Rafbill 7 Phigh Trac import TypeInType bug compiler crash typechecker
- CLOSED
- 18
updated Sep 19, 2020
Add -fshow-runtime-rep

#11549 · opened Feb 06, 2016 by Richard Eisenberg 8.8.1 5 Pnormal Trac import TypeInType bug
- CLOSED
- 20
updated Jul 07, 2019
Absolutely misleading error message on kind error

#11548 · opened Feb 06, 2016 by mniip 8.0.1 7 Phigh Trac import TypeInType bug error messages
- CLOSED
- 7
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
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

Prev
1
…
7
8
9
10
11
12
Next