Issues · Glasgow Haskell Compiler / GHC · GitLab

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
arrow notation: incorrect scope of existential dictionaries

#344 · opened Apr 07, 2005 by nobody 8.0.1 0 Arrows Plow Trac import bug typechecker
- 23
updated Aug 13, 2020
GADT - fundep interaction

#345 · opened Apr 08, 2005 by bring 3 GADTs Plow Trac import broken test bug typechecker
- 16
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
functions without implementations

#393 · opened May 26, 2005 by c_maeder 5 Pnormal Trac import feature request newcomer typechecker
- 1
- 39
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

Prev
1
2
3
4
5
6
…
63
Next