Issues · Glasgow Haskell Compiler / GHC · GitLab

Poly-kinded rewrite rule fails to typecheck (HEAD only)

#17710 · opened Jan 19, 2020 by Ryan Scott 9.0.1 10 Phighest PolyKinds bug rules typechecker
- CLOSED
- 2
- 9
updated Mar 15, 2020
GHC internal error with strange scoping (GHC HEAD regression)

#16418 · opened Mar 11, 2019 by Ryan Scott 8.10.1 10 Phighest typechecker
- CLOSED
- 3
updated Nov 08, 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 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
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
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
No skolem info panic

#15870 · opened Nov 07, 2018 by sheaf 8.6.3 10 Phighest Trac import bug compiler crash typechecker
- CLOSED
- 4
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
GHC 8.6+ loops infinitely on an UndecidableInstances error message

#15473 · opened Aug 03, 2018 by Ryan Scott 8.6.1 10 Phighest Trac import bug compiler perf typechecker
- CLOSED
- 3
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
GHC 8.6.1 regression (buildKindCoercion)

#15419 · opened Jul 19, 2018 by Ryan Scott 8.6.1 10 Phighest Trac import TypeInType bug compiler crash typechecker
- CLOSED
- 1
- 5
updated Jul 07, 2019
GHC HEAD regression: tcTyVarDetails

#15142 · opened May 11, 2018 by Ryan Scott 8.6.1 10 CUSKs Phighest Trac import TypeFamilies TypeInType bug compiler crash typechecker
- CLOSED
- 1
- 20
updated Jul 07, 2019
GHC HEAD typechecker regression

#15122 · opened May 04, 2018 by fmixing 8.6.1 10 Phighest Trac import TypeInType bug typechecker
- CLOSED
- 11
updated Jul 07, 2019
The well-kinded type invariant (in TcType)

#14873 · opened Mar 01, 2018 by Ryan Scott 9.2.1 10 Phighest Trac import TypeInType bug compiler crash typechecker
- 12
updated Jan 23, 2021
GHC HEAD regression: GADT constructors no longer quantify tyvars in topological order

#14808 · opened Feb 14, 2018 by Ryan Scott 8.6.1 10 GADTs Phighest Trac import bug typechecker
- CLOSED
- 6
updated Jul 07, 2019
GHC 8.4.1-alpha regression with FunctionalDependencies

#14763 · opened Feb 05, 2018 by Ryan Scott 8.4.1 10 FunctionalDependencies Phighest Trac import bug typechecker
- CLOSED
- 5
updated Jul 07, 2019
GHC 8.4.1-alpha loops infinitely when typechecking

#14723 · opened Jan 26, 2018 by Ryan Scott 8.4.1 10 Phighest Trac import bug compiler perf typechecker
- CLOSED
- 8
updated Jul 07, 2019

Prev
1
2
3
4
5
…
63
Next