Major Overhaul of Pattern Match Checking (Fixes #595)
[ghc.git] / compiler / prelude / TysWiredIn.hs-boot
1 module TysWiredIn where
2
3 import {-# SOURCE #-} TyCon      (TyCon)
4 import {-# SOURCE #-} TypeRep    (Type)
5
6
7 eqTyCon, listTyCon, coercibleTyCon :: TyCon
8 typeNatKind, typeSymbolKind :: Type
9 mkBoxedTupleTy :: [Type] -> Type