Issues · Glasgow Haskell Compiler / GHC · GitLab

Bad axiom produced for polykinded data family

#15852 · created Nov 02, 2018 by Richard Eisenberg 8.8.1 5 Pnormal Tbug Trac import TypeFamilies TypeInType
- CLOSED
- 7
updated Jul 07, 2019
Dependent quantification, GHC panic

#15859 · created Nov 05, 2018 by Icelandjack 8.6.3 5 Pnormal Tbug Trac import TypeInType
- CLOSED
- 1
- 3
updated Jul 07, 2019
Panic with promoted types that Typeable doesn't support

#15862 · created Nov 05, 2018 by Ryan Scott 8.8.1 5 Pnormal Tbug Trac import TypeInType Typeable compiler crash
- CLOSED
- 7
- 8
updated Feb 25, 2020
Odd pretty printing of equality constraint in kind ('GHC.Types.Eq# <>)

#15872 · created Nov 07, 2018 by Icelandjack 8.10.1 5 Pnormal Tbug Trac import TypeInType error messages
- CLOSED
- 5
- 11
updated Jul 07, 2019
Data families with higher-rank kinds

#15874 · created Nov 07, 2018 by Icelandjack 5 Pnormal Tbug Trac import TypeInType
- CLOSED
- 2
updated Jul 07, 2019
GHC Panic: data A n (a :: n) :: a -> Type

#15881 · created Nov 09, 2018 by Icelandjack 8.6.3 5 Pnormal Tbug Trac import TypeInType
- CLOSED
- 8
updated Jul 07, 2019
GHC panic: newtype F rep = F (forall (a :: TYPE rep). a)

#15883 · created Nov 09, 2018 by Icelandjack 8.10.1 5 Pnormal Tbug Trac import TypeInType UnliftedNewtypes compiler crash typechecker
- CLOSED
- 6
updated Jan 17, 2020
Associated type family can't be used at the kind level within other parts of parent class

#15942 · created Nov 23, 2018 by Icelandjack 8.6.3 5 Pnormal Tbug Trac import TypeApplications TypeInType
- CLOSED
- 2
- 8
updated Sep 19, 2020
GHC HEAD type family regression involving invisible arguments

#16008 · created Dec 07, 2018 by Ryan Scott 8.8.1 10 Phighest Tbug Trac import TypeFamilies TypeInType typechecker
- CLOSED
- 6
updated Jul 07, 2019
GHC HEAD-only panic (buildKindCoercion)

#16188 · created Jan 16, 2019 by Ryan Scott 8.8.1 10 Phighest Tbug Trac import TypeInType compiler crash typechecker
- CLOSED
- 3
- 8
updated Jul 07, 2019
GHC HEAD-only Core Lint error (Argument value doesn't match argument type)

#16204 · created Jan 19, 2019 by Ryan Scott 8.8.1 10 Phighest Tbug Trac import TypeInType compiler crash typechecker
- CLOSED
- 3
- 5
updated Jul 07, 2019
GHC HEAD-only Core Lint error (Trans coercion mis-match)

#16225 · created Jan 23, 2019 by Ryan Scott 8.8.1 10 Phighest Tbug Trac import TypeInType typechecker
- CLOSED
- 3
- 2
updated Jul 07, 2019
Couldn't match kind ‘k1’ with ‘k1’

#16244 · created Jan 27, 2019 by Ryan Scott 5 Pnormal Tbug Trac import TypeInType error messages typechecker
- CLOSED
- 2
- 2
updated May 05, 2020
GHC panic (No skolem info) with RankNTypes and strange scoping

#16245 · created Jan 27, 2019 by Ryan Scott 5 Pnormal QuantifiedConstraints RankNTypes Tbug Trac import TypeInType compiler crash typechecker
- CLOSED
- 4
- 9
updated Dec 31, 2020
GHC 8.6 Core Lint regression (Kind application error)

#16247 · created Jan 27, 2019 by Ryan Scott 8.10.1 5 Pnormal Tbug Trac import TypeInType compiler crash typechecker
- CLOSED
- 8
updated Jul 07, 2019
Rework GHC's treatment of constraints in kinds

#16263 · created Jan 31, 2019 by Richard Eisenberg 8.10.1 5 Pnormal Tbug Trac import TypeInType newcomer
- CLOSED
- 14
updated Jul 07, 2019
Program fails with "Impossible case alternative" when optimized

#16310 · created Feb 12, 2019 by Ryan Scott 5 Pnormal Tbug Trac import TypeInType runtime crash
- CLOSED
- 8
updated Jul 07, 2019
GHC HEAD regression: piResultTys1

#16347 · created Feb 20, 2019 by Ryan Scott 8.10.1 10 Phighest Tbug Trac import TypeInType compiler crash typechecker
- CLOSED
- 3
- 6
updated Jul 07, 2019
"Quantified type's kind mentions quantified type variable" error with fancy-kinded GADT

#16391 · created Mar 05, 2019 by Ryan Scott 8.10.1 5 Pnormal Tbug Trac import TypeInType typechecker
- CLOSED
- 4
updated Jul 27, 2020
Higher-rank kinds lead to substitution assertion failure

#16600 · created Apr 22, 2019 by Richard Eisenberg Tbug TypeInType
- CLOSED
- 4
updated Jun 08, 2019
Scoped kind variables are broken

#16635 · created May 07, 2019 by Vladislav Zavialov Tbug TypeInType typechecker
- 1
- 22
updated Sep 25, 2019
Compile-time stack overflow exception in GHC HEAD only

#16902 · created Jul 02, 2019 by Ryan Scott 8.10.1 Tbug TypeInType
- CLOSED
- 5
- 3
updated Jul 05, 2019
Kind inference bug in type family declaration

#17131 · created Aug 29, 2019 by Simon Peyton Jones TypeFamilies TypeInType
- CLOSED
- 2
- 4
updated Sep 15, 2021
Kind-checking associated types

#17327 · created Oct 09, 2019 by mniip Tbug TypeFamilies TypeInType typechecker
- 2
updated Feb 18, 2020
Implement homogeneous equality

#17368 · created Oct 16, 2019 by Richard Eisenberg Ttask TypeInType core lint typechecker
- 2
updated Jun 16, 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
`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
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
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
Kill EQ1

#17674 · created Jan 13, 2020 by Richard Eisenberg Ttask TypeInType
- 1
- 5
updated Sep 17, 2021
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 Sep 29, 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
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
Why check for -fdefer-type-errors in metaTyVarUpdateOK?

#18689 · created Sep 14, 2020 by Richard Eisenberg TypeInType typechecker
- 1
updated Dec 22, 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
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
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
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
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
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 Sep 29, 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
Core Lint error around pure unifier and coercions

#20171 · created Jul 27, 2021 by Richard Eisenberg TypeInType core lint
- 0
updated Jul 27, 2021
Coercion prevents type family equation from applying

#20172 · created Jul 27, 2021 by Richard Eisenberg TypeFamilies TypeInType
- 0
updated Jul 27, 2021
Deprecate -XTypeInType

#20312 · created Aug 31, 2021 by Krzysztof Gogolewski Plow Ttask TypeInType
- 2
updated Sep 07, 2021
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

Prev
1
2
3
Next