Issues · Glasgow Haskell Compiler / GHC · GitLab

Confusion around visible type application in pattern synonym pattern

#21501 · created May 04, 2022 by Richard Eisenberg 9.6.1 PatternSynonyms Tbug TypeApplications Typeable typechecker
- 1
updated May 06, 2022
Typeable evidence is always CAFfy

#21183 · created Mar 06, 2022 by Ben Gamari CAFs Pnormal Tbug Typeable runtime perf
- 0
updated Mar 08, 2022
Add `typeToName` bike shedding

#20613 · created Nov 03, 2021 by parsonsmatt Pnormal Tfeature request TemplateHaskell Typeable
- 1
- 16
updated Nov 29, 2021
TyCon should include fixity, etc.

#20280 · created Aug 24, 2021 by David Feuer Plow Tfeature request Typeable core libraries
- 6
updated Aug 26, 2021
Linear types: investigate the multiplicity argument of FUN

#20164 · created Jul 26, 2021 by Krzysztof Gogolewski LinearTypes Ttask Typeable
- 1
updated Dec 08, 2021
Unused instances retained

#19991 · created Jun 15, 2021 by David Feuer Plow Tfeature request Typeable constraint solver simplifier
- 5
updated Jun 22, 2021
Add 'pattern TypeRep :: () => Typeable a => TypeRep a' to Type.Reflection

#19691 · created Apr 12, 2021 by Icelandjack Tfeature request Typeable core libraries
- 1
- 6
updated Jul 26, 2021
Why do we have both typeRep# and typeRep?

#17569 · created Dec 12, 2019 by Richard Eisenberg FunctionalDependencies Ttask Typeable
- 5
updated May 19, 2020
Trouble resolving Typeable 'LiftedRep

#16627 · created May 03, 2019 by David Feuer Tbug Typeable typechecker
- 11
updated Jun 07, 2021
TypeRep fingerprints for arrow types are problematic

#16626 · created May 03, 2019 by David Feuer Tfeature request Typeable
- 3
updated May 22, 2019
`KnownNat` does not imply `Typeable` any more when used with plugin

#15322 · created Jun 29, 2018 by Dmitrii Kovanikov 5 Pnormal Tbug Trac import Typeable typechecker plugins
- 19
updated Jan 23, 2020
Deriving Typeable for enumerations seems expensive

#14663 · created Jan 12, 2018 by niteria 3 Plow Tbug Trac import Typeable
- 1
- 4
updated May 11, 2020
Review and improve the Typeable API

#14582 · created Dec 14, 2017 by Simon Peyton Jones 5 Pnormal Tbug Trac import Typeable
- 2
updated Jul 07, 2019
Clean up tyConTYPE

#14480 · created Nov 17, 2017 by David Feuer 5 Pnormal Ttask Trac import Typeable core libraries
- 0
updated Jul 07, 2019
Add a test ensuring that TypeReps can be stored in compact regions

#14401 · created Oct 29, 2017 by David Feuer 5 Pnormal Ttask Trac import Typeable testsuite
- 5
updated Jan 23, 2020
Show instance for TypeReps is a bit broken

#14341 · created Oct 11, 2017 by David Feuer 8.6.1 5 Pnormal Tbug Trac import Typeable core libraries
- 16
updated Jan 17, 2020
typeRepKind can perform substantial amounts of allocation

#14337 · created Oct 09, 2017 by David Feuer 5 Pnormal Tbug Trac import Typeable core libraries runtime perf
- 5
updated Jan 23, 2020
Type-indexed type fingerprints

#14255 · created Sep 20, 2017 by David Feuer 5 Pnormal Tfeature request Trac import Typeable core libraries
- 5
updated Jul 07, 2019
Typeable imposes seemingly redundant constraints on polykinded instances

#14190 · created Sep 07, 2017 by David Feuer 5 Pnormal Tbug Trac import Typeable typechecker
- 19
updated Jun 07, 2021
Support Typeable instances for types with coercions

#13933 · created Jul 07, 2017 by Richard Eisenberg 5 Pnormal Tbug Trac import TypeInType Typeable
- 2
updated Jul 07, 2019