Issues · Glasgow Haskell Compiler / GHC · GitLab

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
GHC HEAD type family regression involving invisible arguments

#16008 · opened Dec 07, 2018 by Ryan Scott 8.8.1 10 Phighest Trac import TypeFamilies TypeInType bug typechecker
- CLOSED
- 6
updated Jul 07, 2019
Rank-n typechecking regression between GHC 8.4 and 8.6

#16033 · opened Dec 11, 2018 by Ryan Scott 8.8.1 5 Pnormal RankNTypes Trac import bug typechecker
- CLOSED
- 4
updated Jul 07, 2019
T14740 fails in debugged compiler

#16113 · opened Dec 30, 2018 by Ben Gamari 8.8.1 7 Phigh Trac import bug typechecker
- CLOSED
- 2
updated Jul 07, 2019
-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
GHC said to report a bug

#16184 · opened Jan 15, 2019 by TheKing01 5 Pnormal Trac import bug compiler crash typechecker
- CLOSED
- 1
updated Jul 07, 2019
GHC HEAD-only panic (buildKindCoercion)

#16188 · opened Jan 16, 2019 by Ryan Scott 8.8.1 10 Phighest Trac import TypeInType bug compiler crash typechecker
- CLOSED
- 3
- 8
updated Jul 07, 2019
GHC HEAD-only Core Lint error (Argument value doesn't match argument type)

#16204 · opened Jan 19, 2019 by Ryan Scott 8.8.1 10 Phighest Trac import TypeInType bug compiler crash typechecker
- CLOSED
- 3
- 5
updated Jul 07, 2019
Core Lint error with a data type

#16221 · opened Jan 23, 2019 by Krzysztof Gogolewski 8.10.1 5 Pnormal Trac import bug compiler crash typechecker
- CLOSED
- 6
updated Jul 07, 2019
GHC HEAD-only Core Lint error (Trans coercion mis-match)

#16225 · opened Jan 23, 2019 by Ryan Scott 8.8.1 10 Phighest Trac import TypeInType bug typechecker
- CLOSED
- 3
- 2
updated Jul 07, 2019
GHC 8.6 Core Lint regression (Kind application error)

#16247 · opened Jan 27, 2019 by Ryan Scott 8.10.1 5 Pnormal Trac import TypeInType bug compiler crash typechecker
- CLOSED
- 8
updated Jul 07, 2019
Visible kind application defeats type family with higher-rank result kind

#16255 · opened Jan 29, 2019 by Ryan Scott 8.8.1 5 Pnormal Trac import TypeApplications TypeFamilies bug typechecker
- CLOSED
- 7
updated Jul 07, 2019
GHC HEAD regression: piResultTys1

#16347 · opened Feb 20, 2019 by Ryan Scott 8.10.1 10 Phighest Trac import TypeInType bug compiler crash typechecker
- CLOSED
- 3
- 6
updated Jul 07, 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
`TypeError` in a pattern should flag inaccessible code

#16377 · opened Mar 01, 2019 by Iavor S. Diatchki 5 Pnormal Trac import bug custom type errors typechecker
- CLOSED
- 2
updated Jul 07, 2019
Regression: Implicitly kind variables not in scope

#16381 · opened Mar 03, 2019 by Ben Gamari 8.10.1 10 Phighest Trac import bug typechecker
- CLOSED
- 2
updated Jul 07, 2019
GHC internal error while typechecking of instance definition

#16394 · opened Mar 05, 2019 by Day1721 8.8.1 3 Plow Trac import bug error messages typechecker
- CLOSED
- 3
updated Jul 07, 2019
GHC suggests that infix operators might have the wrong number of arguments

#16786 · opened Jun 08, 2019 by Chris Smith ⊥ 3 Plow error messages task typechecker
- 1
updated Jul 07, 2019
Multiple occurrences of the same polykinded type don't unify

#16675 · opened May 20, 2019 by Christopher Rodrigues documentation question typechecker
- 11
updated May 31, 2019
Relax local equality check

#16684 · opened May 22, 2019 by Iavor S. Diatchki GADTs TypeFamilies typechecker
- 3
updated May 23, 2019

Prev
1
…
58
59
60
61
62
63
Next