--- $$ ppr co1 <+> dcolon <+> pprEqPred (s2,t2) )\r
--- co1\r
--- where\r
--- co1 = opt_co' sym co\r
--- same_co_kind = s1 `coreEqType` s2 && t1 `coreEqType` t2\r
--- (s,t) = coercionKind co\r
--- (s1,t1) | sym = (t,s)\r
--- | otherwise = (s,t)\r
--- (s2,t2) = coercionKind co1\r
+-- $$ ppr co1 <+> dcolon <+> pprEqPred (s2,t2) )\r
+ = WARN( not (coreEqType co1 simple_result), \r
+ (text "env=" <+> ppr env) $$\r
+ (text "input=" <+> ppr co) $$\r
+ (text "simple=" <+> ppr simple_result) $$\r
+ (text "opt=" <+> ppr co1) )\r
+ co1\r
+ where\r
+ co1 = opt_co' env sym co\r
+ same_co_kind = s1 `coreEqType` s2 && t1 `coreEqType` t2\r
+ (s,t) = coercionKind (substTy env co)\r
+ (s1,t1) | sym = (t,s)\r
+ | otherwise = (s,t)\r
+ (s2,t2) = coercionKind co1\r
+\r
+ simple_result | sym = mkSymCoercion (substTy env co)\r
+ | otherwise = substTy env co\r
+-}\r