Issues · Glasgow Haskell Compiler / GHC · GitLab

incorrect type-defaults warning for lambda expressions

#16651 · opened May 12, 2019 by george.colpitts question typechecker
- CLOSED
- 2
updated May 19, 2019
Pass separation for TyClDecl LHS and RHS

#16630 · opened May 06, 2019 by Vladislav Zavialov question typechecker
- CLOSED
- 5
updated May 19, 2019
Can't write instances of higher-rank kinded variables

#16596 · opened Apr 20, 2019 by Icelandjack question typechecker
- CLOSED
- 3
updated May 19, 2019
Relax local equality check

#16684 · opened May 22, 2019 by Iavor S. Diatchki GADTs TypeFamilies typechecker
- 3
updated May 23, 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
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
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
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
`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
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 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
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 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
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
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 (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
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 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
-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
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

Prev
1
2
3
4
5
…
63
Next