Issues · Glasgow Haskell Compiler / GHC · GitLab

GADT + impredicative polymorphism => stack overflow

#940 · opened Oct 14, 2006 by guest 5 Pnormal Trac import bug typechecker
- CLOSED
- 3
updated Jul 07, 2019
Debugging info(?) leaks out: "Urk! Inventing strangely-kinded void TyCon"

#959 · opened Oct 23, 2006 by Ian Lynagh <igloo@earth.li> 5 Pnormal Trac import bug typechecker
- CLOSED
- 12
updated Jul 07, 2019
implement associated type synonyms

#961 · opened Oct 24, 2006 by Samuel Bronson <naesten@gmail.com> 6.8.1 5 Pnormal Trac import task typechecker
- CLOSED
- 4
updated Jul 07, 2019
'impossible' happened in reportNoInstance?

#1006 · opened Nov 16, 2006 by SamB 5 Pnormal Trac import bug typechecker
- CLOSED
- 4
updated Jul 07, 2019
Using an inferred type as a type signature fails

#1050 · opened Dec 13, 2006 by Simon Peyton Jones ⊥ 3 Plow Trac import bug typechecker
- CLOSED
- 6
updated Jul 07, 2019
Message order random due to sorting by uniques

#1053 · opened Dec 15, 2006 by Ian Lynagh <igloo@earth.li> 6.8.1 0 Plow Trac import bug typechecker
- CLOSED
- 3
updated Jul 07, 2019
Somewhat bad type error message

#1089 · opened Jan 08, 2007 by kirsten 0 Plow Trac import bug typechecker
- CLOSED
- 4
updated Jul 07, 2019
Bad monomorphism-restriction-related type error message

#1090 · opened Jan 08, 2007 by kirsten 0 Plow Trac import bug typechecker
- CLOSED
- 3
updated Jul 07, 2019
Error message "Expecting a function type, but found `w_a1Kh'"

#1121 · opened Jan 26, 2007 by huschi@gmx.org 5 Pnormal Trac import bug typechecker
- CLOSED
- 1
updated Jul 07, 2019
class instance lost during re-export & packaging

#1145 · opened Feb 13, 2007 by conal 6.6.1 5 Pnormal Trac import bug typechecker
- CLOSED
- 7
updated Jul 07, 2019
Problem with GADTs and explicit type signatures

#1158 · opened Feb 20, 2007 by guest 0 GADTs Plow Trac import bug typechecker
- 5
updated Jul 07, 2019
Associated types don't work with record updates

#1204 · opened Mar 06, 2007 by nominolo@gmail.com 6.8.1 5 Pnormal Trac import bug typechecker
- CLOSED
- 4
updated Jul 07, 2019
Unnecessary prohibition of unquantified higher-order typeclass constraints

#1207 · opened Mar 07, 2007 by br276@cam.ac.uk 3 Plow Trac import bug typechecker
- CLOSED
- 3
updated Jul 07, 2019
Iface type variable out of scope

#1214 · opened Mar 11, 2007 by Ian Lynagh <igloo@earth.li> 6.8.1 5 Pnormal Trac import bug typechecker
- CLOSED
- 4
updated Jul 07, 2019
Newtype deriving should only work if superclasses are newtype-derived

#1220 · opened Mar 13, 2007 by Simon Peyton Jones 6.8.2 5 Pnormal Trac import bug typechecker
- CLOSED
- 4
updated Jul 07, 2019
Types don't match expressions in type error

#1221 · opened Mar 13, 2007 by Ian Lynagh <igloo@earth.li> 3 Plow Trac import bug typechecker
- CLOSED
- 9
updated Jul 07, 2019
Functional dependency Coverage Condition is lifted, and should not be

#1241 · opened Mar 21, 2007 by guest 5 Pnormal Trac import bug typechecker
- CLOSED
- 20
updated Jul 07, 2019
HEAD gives warnings about code that it generates itself

#1313 · opened Apr 30, 2007 by Ian Lynagh <igloo@earth.li> 6.8.1 5 Pnormal Trac import bug typechecker
- CLOSED
- 3
updated Jul 07, 2019
Impredicativity bug: Church2 test gives a rather confusing error with the HEAD

#1330 · opened May 05, 2007 by Ian Lynagh <igloo@earth.li> 8.0.1 0 ImpredicativeTypes Plow Trac import broken test bug typechecker
- CLOSED
- 4
- 12
updated Sep 24, 2020
indexed types panic: wrongKindOfFamily main:ShouldCompile.Sd{tc r6A}

#1331 · opened May 05, 2007 by Ian Lynagh <igloo@earth.li> 6.8.1 5 Pnormal Trac import bug typechecker
- CLOSED
- 3
updated Feb 24, 2021

Prev
1
2
3
4
5
6
7
8
…
63
Next