Issues · Glasgow Haskell Compiler / GHC · GitLab

Infer type context in a type signature

#5248 · opened Jun 09, 2011 by gidyn 7.10.1 3 Plow Trac import feature request typechecker
- CLOSED
- 10
updated Jul 07, 2019
report ambiguous type variables more consistently

#4921 · opened Jan 27, 2011 by Saizan 7.10.1 3 Plow Trac import feature request typechecker
- CLOSED
- 5
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
Regression in forall typechecking

#10443 · opened May 24, 2015 by Alan Zimmerman 7.10.2 10 Phighest Trac import bug typechecker
- CLOSED
- 6
updated Jul 07, 2019
GHC.TypeLits.Nat types no longer fully simplified.

#10321 · opened Apr 18, 2015 by darchon 7.10.2 10 Phighest Trac import bug type literals typechecker
- CLOSED
- 9
updated Jul 07, 2019
Role annotation should never be ambiguous

#10263 · opened Apr 08, 2015 by Edward Z. Yang 7.10.2 5 Pnormal Trac import bug typechecker
- CLOSED
- 5
updated Jul 15, 2019
GHC 7.10.3 throws away callstack frames in some cases

#12202 · opened Jun 17, 2016 by Ben Gamari 8.0.1 5 Pnormal Trac import bug incorrect runtime result typechecker
- CLOSED
- 2
updated Jul 07, 2019
GHC 8 superclass chain constraint regression

#11762 · opened Mar 28, 2016 by Serge Kosyrev 8.0.1 10 Phighest Trac import bug typechecker
- CLOSED
- 6
updated Jan 13, 2020
Very confusing error message with -fprint-explicit-kinds

#11712 · opened Mar 16, 2016 by Ben Gamari 8.0.1 5 Pnormal Trac import bug error messages typechecker
- CLOSED
- 4
updated Jul 07, 2019
Typechecker assertion failure

#11711 · opened Mar 15, 2016 by Ben Gamari 8.0.1 7 Phigh Trac import bug compiler crash typechecker
- CLOSED
- 8
updated Jul 07, 2019
Typechecker hangs when checking type families with -ddump-tc-trace turned on

#11708 · opened Mar 15, 2016 by Csongor Kiss 8.0.1 5 Pnormal Trac import TypeFamilies bug typechecker
- CLOSED
- 4
updated Jul 07, 2019
ghc panic with TypeError

#11681 · opened Mar 05, 2016 by inaki 8.0.1 5 Pnormal Trac import bug compiler crash typechecker
- CLOSED
- 8
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
Record field order in a bidirectional pattern synonym match is order dependent

#11633 · opened Feb 24, 2016 by Ben Gamari 8.0.1 7 Phigh PatternSynonyms Trac import bug typechecker
- CLOSED
- 4
updated Jul 07, 2019
Cannot declare hs-boot declaration if there is already a value in scope

#11624 · opened Feb 22, 2016 by Edward Z. Yang 8.0.1 10 Phighest Trac import bug typechecker
- CLOSED
- 7
updated Jul 07, 2019
Wrong error message for type family definition that is wrong in multiple ways

#11623 · opened Feb 21, 2016 by rwbarton 8.0.1 3 Plow Trac import bug typechecker
- CLOSED
- 2
updated Jul 07, 2019
ghc panics

#11611 · opened Feb 20, 2016 by Icelandjack 8.0.1 5 Pnormal Trac import bug typechecker
- CLOSED
- 4
updated Jul 07, 2019
Possible type-checker regression in GHC 8.0 when compiling `microlens`

#11608 · opened Feb 19, 2016 by Herbert Valerio Riedel 8.0.1 10 Phighest Trac import bug typechecker
- CLOSED
- 18
updated Jul 07, 2019
ApplicativeDo easily foiled with `pure`

#11607 · opened Feb 18, 2016 by Ben Gamari 8.0.1 7 ApplicativeDo Phigh Trac import bug typechecker
- CLOSED
- 5
updated Jul 07, 2019

Prev
1
2
3
4
5
6
7
…
63
Next