Issues · Glasgow Haskell Compiler / GHC

New issue

deriving show with unboxed types gives nonsense

#494 · opened Jul 12, 2000 by sewardj 5 Pnormal Trac import bug typechecker
- CLOSED
- 1
updated Jul 07, 2019
Type error message pretty-prints unboxed tuples wrongly

#502 · opened Dec 14, 2000 by Manuel M T Chakravarty 5 Pnormal Trac import bug obsolete typechecker
- CLOSED
- 1
- 2
updated Jul 07, 2019
4.11 dies for certain RULES

#505 · opened Dec 30, 2000 by Manuel M T Chakravarty 5 Pnormal Trac import bug obsolete typechecker
- CLOSED
- 1
- 2
updated Jul 07, 2019
class C a b | a -> b; (C a b, Eq b) => a -- not legal

#508 · opened Feb 10, 2001 by qrczak 5 Pnormal Trac import bug typechecker
- CLOSED
- 1
updated Jul 07, 2019
GHC5.0 restricted bindings broken

#528 · opened Apr 10, 2001 by lewie 10 Phighest Trac import bug typechecker
- CLOSED
- 1
updated Jul 07, 2019
GHC 5.0 fails test tc110.hs

#529 · opened Apr 11, 2001 by lewie 5 Pnormal Trac import bug typechecker
- CLOSED
- 1
updated Jul 07, 2019
GHC 5.0 fails test tc109.hs

#531 · opened Apr 11, 2001 by lewie 5 Pnormal Trac import bug typechecker
- CLOSED
- 1
updated Jul 07, 2019
monotypes w/ IP broken

#533 · opened Apr 13, 2001 by lewie 7 Phigh Trac import bug typechecker
- CLOSED
- 1
updated Jul 07, 2019
Imp. Params not subject to defaulting

#539 · opened Apr 26, 2001 by lewie 5 Pnormal Trac import bug typechecker
- CLOSED
- 1
updated Jul 07, 2019
newtype vs data TC problem

#563 · opened Jul 10, 2001 by nobody 5 Pnormal Trac import bug typechecker
- CLOSED
- 1
updated Jul 07, 2019
overlapping instances & fundeps broken

#565 · opened Jul 15, 2001 by ashley-y 3 Plow Trac import bug typechecker
- CLOSED
- 6
updated Jul 07, 2019
0 parameter type classes

#583 · opened Aug 23, 2001 by iavor_sd 5 Pnormal Trac import bug typechecker
- CLOSED
- 1
updated Jul 07, 2019
a weird kind error with 2-rank types

#40 · opened Jan 12, 2002 by nobody 5 Pnormal Trac import bug typechecker
- CLOSED
- 1
updated Jul 07, 2019
Signature context in recursive groups

#67 · opened Apr 23, 2002 by nobody 5 Pnormal Trac import bug typechecker
- CLOSED
- 1
updated Jul 07, 2019
panic with linear implicit parameters

#91 · opened Nov 06, 2002 by ajk 5 Pnormal Trac import bug typechecker
- CLOSED
- 2
updated Jul 07, 2019
can't declare instance for type synonim

#102 · opened Dec 05, 2002 by alar 5 Pnormal Trac import bug typechecker
- CLOSED
- 3
updated Jul 07, 2019
Unboxed tuples as values

#151 · opened Jun 13, 2003 by Simon Peyton Jones 5 Pnormal Trac import bug typechecker
- CLOSED
- 1
updated Jul 07, 2019
(->) used prefix doesn't work with unboxed kinds

#152 · opened Jun 13, 2003 by Simon Peyton Jones 5 Pnormal Trac import bug typechecker
- CLOSED
- 1
updated Jul 07, 2019
mutiparameter classes problem

#154 · opened Jun 17, 2003 by nobody 5 Pnormal Trac import bug typechecker
- CLOSED
- 1
updated Jul 07, 2019
Instance match failure on openTypeKind

#179 · opened Sep 16, 2003 by Simon Peyton Jones 6.8.1 5 Pnormal Trac import bug typechecker
- CLOSED
- 8
updated Jul 07, 2019
Malformed Predicate w/ Template Haskell

