Issues · Glasgow Haskell Compiler / GHC · GitLab

Inferring non-tau kinds

#11519 · created Jan 30, 2016 by Richard Eisenberg 8.0.1 5 Pnormal Tbug Trac import TypeInType
- CLOSED
- 11
updated Jul 07, 2019
Very unhelpful message resulting from kind mismatch

#11485 · created Jan 24, 2016 by Ryan Scott 8.0.1 5 Pnormal Tbug Trac import TypeInType typechecker
- CLOSED
- 2
updated Jul 07, 2019
Kind polymorphism and unboxed types: bad things are happening

#11471 · created Jan 21, 2016 by Ben Gamari 8.0.1 5 Pnormal Tbug Ttask Trac import TypeInType typechecker
- CLOSED
- 24
updated Jul 07, 2019
Template Haskell applies too many arguments to kind synonym

#11463 · created Jan 20, 2016 by Ryan Scott 8.0.1 5 Pnormal Tbug TemplateHaskell Trac import TypeApplications TypeInType incorrect runtime result
- CLOSED
- 4
updated Jul 07, 2019
GHC mistakenly believes datatype with type synonym in its type can't be eta-reduced

#11416 · created Jan 13, 2016 by Ryan Scott 8.0.1 5 Pnormal Tbug Trac import TypeInType typechecker
- CLOSED
- 5
updated Jul 07, 2019
The type variable used in a kind is still used

#11404 · created Jan 11, 2016 by Richard Eisenberg 8.0.1 5 Pnormal Tbug Trac import TypeInType
- CLOSED
- 2
updated Jul 07, 2019
Inconsistent specified type variables among functions and datatypes/classes when using -XTypeApplications

#11376 · created Jan 08, 2016 by Ryan Scott 8.0.1 5 Pnormal Tbug Trac import TypeApplications TypeInType typechecker
- CLOSED
- 33
updated Jul 07, 2019
T6137 doesn't pass with reversed uniques

#11362 · created Jan 06, 2016 by niteria 8.0.1 5 Pnormal Tbug Trac import TypeInType
- CLOSED
- 7
updated Jul 07, 2019
GHC panic

#11356 · created Jan 05, 2016 by Icelandjack 8.0.1 5 Pnormal Tbug Trac import TypeInType compiler crash typechecker
- CLOSED
- 6
updated Jul 07, 2019
:kind command hides the explicit kind

#11252 · created Dec 18, 2015 by Icelandjack 8.0.1 5 GHCi Pnormal Tfeature request Trac import TypeInType
- CLOSED
- 6
updated Jul 07, 2019
Kind-level PartialTypeSignatures causes internal error

#11241 · created Dec 17, 2015 by Adam Gundry 8.0.1 5 Pnormal Tbug Trac import TypeInType typechecker
- CLOSED
- 4
updated Jul 07, 2019
Possible type-checker regression in GHC 8.0

#11339 · created Jan 02, 2016 by Herbert Valerio Riedel 8.0.2 10 Phighest Tbug Trac import TypeInType typechecker
- CLOSED
- 12
updated Jul 07, 2019
Internal error: not in scope during type checking, but it passed the renamer

#11821 · created Apr 11, 2016 by darchon 8.0.2 5 Pnormal Tbug Trac import TypeInType
- CLOSED
- 14
updated Jul 07, 2019
Type synonym using -XTypeInType can't be spliced with TH

#11484 · created Jan 23, 2016 by Ryan Scott 8.0.2 5 Pnormal Tbug TemplateHaskell Trac import TypeInType
- CLOSED
- 9
updated Jul 07, 2019
ala from Control.Lens.Wrapped panics

#13585 · created Apr 18, 2017 by Fumiaki Kinoshita 8.2.1 10 Phighest Tbug Trac import TypeInType compiler crash typechecker
- CLOSED
- 14
updated Jul 07, 2019
Typeable regression in GHC HEAD

#13333 · created Feb 24, 2017 by Ryan Scott 8.2.1 10 Phighest Tbug Trac import TypeInType typechecker
- CLOSED
- 13
updated Jul 07, 2019
Recursive use of type-in-type results in infinite loop

#12174 · created Jun 09, 2016 by Edward Z. Yang 8.2.1 10 Phighest Tbug Trac import TypeInType typechecker
- CLOSED
- 7
updated Sep 19, 2020
GHC 8.2 regression: "Can't find interface-file declaration" for promoted data family instance

#13915 · created Jul 02, 2017 by Ryan Scott 8.2.1 7 Phigh Tbug Trac import TypeFamilies TypeInType Typeable
- CLOSED
- 5
updated Jul 07, 2019
GHC panic in 8.2 only: typeIsTypeable(Coercion)

#13871 · created Jun 23, 2017 by Ryan Scott 8.2.1 7 Phigh Tbug Trac import TypeInType Typeable compiler crash typechecker
- CLOSED
- 6
updated Jul 07, 2019
Typechecker regression when combining PolyKinds and MonoLocalBinds

#13555 · created Apr 09, 2017 by Ryan Scott 8.2.1 7 Phigh Tbug Trac import TypeInType typechecker
- CLOSED
- 11
updated Jul 07, 2019

Prev
1
2
3
4
5
6
…
11
Next