#10348: HEAD: `KnownNat` does not imply `Typeable` any more -------------------------------------+------------------------------------- Reporter: heisenbug | Owner: diatchki Type: bug | Status: new Priority: highest | Milestone: 7.12.1 Component: Compiler (Type | Version: 7.11 checker) | Keywords: Resolution: | Architecture: Operating System: Unknown/Multiple | Unknown/Multiple Type of failure: GHC rejects | Test Case: valid program | Blocking: Blocked By: | Differential Revisions: Related Tickets: | -------------------------------------+------------------------------------- Comment (by heisenbug): Replying to [comment:6 simonpj]:
Iavor says he'll do this over the weekend.
Simon
Thanks, that sounds good :-) These are presumably part of the future solution: {{{ $ git grep typeLitTypeRep compiler/deSugar/DsBinds.hs: ctr <- dsLookupGlobalId typeLitTypeRepName compiler/prelude/PrelNames.hs: typeLitTypeRepName, compiler/prelude/PrelNames.hs: , typeLitTypeRepName compiler/prelude/PrelNames.hs:typeLitTypeRepName = varQual tYPEABLE_INTERNAL (fsLit "typeLitTypeRep") typeLitTypeRepKey compiler/prelude/PrelNames.hs: , typeLitTypeRepKey compiler/prelude/PrelNames.hs:typeLitTypeRepKey = mkPreludeMiscIdUnique 506 libraries/base/Data/Typeable/Internal.hs: typeLitTypeRep libraries/base/Data/Typeable/Internal.hs:typeLitTypeRep :: String -> TypeRep libraries/base/Data/Typeable/Internal.hs:typeLitTypeRep nm = rep }}} -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/10348#comment:7 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler