Mainly, rename LiteralTy to LitTy
[ghc.git] / compiler / types / Type.lhs
index a4f4252..81075c0 100644 (file)
@@ -279,7 +279,7 @@ expandTypeSynonyms ty
       = go (mkAppTys (substTy (mkTopTvSubst tenv) rhs) tys')
       | otherwise
       = TyConApp tc (map go tys)
-    go (LiteralTy l)   = LiteralTy l
+    go (LitTy l)       = LitTy l
     go (TyVarTy tv)    = TyVarTy tv
     go (AppTy t1 t2)   = AppTy (go t1) (go t2)
     go (FunTy t1 t2)   = FunTy (go t1) (go t2)
@@ -406,12 +406,12 @@ splitAppTys ty = split ty ty []
 \end{code}
 
 
-                      LiteralTy
+                      LitTy
                       ~~~~~~~~~
 
 \begin{code}
 mkLiteralTy :: TyLit -> Type
-mkLiteralTy = LiteralTy
+mkLiteralTy = LitTy
 
 mkNumberTyLit :: Integer -> TyLit
 mkNumberTyLit = NumberTyLit
@@ -420,8 +420,8 @@ mkNumberTy :: Integer -> Type
 mkNumberTy n = mkLiteralTy (mkNumberTyLit n)
 
 isNumberTy :: Type -> Maybe Integer
-isNumberTy (LiteralTy (NumberTyLit n)) = Just n
-isNumberTy _                           = Nothing
+isNumberTy (LitTy (NumberTyLit n)) = Just n
+isNumberTy _                        = Nothing
 \end{code}
 
 
@@ -989,12 +989,12 @@ getIPPredTy_maybe ty = case splitTyConApp_maybe ty of
 
 \begin{code}
 typeSize :: Type -> Int
-typeSize (TyVarTy _)     = 1
+typeSize (LitTy {})      = 1
+typeSize (TyVarTy {})    = 1
 typeSize (AppTy t1 t2)   = typeSize t1 + typeSize t2
 typeSize (FunTy t1 t2)   = typeSize t1 + typeSize t2
 typeSize (ForAllTy _ t)  = 1 + typeSize t
 typeSize (TyConApp _ ts) = 1 + sum (map typeSize ts)
-typeSize (LiteralTy _)   = 1
 
 varSetElemsKvsFirst :: VarSet -> [TyVar]
 -- {k1,a,k2,b} --> [k1,k2,a,b]
@@ -1147,12 +1147,12 @@ isPrimitiveType ty = case splitTyConApp_maybe ty of
 
 \begin{code}
 seqType :: Type -> ()
+seqType (LitTy n)         = n `seq` ()
 seqType (TyVarTy tv)     = tv `seq` ()
 seqType (AppTy t1 t2)    = seqType t1 `seq` seqType t2
 seqType (FunTy t1 t2)    = seqType t1 `seq` seqType t2
 seqType (TyConApp tc tys) = tc `seq` seqTypes tys
 seqType (ForAllTy tv ty)  = tv `seq` seqType ty
-seqType (LiteralTy n)     = n `seq` ()
 
 seqTypes :: [Type] -> ()
 seqTypes []       = ()
@@ -1474,6 +1474,7 @@ subst_ty :: TvSubst -> Type -> Type
 subst_ty subst ty
    = go ty
   where
+    go (LitTy n)         = n `seq` LitTy n
     go (TyVarTy tv)      = substTyVar subst tv
     go (TyConApp tc tys) = let args = map go tys
                            in  args `seqList` TyConApp tc args
@@ -1486,7 +1487,6 @@ subst_ty subst ty
     go (ForAllTy tv ty)  = case substTyVarBndr subst tv of
                               (subst', tv') ->
                                  ForAllTy tv' $! (subst_ty subst' ty)
-    go (LiteralTy n)     = n `seq` LiteralTy n
 
 substTyVar :: TvSubst -> TyVar  -> Type
 substTyVar (TvSubst _ tenv) tv
@@ -1574,7 +1574,7 @@ typeKind (TyConApp tc tys)
   = kindAppResult (tyConKind tc) tys
 
 typeKind (AppTy fun arg)      = kindAppResult (typeKind fun) [arg]
-typeKind (LiteralTy l)        = typeLiteralKind l
+typeKind (LitTy l)            = typeLiteralKind l
 typeKind (ForAllTy _ ty)      = typeKind ty
 typeKind (TyVarTy tyvar)      = tyVarKind tyvar
 typeKind (FunTy _arg res)