Issues · Glasgow Haskell Compiler / GHC · GitLab

Merge -XPolyKinds with -XTypeInType

#15195 · created May 29, 2018 by Richard Eisenberg 8.6.1 5 Pnormal Tbug Trac import TypeInType ghc proposal
- CLOSED
- 8
updated Jul 07, 2019
GHC HEAD panic (dischargeFmv)

#15170 · created May 20, 2018 by Ryan Scott 8.6.1 5 Pnormal Tbug Trac import TypeInType compiler crash typechecker
- CLOSED
- 6
updated Jul 07, 2019
GHC HEAD regression: tcTyVarDetails

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

#15122 · created May 04, 2018 by fmixing 8.6.1 10 Phighest Tbug Trac import TypeInType typechecker
- CLOSED
- 11
updated Jul 07, 2019
GHC internal error when GADT return type mentions its own constructor name

#15116 · created May 03, 2018 by Ryan Scott 8.6.1 5 GADTs Pnormal Tbug Trac import TypeInType compiler crash typechecker
- CLOSED
- 7
updated Jul 07, 2019
GHC HEAD regression: cannot instantiate higher-rank kind

#15079 · created Apr 23, 2018 by Ryan Scott 8.6.1 7 Phigh Tbug Trac import TypeInType typechecker
- CLOSED
- 10
updated Oct 31, 2020
Typed hole with higher-rank kind causes GHC to panic (No skolem info)

#15076 · created Apr 22, 2018 by Ryan Scott 8.8.1 5 Pnormal Tbug Trac import TypeInType compiler crash typechecker typed holes
- CLOSED
- 10
updated Jul 07, 2019
Bizarre pretty-printing of inferred Coercible constraint in partial type signature

#15039 · created Apr 16, 2018 by Ryan Scott 8.6.1 5 Pnormal Tbug Trac import TypeInType error messages partial type sigs typechecker
- CLOSED
- 9
updated Jul 07, 2019
GHC HEAD regression involving TYPEs in type families

#14991 · created Apr 02, 2018 by Ryan Scott 8.6.1 7 Phigh Tbug Trac import TypeFamilies TypeInType typechecker
- CLOSED
- 5
updated Jul 07, 2019
Pattern matching on GADT does not refine type family parameters

#14938 · created Mar 19, 2018 by Csongor Kiss 5 GADTs Pnormal Tbug Trac import TypeFamilies TypeInType typechecker
- CLOSED
- 10
updated Jul 07, 2019
Compiler panic (piResultTy)

#14904 · created Mar 09, 2018 by Csongor Kiss 8.6.1 5 Pnormal Tbug Trac import TypeInType typechecker
- CLOSED
- 9
updated Jul 07, 2019
Explicitly quantifying a kind variable causes a telescope to fail to kind-check

#14887 · created Mar 03, 2018 by Ryan Scott 8.8.1 5 Pnormal Tbug Trac import TypeFamilies TypeInType typechecker
- CLOSED
- 13
updated Jul 07, 2019
GHC panic: updateRole

#14880 · created Mar 02, 2018 by Ryan Scott 8.6.2 5 Pnormal Tbug Trac import TypeInType compiler crash roles typechecker
- CLOSED
- 155
updated Jul 07, 2019
The well-kinded type invariant (in TcType)

#14873 · created Mar 01, 2018 by Ryan Scott 9.2.1 10 Phighest Tbug Trac import TypeInType compiler crash typechecker
- CLOSED
- 13
updated Sep 07, 2021
Inferring dependent kinds for non-recursive types

#14847 · created Feb 23, 2018 by Simon Peyton Jones 5 Pnormal Tbug Trac import TypeInType
- CLOSED
- 4
updated Jul 07, 2019
Renamer hangs (because of -XInstanceSigs?)

#14846 · created Feb 23, 2018 by Icelandjack 8.4.2 5 InstanceSigs Pnormal Tbug Trac import TypeInType
- CLOSED
- 10
updated Jul 07, 2019
TypeInType, index GADT by constraint witness

#14845 · created Feb 23, 2018 by Icelandjack 8.6.1 5 Pnormal Tfeature request Trac import TypeInType
- CLOSED
- 19
updated Jul 07, 2019
Data type return kinds don't obey the forall-or-nothing rule

#14795 · created Feb 12, 2018 by Ryan Scott 5 Pnormal Tbug Trac import TypeInType typechecker
- CLOSED
- 4
updated Jul 07, 2019
Make $! representation-polymorphic

#14764 · created Feb 05, 2018 by David Feuer 8.6.1 5 Pnormal Ttask Trac import TypeInType core libraries
- CLOSED
- 1
updated Jul 07, 2019
T13822 fails

#14749 · created Feb 01, 2018 by Simon Peyton Jones 5 Pnormal Tbug Trac import TypeInType
- CLOSED
- 5
updated Jul 07, 2019

Prev
1
2
3
4
5
6
7
8
9
…
13
Next