Issues · Glasgow Haskell Compiler / GHC · GitLab

The well-kinded type invariant (in TcType)

#14873 · opened Mar 01, 2018 by Ryan Scott 9.0.1 10 Phighest Trac import TypeInType bug compiler crash typechecker
- 12
updated Jan 24, 2020
Type family in type pattern kind

#12564 · opened Sep 02, 2016 by Vladislav Zavialov 8.4.1 7 Phigh Trac import TypeFamilies TypeInType bug typechecker
- 25
updated Aug 24, 2019
Type/data family instances in kind checking

#12088 · opened May 19, 2016 by alexvieth 9.0.1 7 CUSKs Phigh Trac import bug feature request typechecker
- 1
- 55
updated Sep 28, 2020
Constraint vs *

#11715 · opened Mar 16, 2016 by Ben Gamari 8.6.1 7 Phigh Trac import bug roles typechecker
- 80
updated Oct 26, 2020
Infinite Loop when mixing UndecidableSuperClasses and the class/instance constraint synonym trick.

#11523 · opened Feb 01, 2016 by Edward Kmett 8.4.1 7 Phigh Trac import UndecidableSuperClasses bug typechecker
- 30
updated Jul 07, 2019
IncoherentInstances are too restricted

#9432 · opened Aug 11, 2014 by danilo2 7 Phigh Trac import feature request typechecker
- 8
updated Jul 07, 2019
TypeFamilies painfully slow

#8095 · opened Jul 27, 2013 by MikeIzbicki 9.0.1 7 Phigh Trac import bug compiler perf typechecker
- 1
- 3
- 77
updated Jan 20, 2021
TypeError hides a second error message

#16894 · opened Jul 02, 2019 by Joey Hess 5 Pnormal bug custom type errors error messages typechecker user-facing
- 2
updated Jan 23, 2020
GHC panic: "StgCmmEnv: variable not found" - Something with MonoLocalBinds, type inference and -fdefer-type-errors

#16887 · opened Jul 01, 2019 by Berengal 5 Pnormal bug typechecker
- 6
updated Nov 14, 2020
Inconsistent results with inaccessible code due to (~) vs. (~~)

#16422 · opened Mar 11, 2019 by Ryan Scott 5 Pnormal typechecker
- 4
updated Sep 02, 2019
Cannot deduce constraint from itself with poly-kinded type family

#16374 · opened Mar 01, 2019 by roland 5 Pnormal Trac import bug error messages typechecker
- 2
updated Jul 07, 2019
GHC should be more forgiving with visible dependent quantification in visible type applications

#16371 · opened Feb 27, 2019 by Ryan Scott 5 Pnormal Trac import bug typechecker visible dependent quantification
- 4
updated Nov 09, 2020
Add setField to HasField

#16232 · opened Jan 24, 2019 by Adam Gundry 5 OverloadedRecordFields Pnormal Trac import feature request ghc proposal records typechecker
- 5
updated Nov 06, 2020
-Wredundant-constraints: False positive

#16154 · opened Jan 09, 2019 by Fumiaki Kinoshita 5 Pnormal Trac import bug error messages typechecker
- 7
updated Jul 07, 2019
Panic: piResultTys1 in compiler/types/Type.hs:1022:5

#16127 · opened Jan 04, 2019 by Serge Kosyrev 5 Pnormal Trac import bug compiler crash hs-boot typechecker
- 16
updated May 27, 2020
Missing associated type instance not reported with error

#16115 · opened Dec 31, 2018 by David Feuer 5 Pnormal Trac import bug error messages typechecker
- 2
updated Jan 23, 2020
Adding extra quantified constraints leads to resolution failure

#15989 · opened Dec 02, 2018 by eror 8.6.3 5 Pnormal Trac import bug typechecker
- 7
updated Jul 07, 2019
Cross-module SPECIALZE pragmas aren't typechecked in -O0

#15708 · opened Oct 05, 2018 by regnat 5 Pnormal Trac import bug typechecker
- 2
updated Jul 07, 2019
More liberally kinded coercions for newtypes

#15707 · opened Oct 05, 2018 by mniip 8.6.1 5 Pnormal Trac import feature request roles typechecker
- 5
updated Jul 07, 2019
Provide the provenance of unification variables in error messages when possible

#15678 · opened Sep 26, 2018 by Ryan Scott 9.0.1 5 Pnormal Trac import bug error messages typechecker
- 2
updated Jun 02, 2020

Prev
1
2
3
4
5
…
14
Next