Issues · Glasgow Haskell Compiler / GHC · GitLab

Typeable can leak information about instances defined using DerivingVia

#18525 · opened Aug 03, 2020 by wz1000 DerivingVia Typeable
- 2
updated Aug 03, 2020
Why do we have both typeRep# and typeRep?

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

#16627 · opened May 03, 2019 by David Feuer Typeable bug typechecker
- 11
updated Nov 04, 2019
TypeRep fingerprints for arrow types are problematic

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

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

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

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

#14480 · opened Nov 17, 2017 by David Feuer Pnormal Trac import Typeable core libraries task 5
- 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 Pnormal Trac import Typeable task testsuite 5
- 5
updated Jan 23, 2020
Show instance for TypeReps is a bit broken

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

#14337 · opened Oct 09, 2017 by David Feuer Pnormal Trac import Typeable bug core libraries runtime perf 5
- 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.0.1 Phigh Trac import Typeable bug compiler crash 7
- 23
updated Jan 23, 2020
Type-indexed type fingerprints

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

#14190 · opened Sep 07, 2017 by David Feuer Pnormal Trac import Typeable bug typechecker 5
- 18
updated Jan 23, 2020
Support Typeable instances for types with coercions

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

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

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

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

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

#11349 · opened Jan 04, 2016 by Icelandjack Pnormal Trac import TypeApplications Typeable core libraries feature request 5
- 9
updated Jul 07, 2019