Issues · Glasgow Haskell Compiler / GHC · GitLab

Closed type family declaration accepts any name in LHS

#17633 · opened Jan 03, 2020 by Maxim Koltsov 8.8.1 Pnormal TypeFamilies bug program incorrectly accepted typechecker
- CLOSED
- 1
- 2
- 2
updated Jan 03, 2020
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
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-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 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
StrictData and TypeFamilies regression

#16141 · opened Jan 07, 2019 by Ryan Scott 8.8.1 10 Phighest Trac import bug typechecker
- CLOSED
- 12
updated Jul 14, 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
checkValidType is defeated by a type synonym

#16059 · opened Dec 17, 2018 by Ryan Scott 8.8.1 5 Pnormal Trac import bug typechecker
- CLOSED
- 17
updated Jul 14, 2020
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
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
Type family & typeclass interaction suppresses errors

#15962 · opened Nov 28, 2018 by madgen 8.8.1 5 Pnormal Trac import TypeFamilies bug error messages newcomer typechecker
- CLOSED
- 2
updated Jul 07, 2019
LiberalTypeSynonyms unsaturation check doesn't kick in

#15954 · opened Nov 26, 2018 by Ryan Scott 8.8.1 5 Pnormal Trac import bug typechecker
- CLOSED
- 10
updated Jul 07, 2019
Add a test case for tricky type synonyms involving visible dependent kinds

#15829 · opened Oct 29, 2018 by Ryan Scott 8.8.1 5 Pnormal Trac import bug typechecker
- CLOSED
- 1
updated Jul 07, 2019
GHC HEAD-only panic (zonkTcTyVarToTyVar)

#15778 · opened Oct 18, 2018 by Ryan Scott 8.8.1 10 Phighest Trac import TypeInType bug compiler crash typechecker
- CLOSED
- 7
updated Jul 07, 2019
"No skolem info" panic (GHC 8.6 only)

#15629 · opened Sep 11, 2018 by Ryan Scott 8.8.1 5 Pnormal Trac import TypeInType bug compiler crash typechecker
- CLOSED
- 9
updated Jul 07, 2019
defer-type-errors and equality constraints

#15624 · opened Sep 10, 2018 by Krzysztof Gogolewski 8.8.1 3 Plow Trac import bug typechecker
- CLOSED
- 1
updated Jul 07, 2019
Core Lint error with EmptyCase

#15549 · opened Aug 21, 2018 by Ryan Scott 8.8.1 5 Pnormal Trac import TypeFamilies TypeInType bug compiler crash typechecker
- CLOSED
- 3
- 9
updated Jul 07, 2019
Bogus "No instance" error when type families appear in kinds

#15515 · opened Aug 13, 2018 by Ryan Scott 8.8.1 5 Pnormal Trac import TypeFamilies TypeInType bug error messages typechecker
- CLOSED
- 7
updated Jul 07, 2019
GHC HEAD type inference regression post-"Remove decideKindGeneralisationPlan"

#15472 · opened Aug 03, 2018 by Ryan Scott 8.8.1 10 Phighest Trac import TypeInType bug typechecker
- CLOSED
- 11
updated Jul 07, 2019