Mainly, rename LiteralTy to LitTy
[ghc.git] / compiler / types / Coercion.lhs
index 6ea45ff..4c1ab4a 100644 (file)
@@ -939,7 +939,7 @@ ty_co_subst subst ty
     go (ForAllTy v ty)   = mkForAllCo v' $! (ty_co_subst subst' ty)
                          where
                            (subst', v') = liftCoSubstTyVarBndr subst v
-    go ty@(LiteralTy _)  = mkReflCo ty
+    go ty@(LitTy {})     = mkReflCo ty
 
 liftCoSubstTyVar :: LiftCoSubst -> TyVar -> Maybe Coercion
 liftCoSubstTyVar (LCS _ cenv) tv = lookupVarEnv cenv tv