This BIG PATCH contains most of the work for the New Coercion Representation
[ghc-hetmet.git] / compiler / stranal / WorkWrap.lhs
index 5cf5e92..ac10b1b 100644 (file)
@@ -100,6 +100,7 @@ matching by looking for strict arguments of the correct type.
 wwExpr :: CoreExpr -> UniqSM CoreExpr
 
 wwExpr e@(Type {}) = return e
+wwExpr e@(Coercion {}) = return e
 wwExpr e@(Lit  {}) = return e
 wwExpr e@(Var  {}) = return e