Issues · Glasgow Haskell Compiler / GHC · GitLab

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
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
Panic with promoted types that Typeable doesn't support

#15862 · opened Nov 05, 2018 by Ryan Scott 8.8.1 5 Pnormal Trac import TypeInType Typeable bug compiler crash
- CLOSED
- 7
- 8
updated Feb 25, 2020
Bad axiom produced for polykinded data family

#15852 · opened Nov 02, 2018 by Richard Eisenberg 8.8.1 5 Pnormal Trac import TypeFamilies TypeInType bug
- CLOSED
- 7
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
Type family with higher-rank result is too accepting

#15740 · opened Oct 11, 2018 by Richard Eisenberg 8.8.1 10 Phighest Trac import TypeFamilies TypeInType bug
- 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
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
Error message prints invisible kind arguments in a visible matter

#15330 · opened Jul 02, 2018 by Ryan Scott 8.8.1 5 Pnormal Trac import TypeInType bug error messages typechecker
- CLOSED
- 7
updated Jul 07, 2019
Typed hole with higher-rank kind causes GHC to panic (No skolem info)

#15076 · opened Apr 22, 2018 by Ryan Scott 8.8.1 5 Pnormal Trac import TypeInType bug compiler crash typechecker typed holes
- CLOSED
- 10
updated Jul 07, 2019
Explicitly quantifying a kind variable causes a telescope to fail to kind-check

#14887 · opened Mar 03, 2018 by Ryan Scott 8.8.1 5 Pnormal Trac import TypeFamilies TypeInType bug typechecker
- CLOSED
- 13
updated Jul 07, 2019
Type family equation refuses to unify wildcard type patterns

#14366 · opened Oct 18, 2017 by Ryan Scott 8.8.1 5 Pnormal Trac import TypeFamilies TypeInType bug typechecker
- CLOSED
- 8
updated Jul 07, 2019
Gruesome kind mismatch errors for associated data family instances

#14230 · opened Sep 14, 2017 by Ryan Scott 8.8.1 7 Phigh Trac import TypeInType bug error messages typechecker
- CLOSED
- 6
updated Jul 07, 2019
Visible kind application

#12045 · opened May 11, 2016 by Icelandjack 8.8.1 5 Pnormal Trac import TypeApplications TypeInType feature request ghc proposal
- CLOSED
- 18
updated Jul 07, 2019
Cannot use higher-rank kinds with type families

#11719 · opened Mar 18, 2016 by Ollie Charles 8.8.1 5 Pnormal Trac import TypeInType bug typechecker
- CLOSED
- 23
updated Jul 07, 2019
Add -fshow-runtime-rep

#11549 · opened Feb 06, 2016 by Richard Eisenberg 8.8.1 5 Pnormal Trac import TypeInType bug
- CLOSED
- 20
updated Jul 07, 2019