Issues · Glasgow Haskell Compiler / GHC · GitLab

Why do we have both typeRep# and typeRep?

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

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

#16626 · opened 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 · opened 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 · opened Jan 12, 2018 by niteria 3 Plow Tbug Trac import Typeable
- 1
- 4
updated May 11, 2020
Review and improve the Typeable API

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

#14480 · opened 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 · opened 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 · opened 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 · opened Oct 09, 2017 by David Feuer 5 Pnormal Tbug Trac import Typeable core libraries runtime perf
- 5
updated Jan 23, 2020
GHC HEAD's ghc-stage1 panics on Data.Typeable.Internal

#14270 · opened Sep 22, 2017 by Herbert Valerio Riedel 9.2.1 7 Phigh Tbug Trac import Typeable compiler crash
- 23
updated Jan 23, 2021
Type-indexed type fingerprints

#14255 · opened 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 · opened Sep 07, 2017 by David Feuer 5 Pnormal Tbug Trac import Typeable typechecker
- 18
updated Jan 09, 2021
Support Typeable instances for types with coercions

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

#13647 · opened May 05, 2017 by Simon Peyton Jones 5 Pnormal Ttask Trac import Typeable
- 4
updated Jan 23, 2020
Unboxed sums are not Typeable

#13276 · opened Feb 12, 2017 by Ben Gamari 8.6.1 5 Pnormal Tfeature request Trac import Typeable
- 6
updated Jul 07, 2019
Consider moving Typeable evidence generation wholly back to solver

#13261 · opened Feb 10, 2017 by Ben Gamari 5 Pnormal Ttask Trac import Typeable
- 8
updated May 11, 2020
TemplateHaskell and Data.Typeable - tcIfaceGlobal (local): not found

#12451 · opened Aug 02, 2016 by mkloczko 5 Pnormal Tbug TemplateHaskell Trac import Typeable
- 3
updated Jul 07, 2019
[TypeApplications] Create Proxy-free alternatives of functions in base

#11349 · opened Jan 04, 2016 by Icelandjack 5 Pnormal Tfeature request Trac import TypeApplications Typeable core libraries
- 9
updated Jul 07, 2019
isInstance does not work on Typeable with base-4.8 anymore

#11251 · opened Dec 18, 2015 by songzh 5 Pnormal Tbug TemplateHaskell Trac import Typeable core libraries
- 7
updated Jul 07, 2019