[project @ 1996-04-30 17:34:02 by partain]

[ghc-hetmet.git] / ghc / compiler / deforest / DefExpr.lhs

diff --git a/ghc/compiler/deforest/DefExpr.lhs b/ghc/compiler/deforest/DefExpr.lhs
index 5cfd349..2299371 100644 (file)
--- a/ghc/compiler/deforest/DefExpr.lhs
+++ b/ghc/compiler/deforest/DefExpr.lhs
@@ -127,6 +127,9 @@ This is extended by one rule only: reduction of a type application.
 >      mapArgs (\e -> tran sw p t e []) as     `thenUs` \as ->
 >      returnUs (mkGenApp (SCC l e) as)
 >
+> tran sw p t (Coerce c ty e) as =
+>      panic "DefExpr:tran:Coerce"
+>
 > tran sw p t (Case e ps) as =
 >      tranCase sw p t e [] ps as
 >
@@ -246,6 +249,8 @@ Transformation for case expressions of the form (case e1..en of {..})
 >              returnUs (Case (mkGenApp (SCC l e) bs)
 >                                ps)
 >
+>      Coerce _ _ _ -> panic "DefExpr:tranCase:Coerce"
+>
 >      Case e ps' ->
 >              tranCase sw p t e []
 >                   (mapAlts (\e -> mkGenApp (Case e ps) bs) ps') as
@@ -502,6 +507,7 @@ Type Substitutions.
 >              Let (Rec (map substTyRecBind bs)) (substTy e)
 >              where substTyRecBind (v,e) = (applyTypeEnvToId p v, substTy e)
 >       SCC l e            -> SCC l (substTy e)
+>      Coerce _ _ _       -> panic "DefExpr:applyTypeEnvToExpr:Coerce"
 
 >     substTyAtom :: DefAtom -> DefAtom
 >     substTyAtom (VarArg v) = VarArg (substTyArg v)