Panic when using lists of type-literals

[diatchki]

The following program:

{-# LANGUAGE DataKinds #-}

type S = [1,2]

Causes a panic:

ghc-stage2: panic! (the 'impossible' happened)
  (GHC version 7.7.20121129 for x86_64-unknown-linux):
	lookupVers2
<<details unavailable>>

[simonpj@…]

commit aad93f5c9eb9d53cddf85019192ba0da6004d17e

Author: Simon Peyton Jones <simonpj@microsoft.com>
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(-)