Issues · Glasgow Haskell Compiler / GHC · GitLab

Constraint-vs-Type causes a panic

#20356 · created Sep 10, 2021 by Richard Eisenberg Pnormal Tbug TypeInType compiler crash typechecker
- CLOSED
- 4
- 1
updated Oct 22, 2021
Deprecate -XTypeInType

#20312 · created Aug 31, 2021 by Krzysztof Gogolewski Plow Ttask TypeInType
- 1
- 3
updated May 22, 2022
Coercion prevents type family equation from applying

#20172 · created Jul 27, 2021 by Richard Eisenberg TypeFamilies TypeInType
- 0
updated Jul 27, 2021
Core Lint error around pure unifier and coercions

#20171 · created Jul 27, 2021 by Richard Eisenberg TypeInType core lint
- 0
updated Jul 27, 2021
Pure unifier is incomplete around casts and AppTys: instance lookup fails

#19802 · created May 06, 2021 by Richard Eisenberg Plow Tbug TypeInType constraint solver
- 2
updated May 10, 2021
GHC does not rewrite in FunTy

#19677 · created Apr 09, 2021 by Richard Eisenberg Pnormal Tbug TypeInType constraint solver program incorrectly rejected representation polymorphism typechecker
- CLOSED
- 3
- 0
updated Feb 21, 2022
GHC's failure to rewrite in coercions & kinds leads to spurious occurs-check failure

#19652 · created Apr 05, 2021 by Richard Eisenberg Plow Tbug TypeInType constraint solver typechecker
- 0
updated Apr 08, 2021
TypeInType prevents Typeable from being resolved from a given

#19196 · created Jan 08, 2021 by Serge Kosyrev TypeInType Typeable program incorrectly rejected typechecker
- CLOSED
- 3
updated Jan 11, 2021
Kind inference for newtypes in GADT syntax is deeply broken

#18891 · created Oct 26, 2020 by Richard Eisenberg 9.2.1 GADTs Pnormal PolyKinds StandaloneKindSignatures Tbug TypeFamilies TypeInType UnliftedNewtypes representation polymorphism typechecker
- CLOSED
- 2
- 3
updated Dec 08, 2020
Tighten up the treatment of loose types in the solver

#18753 · created Sep 26, 2020 by Richard Eisenberg TypeInType constraint solver typechecker
- CLOSED
- 3
- 1
updated Sep 30, 2020
GHC panic (tcInvisibleTyBinder) when using constraint in a kind

#18714 · created Sep 18, 2020 by Ryan Scott Tbug TypeInType compiler crash
- CLOSED
- 2
- 4
updated Sep 21, 2020
Why check for -fdefer-type-errors in metaTyVarUpdateOK?

#18689 · created Sep 14, 2020 by Richard Eisenberg TypeInType typechecker
- 1
updated Dec 22, 2020
Order of StandaloneKindSignatures and CUSKs extensions significant

#18308 · created Jun 07, 2020 by Björn Hegerfors CUSKs Pnormal StandaloneKindSignatures Tbug TypeInType typechecker
- 6
updated Mar 31, 2021
A cast might get in the way of instantiation

#18062 · created Apr 15, 2020 by Simon Peyton Jones Pnormal Tbug TypeInType typechecker
- 1
updated Apr 27, 2020
eqType fails on comparing FunTys 0 of 3 tasks completed

#17675 · created Jan 13, 2020 by Richard Eisenberg Pnormal Tbug TypeInType representation polymorphism
- CLOSED
- 3
- 2
updated Feb 21, 2022
Kill EQ1

#17674 · created Jan 13, 2020 by Richard Eisenberg Ttask TypeInType
- 1
- 5
updated Sep 17, 2021
Type-level multiplication parsed as application at kind *, no guidance provided

#17621 · created Dec 28, 2019 by Gesh Pnormal Tbug TypeInType error messages
- 3
updated Jan 05, 2020
Never `Any`-ify during kind inference

#17567 · created Dec 11, 2019 by Richard Eisenberg Ttask TypeInType typechecker
- CLOSED
- 2
- 1
- 11
updated Jan 11, 2021
`Any` appearing in a quantified constraint

#17562 · created Dec 10, 2019 by Richard Eisenberg 9.0.1 QuantifiedConstraints Tbug TypeInType error messages typechecker
- CLOSED
- 3
- 4
updated Jan 11, 2021
Regression involving unboxed types and type families

#17541 · created Dec 04, 2019 by Matthew Pickering Pnormal Tbug TypeInType program incorrectly rejected typechecker
- CLOSED
- 2
- 9
updated Dec 12, 2019

Prev
1
2
3
4
5
…
13
Next