Issues · Glasgow Haskell Compiler / GHC · GitLab

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
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
GHC falls into a hole if given incorrect kind signature

#11520 · opened Jan 31, 2016 by Ben Gamari 8.0.1 10 Phighest Trac import TypeInType bug error messages typechecker
- CLOSED
- 9
updated Jul 07, 2019
Terrible failure of type inference in visible type application

#11458 · opened Jan 19, 2016 by Simon Peyton Jones 8.0.1 10 Phighest Trac import TypeApplications bug typechecker
- CLOSED
- 4
updated Jul 07, 2019
-XTypeInType uses up all memory when used in data family instance

#11407 · opened Jan 11, 2016 by Ryan Scott 8.0.1 10 Phighest Trac import TypeInType bug compiler perf typechecker
- CLOSED
- 5
updated Jul 07, 2019
Ill-kinded instance head involving -XTypeInType can invoke GHC panic

#11399 · opened Jan 10, 2016 by Ryan Scott 8.0.1 10 Phighest Trac import TypeInType bug compiler crash typechecker
- CLOSED
- 4
updated Jul 07, 2019
Type mismatch in local definitions in Haskell 98 code

#11397 · opened Jan 10, 2016 by Lemming 8.0.1 10 Phighest Trac import TypeApplications bug typechecker
- CLOSED
- 6
updated Jul 07, 2019
Possible type-checker regression in GHC 8.0

#11364 · opened Jan 06, 2016 by Herbert Valerio Riedel 8.0.1 10 Phighest Trac import bug typechecker
- CLOSED
- 7
updated Jul 07, 2019
Possible type-checker regression in GHC 8.0

#11339 · opened Jan 02, 2016 by Herbert Valerio Riedel 8.0.2 10 Phighest Trac import TypeInType bug typechecker
- CLOSED
- 12
updated Jul 07, 2019
GHC panic when calling typeOf on a promoted data constructor

#11334 · opened Jan 01, 2016 by Ryan Scott 8.0.1 10 Phighest Trac import TypeInType bug compiler crash typechecker
- CLOSED
- 19
updated Jul 07, 2019
Type checker regression introduced by visible type-application

#11305 · opened Dec 28, 2015 by Herbert Valerio Riedel 8.0.1 10 Phighest Trac import bug typechecker
- CLOSED
- 3
updated Jul 07, 2019
Regression typechecking type synonym which includes `Any`.

#11246 · opened Dec 17, 2015 by Matthew Pickering 8.0.1 10 Phighest Trac import TypeInType bug typechecker
- CLOSED
- 9
updated Jul 07, 2019
-fwarn-redundant-constraints should not be part of -Wall

#10635 · opened Jul 13, 2015 by Lemming 8.0.2 10 Phighest Trac import error messages feature request typechecker
- CLOSED
- 36
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
HEAD: `KnownNat` does not imply `Typeable` any more

#10348 · opened Apr 23, 2015 by Gabor Greif 8.0.1 10 Phighest Trac import bug typechecker
- CLOSED
- 8
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
Shouldn't this require ImpredicativeTypes?

#10194 · opened Mar 26, 2015 by Andres Löh 8.0.1 10 Phighest Trac import bug typechecker
- CLOSED
- 17
updated Jul 07, 2019
Typeable solver regression

#10177 · opened Mar 21, 2015 by glguy 8.0.1 10 Phighest Trac import bug typechecker
- CLOSED
- 11
updated Jul 07, 2019
type inference regression when faking injective type families

#10009 · opened Jan 20, 2015 by aavogt 8.0.1 10 Phighest Trac import bug typechecker
- CLOSED
- 40
updated Jul 07, 2019
Local annotations ignored in ambiguity check

#8268 · opened Sep 11, 2013 by maxs 10 Phighest Trac import bug typechecker
- CLOSED
- 2
updated Jul 07, 2019

Prev
1
2
3
4
5
6
7
…
63
Next