#7502: Panic when using lists of type-literals
-----------------------------+----------------------------------------------
Reporter: diatchki | Owner:
Type: bug | Status: new
Priority: normal | Component: Compiler
Version: 7.7 | Keywords:
Os: Unknown/Multiple | Architecture: Unknown/Multiple
Failure: None/Unknown | Blockedby:
Blocking: | Related:
-----------------------------+----------------------------------------------
Comment(by simonpj@…):
commit aad93f5c9eb9d53cddf85019192ba0da6004d17e
{{{
Author: Simon Peyton Jones <[email protected]>
Date: Wed Dec 19 17:35:51 2012 +0000
Move the kind Nat and Symbol out of TysPrim and into TysWiredIn
They properly belong in TysWiredIn, since they are defined in Haskell
in GHC.TypeLits.
Moveover, make them WiredIn (again as they should be) and use
checkWiredInTyCon when encountering them in TcHsType.tc_hs_type,
so that the interface file is loaded. This fixes Trac #7502.
compiler/prelude/PrelNames.lhs | 8 +-------
compiler/prelude/TysPrim.lhs | 7 -------
compiler/prelude/TysWiredIn.lhs | 29 +++++++++++++++++++++++++++++
compiler/prelude/TysWiredIn.lhs-boot | 1 +
compiler/typecheck/TcHsType.lhs | 15 +++++++++------
compiler/types/Kind.lhs | 1 -
compiler/types/Type.lhs | 2 +-
7 files changed, 41 insertions(+), 22 deletions(-)
}}}
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7502#comment:1>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
_______________________________________________
Glasgow-haskell-bugs mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
