Issues · Glasgow Haskell Compiler / GHC · GitLab

tcPluginStop of a type checker plugin is not called if an error occurs

#10078 · opened Feb 10, 2015 by jbracker 7.10.1 5 Pnormal Trac import bug incorrect runtime result plugins typechecker typechecker plugins
- CLOSED
- 3
updated Jul 07, 2019
Panic: generalised wildcards in RULES

#10072 · opened Feb 09, 2015 by thomasw 7.10.1 5 Pnormal Trac import bug compiler crash typechecker
- CLOSED
- 5
updated Jul 07, 2019
Pattern synonyms don't work with GADTs

#9953 · opened Jan 02, 2015 by Simon Peyton Jones 7.10.1 5 Pnormal Trac import bug typechecker
- CLOSED
- 20
updated Jul 07, 2019
Partial type signatures + extensions panic

#9922 · opened Dec 24, 2014 by Krzysztof Gogolewski 7.10.1 5 Pnormal Trac import bug compiler crash typechecker
- CLOSED
- 5
updated Jul 07, 2019
Pattern synonym does not work in top-level pattern bind

#9889 · opened Dec 16, 2014 by Richard Eisenberg 7.10.1 5 Pnormal PatternSynonyms Trac import bug typechecker
- CLOSED
- 4
updated Jul 07, 2019
Panic with partial type signatures

#9879 · opened Dec 11, 2014 by Krzysztof Gogolewski 7.10.1 7 GHCi Phigh Trac import bug typechecker
- CLOSED
- 3
updated Jul 07, 2019
Pattern synonym matcher is unnecessarily strict on unboxed continuations

#9783 · opened Nov 08, 2014 by cactus 7.10.1 5 Pnormal PatternSynonyms Trac import bug incorrect runtime result typechecker
- CLOSED
- 5
updated Jul 07, 2019
GHC 7.8 chokes on recursive classes

#9739 · opened Oct 29, 2014 by bitonic 7.10.1 5 Pnormal Trac import bug typechecker
- CLOSED
- 9
updated Jul 07, 2019
Misleading error message with forgotten "do"

#9605 · opened Sep 17, 2014 by owst 7.10.1 5 Pnormal Trac import bug error messages typechecker
- CLOSED
- 2
updated Jul 07, 2019
Associated Type Synonyms do not unfold in InstanceSigs

#9582 · opened Sep 12, 2014 by andreas.abel 7.10.1 5 InstanceSigs Pnormal Trac import TypeFamilies bug typechecker
- CLOSED
- 11
updated Dec 02, 2020
Confusing type error behaviour

#9323 · opened Jul 17, 2014 by Simon Peyton Jones 7.10.1 5 Pnormal Trac import bug typechecker
- CLOSED
- 2
updated Jul 07, 2019
Type error reported in wrong place with repeated type family expressions

#9318 · opened Jul 15, 2014 by Richard Eisenberg 7.10.1 7 Phigh Trac import bug typechecker
- CLOSED
- 8
updated Jul 07, 2019
GHC unexpectedly refines explicit kind signatures

#9201 · opened Jun 12, 2014 by Edward Kmett 7.10.1 5 Pnormal Trac import bug typechecker
- CLOSED
- 4
updated Jul 07, 2019
Milner-Mycroft failure at the kind level

#9200 · opened Jun 12, 2014 by Edward Kmett 7.10.1 5 Pnormal Trac import bug typechecker
- CLOSED
- 38
updated Jul 07, 2019
Pattern synonyms and GADTs

#8968 · opened Apr 07, 2014 by Andres Löh 7.10.1 5 Pnormal Trac import bug typechecker
- CLOSED
- 23
updated Jul 07, 2019
"Inaccessible code" error reported in wrong place

#8044 · opened Jul 08, 2013 by Richard Eisenberg 7.10.1 5 GADTs Pnormal Trac import bug typechecker
- CLOSED
- 5
updated Aug 14, 2020
:info and polykinds

#7730 · opened Mar 01, 2013 by Krzysztof Gogolewski 7.10.1 5 Pnormal Trac import bug typechecker
- CLOSED
- 58
updated Jul 07, 2019
Kind application error

#7643 · opened Jan 31, 2013 by gmainland 7.10.1 5 Pnormal Trac import bug typechecker
- CLOSED
- 8
updated Jul 07, 2019
Bug in unification of polymorphic and not-yet-polymorphic type

#4347 · opened Sep 27, 2010 by dolio 7.10.1 5 ImpredicativeTypes Pnormal Trac import bug typechecker
- CLOSED
- 13
updated Jul 07, 2019
ghc sessions (--make, --interactive, ghc api) erroneously retain instances

#2182 · opened Mar 28, 2008 by claus.reinke@talk21.com 7.10.1 5 GHCi Pnormal Trac import bug typechecker
- CLOSED
- 14
updated Jul 07, 2019

Prev
1
2
3
4
5
6
…
63
Next