#189 · opened Oct 09, 2003 by jcast 5 Pnormal Trac import bug typechecker
- CLOSED
- 2
updated Jul 07, 2019
ghc "panic" - typecheck/TcRnTypes.lhs:233

#214 · opened Mar 20, 2004 by fergus 5 Pnormal Trac import bug typechecker
- CLOSED
- 2
updated Jul 07, 2019
class context restrictions in GADT types not assumed

#289 · opened Jan 06, 2005 by ashley-y 6.8.1 5 Pnormal Trac import bug typechecker
- CLOSED
- 5
updated Jul 07, 2019
GADT constructor constraints ignored

#301 · opened Feb 04, 2005 by wolfram_kahl 6.8.1 5 Pnormal Trac import bug typechecker
- CLOSED
- 10
updated Jul 07, 2019
Rebindable syntax doesn't work as advertised

#303 · opened Feb 09, 2005 by nobody 5 Pnormal Trac import bug typechecker
- CLOSED
- 11
updated Jul 07, 2019
ghc hangs during compilation

#304 · opened Feb 10, 2005 by nobody 5 Pnormal Trac import bug typechecker
- CLOSED
- 1
updated Jul 07, 2019
Data.Generics type error

#310 · opened Feb 22, 2005 by nobody 5 Pnormal Trac import bug typechecker
- CLOSED
- 6
updated Jul 07, 2019
Poor error message for kind error

#312 · opened Feb 25, 2005 by Simon Peyton Jones 3 Plow Trac import bug typechecker
- CLOSED
- 4
updated Jul 07, 2019
Exponential behaviour with type synonyms

#323 · opened Mar 14, 2005 by Simon Peyton Jones 3 Plow Trac import bug typechecker
- CLOSED
- 5
updated Jul 07, 2019
Strange GADT behaviour

