Issues · Glasgow Haskell Compiler / GHC · GitLab

Redundant constraints warning complains that (a ~ b) is redundant

#11582 · opened Feb 16, 2016 by Ben Gamari 8.0.1 5 Pnormal Trac import bug error messages typechecker
- CLOSED
- 3
updated Jul 07, 2019
Inferred CallStacks expose implicit parameter

#11573 · opened Feb 13, 2016 by Ben Gamari 8.0.1 5 Pnormal Trac import bug typechecker
- CLOSED
- 8
updated Jul 07, 2019
Type errors sometimes has a lot of irrelevant information

#11541 · opened Feb 05, 2016 by lennart@augustsson.net 8.0.1 5 Pnormal Trac import bug error messages typechecker
- CLOSED
- 8
updated Jul 07, 2019
Something is amiss with quantification in pattern synonym type signatures

#11524 · opened Feb 01, 2016 by Ben Gamari 8.0.1 7 Phigh Trac import bug typechecker
- CLOSED
- 9
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
Very unhelpful message resulting from kind mismatch

#11485 · opened Jan 24, 2016 by Ryan Scott 8.0.1 5 Pnormal Trac import TypeInType bug typechecker
- CLOSED
- 2
updated Jul 07, 2019
UndecidableSuperClasses causes the compiler to spin with UndecidableInstances

#11480 · opened Jan 22, 2016 by Edward Kmett 8.0.1 5 Pnormal PolyKinds Trac import UndecidableSuperClasses bug typechecker
- CLOSED
- 12
updated Jul 07, 2019
Kind polymorphism and unboxed types: bad things are happening

#11471 · opened Jan 21, 2016 by Ben Gamari 8.0.1 5 Pnormal Trac import TypeInType bug task typechecker
- CLOSED
- 24
updated Jul 07, 2019
Constraint synonym with Implicit Parameter

#11466 · opened Jan 20, 2016 by Joachim Breitner 8.0.1 5 Pnormal Trac import bug typechecker
- CLOSED
- 8
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
ImpredicativeTypes causes GHC panic with 8.0.1-rc1

#11428 · opened Jan 14, 2016 by Ryan Scott 8.0.1 7 ImpredicativeTypes Phigh Trac import TypeApplications bug typechecker
- CLOSED
- 2
updated Jul 07, 2019
GHC mistakenly believes datatype with type synonym in its type can't be eta-reduced

#11416 · opened Jan 13, 2016 by Ryan Scott 8.0.1 5 Pnormal Trac import TypeInType bug typechecker
- CLOSED
- 5
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
TypeError is fragile

#11391 · opened Jan 09, 2016 by Ben Gamari 8.0.1 7 Phigh Trac import bug custom type errors error messages typechecker
- CLOSED
- 8
updated Jul 07, 2019
Inconsistent specified type variables among functions and datatypes/classes when using -XTypeApplications

#11376 · opened Jan 08, 2016 by Ryan Scott 8.0.1 5 Pnormal Trac import TypeApplications TypeInType bug typechecker
- CLOSED
- 33
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
Test tc253 doesn't pass with reversed uniques

#11361 · opened Jan 06, 2016 by niteria 8.0.1 7 Phigh Trac import bug typechecker
- CLOSED
- 8
updated Jul 07, 2019
GHC panic

#11356 · opened Jan 05, 2016 by Icelandjack 8.0.1 5 Pnormal Trac import TypeInType bug compiler crash typechecker
- CLOSED
- 6
updated Jul 07, 2019

Prev
1
2
3
4
5
6
7
8
…
63
Next