#349 · opened Apr 11, 2005 by josefs 6.8.1 5 Pnormal Trac import bug typechecker
- CLOSED
- 7
updated Jul 07, 2019
internal compiler error: the `impossible' happened

#384 · opened May 14, 2005 by asamoilov 5 Pnormal Trac import bug typechecker
- CLOSED
- 6
updated Jul 07, 2019
Kind error has wrong line

#385 · opened May 18, 2005 by nobody 5 Pnormal Trac import bug typechecker
- CLOSED
- 1
updated Jul 07, 2019
unjustified deduction error

#391 · opened May 23, 2005 by nobody 5 Pnormal Trac import bug typechecker
- CLOSED
- 2
updated Jul 07, 2019
forall in pattern type sig has changed from 6.2.2

#392 · opened May 25, 2005 by mtullsen 5 Pnormal Trac import bug typechecker
- CLOSED
- 1
updated Jul 07, 2019
Typechecker loop and stack overflow in 6.4

#405 · opened Jun 22, 2005 by ekarttun 5 Pnormal Trac import bug typechecker
- CLOSED
- 1
updated Jul 07, 2019
confusing error

#409 · opened Jul 01, 2005 by pimlott 5 Pnormal Trac import bug typechecker
- CLOSED
- 2
updated Jul 07, 2019
panic: "Non-exhaustive patterns in function zip_ty_env"

#411 · opened Jul 05, 2005 by nobody 5 Pnormal Trac import bug typechecker
- CLOSED
- 2
updated Jul 07, 2019
Bad location for violation of functional dependency

#415 · opened Jul 07, 2005 by magunter 5 Pnormal Trac import bug typechecker
- CLOSED
- 1
updated Jul 07, 2019
instance of synonym

#416 · opened Jul 07, 2005 by nobody 5 Pnormal Trac import bug typechecker
- CLOSED
- 1
updated Jul 07, 2019
TcSimplify.lhs:(2093,13)-(2094,38): Non-exhaustive patterns

#419 · opened Jul 12, 2005 by nobody 5 Pnormal Trac import bug typechecker
- CLOSED
- 1
updated Jul 07, 2019
Result type signatures and lexically scoped type variables

#430 · opened Jul 31, 2005 by nobody 5 Pnormal Trac import bug typechecker
- CLOSED
- 1
updated Jul 07, 2019
panic with bad data/class definition.

#444 · opened Aug 30, 2005 by nobody 5 Pnormal Trac import bug typechecker
- CLOSED
- 1
updated Jul 07, 2019
ghc is confused about instances of Ord

#446 · opened Aug 31, 2005 by greenrd 5 Pnormal Trac import bug typechecker
- CLOSED
- 3
updated Jul 07, 2019
GHC poor type-checker error message

#451 · opened Sep 04, 2005 by isaacdupree 5 Pnormal Trac import bug typechecker
- CLOSED
- 10
updated Jul 07, 2019
panic:Unify.unifyTauTyLists

#456 · opened Sep 14, 2005 by volkersf 5 Pnormal Trac import bug typechecker
- CLOSED
- 3
updated Jul 07, 2019
reporting the origin of kind errors

#460 · opened Sep 16, 2005 by nokta_kanto 5 Pnormal Trac import bug typechecker
- CLOSED
- 1
updated Jul 07, 2019
Incorrect handling of types

#625 · opened Dec 10, 2005 by hjgtuyl (at) chello (dot) nl 5 Pnormal Trac import bug typechecker
- CLOSED
- 3
updated Jul 07, 2019
Non-exhaustive patterns in function zip_ty_env

#644 · opened Jan 03, 2006 by Simon Marlow 6.4.2 5 Pnormal Trac import bug typechecker
- CLOSED
- 3
updated Jul 07, 2019
ASSERT fails on newtype + forall

#646 · opened Jan 04, 2006 by guest 6.6 5 Pnormal Trac import bug typechecker
- CLOSED
- 1
updated Jul 07, 2019
Confusion about types

#663 · opened Jan 18, 2006 by guest 5 Pnormal Trac import bug typechecker
- CLOSED
- 3
updated Jul 07, 2019
Bad error message: varying arguments

#674 · opened Jan 28, 2006 by guest 5 Pnormal Trac import feature request typechecker
- CLOSED
- 5
updated Jul 07, 2019
Inconsistency between handling functional dependencies in class and signature constraints

#714 · opened Mar 07, 2006 by claus.reinke@talk21.com 6.12 branch 3 Plow Trac import feature request typechecker
- CLOSED
- 13
updated Jul 07, 2019
Spurious type variable scope error report

#734 · opened Mar 26, 2006 by red5_2@hotmail.com 5 Pnormal Trac import bug typechecker
- CLOSED
- 1
updated Jul 07, 2019
Cryptic type error message (should be syntax error)

#919 · opened Oct 02, 2006 by Josef Svenningsson 6.8.1 5 Pnormal Trac import bug typechecker
- CLOSED
- 5
updated Jul 07, 2019
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
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
overloaded strings cause core lint failure

#1332 · opened May 05, 2007 by Ian Lynagh <igloo@earth.li> 6.8.1 5 Pnormal Trac import bug typechecker
- CLOSED
- 3
updated Jul 07, 2019
Monad GHC.Prim.Any1 gets derived in a context

#1382 · opened May 27, 2007 by iampure@gmail.com 7 Phigh Trac import bug typechecker
- CLOSED
- 6
updated Jul 07, 2019
(1,True) == (2,False) doesn't compile

#1385 · opened May 27, 2007 by Ian Lynagh <igloo@earth.li> 6.8.1 7 Phigh Trac import bug typechecker
- CLOSED
- 5
updated Jul 07, 2019
allow more type signatures

#1404 · opened Jun 01, 2007 by Isaac Dupree 5 Pnormal Trac import feature request typechecker
- CLOSED
- 5
updated Jul 07, 2019
Constraint doesn't reduce in the presence of quantified type variables

#1406 · opened Jun 02, 2007 by ccshan 5 Pnormal Trac import bug typechecker
- CLOSED
- 2
updated Jul 07, 2019
Typo in type error for lazy patterns

#1411 · opened Jun 05, 2007 by guest 3 Plow Trac import bug typechecker
- CLOSED
- 3
updated Jul 07, 2019
Typo in type error for lazy patterns

#1412 · opened Jun 05, 2007 by stefan@cs.uu.nl 3 Plow Trac import bug typechecker
- CLOSED
- 3
updated Jul 07, 2019
getC: Type signature needed when existential types are used but not in the type signature

#1430 · opened Jun 16, 2007 by Ian Lynagh <igloo@earth.li> 6.8.1 7 Phigh Trac import bug typechecker
- CLOSED
- 3
updated Jul 07, 2019
Poor type error messages (refer to generated code rather than the higher level problem)

#1432 · opened Jun 17, 2007 by Ian Lynagh <igloo@earth.li> 6.8.1 7 Phigh Trac import bug typechecker
- CLOSED
- 3
updated Jul 07, 2019
Type errors due to different package versions are a bit cryptic

#1465 · opened Jun 27, 2007 by guest 6.8.1 5 Pnormal Trac import bug typechecker
- CLOSED
- 11
updated Jul 07, 2019
Overlapping (etc) instances

#1470 · opened Jun 29, 2007 by Ian Lynagh <igloo@earth.li> 5 Pnormal Trac import bug typechecker
- CLOSED
- 4
updated Jul 07, 2019
standalone deriving

#1481 · opened Jul 01, 2007 by Ian Lynagh <igloo@earth.li> 6.8.1 7 Phigh Trac import feature request typechecker
- CLOSED
- 7
updated Jul 07, 2019
unsafeCoerce# doesn't always fully coerce

#1482 · opened Jul 01, 2007 by yeoh@cs.wisc.edu 5 Pnormal Trac import bug typechecker
- CLOSED
- 4
updated Jul 07, 2019
Newtypes and type families combine to produce inconsistent FC(X) axiom sets

#1496 · opened Jul 04, 2007 by Stefan O'Rear <stefanor@cox.net> 7.6.2 5 Pnormal Trac import bug typechecker
- CLOSED
- 37
updated Jul 07, 2019
Newtype deriving error messages coming out too late

#1608 · opened Aug 10, 2007 by Simon Peyton Jones 6.10 branch 5 Pnormal Trac import bug typechecker
- CLOSED
- 3
updated Jul 07, 2019
internal error caused by adding an instance to a type class with a functional dependency and a default method

#1624 · opened Aug 21, 2007 by Bertram Felgenhauer 5 Pnormal Trac import bug typechecker
- CLOSED
- 3
updated Jul 07, 2019
Type signature normalization

#1634 · opened Aug 23, 2007 by kfrdbs@gmail.com 3 Plow Trac import bug typechecker
- CLOSED
- 9
updated Jul 07, 2019
panic when interactively evaluating expression with a family type

#1651 · opened Aug 30, 2007 by Manuel M T Chakravarty 5 Pnormal Trac import bug typechecker
- CLOSED
- 6
updated Jul 07, 2019
mistranslation of arrow notation

#1662 · opened Sep 04, 2007 by ross 5 Pnormal Trac import backport typechecker
- CLOSED
- 11
updated Jul 07, 2019
Confusing type signature

#1696 · opened Sep 14, 2007 by guest 3 Plow Trac import bug typechecker
- CLOSED
- 6
updated Jul 07, 2019
Code using type synonym families requires workarounds to compile

#1722 · opened Sep 20, 2007 by tomasz.zielonka@gmail.com 6.10 branch 5 Pnormal Trac import bug typechecker
- CLOSED
- 6
updated Jul 07, 2019
type unsafety with type family + GADT

#1723 · opened Sep 20, 2007 by zunino@di.unipi.it 6.10 branch 5 Pnormal Trac import bug typechecker
- CLOSED
- 5
updated Jul 07, 2019
Type family and GADT error

#1724 · opened Sep 21, 2007 by Chris Kuklewicz 7 Phigh Trac import bug typechecker
- CLOSED
- 3
updated Jul 07, 2019
panic on type family

#1729 · opened Sep 22, 2007 by jpbernardy 5 Pnormal Trac import bug typechecker
- CLOSED
- 2
updated Jul 07, 2019
forall type gives "not polymorphic enough" error incorrectly

#1749 · opened Sep 29, 2007 by guest 5 Pnormal Trac import bug typechecker
- CLOSED
- 7
updated Jul 07, 2019
Compiler panics on "phantom family"

#1761 · opened Oct 08, 2007 by guest 5 Pnormal Trac import bug typechecker
- CLOSED
- 3
updated Jul 07, 2019
Deriving Typeable for data families

#1769 · opened Oct 10, 2007 by Manuel M T Chakravarty 3 Plow Trac import task typechecker
- CLOSED
- 12
updated Jul 07, 2019