optCoercion,
-- ** Comparison
- coreEqCoercion,
+ coreEqCoercion, coreEqCoercion2,
-- * CoercionI
CoercionI(..),
import TyCon
import Class
import Var
+import VarEnv
import Name
import PrelNames
import Util
-- | Determines syntactic equality of coercions
coreEqCoercion :: Coercion -> Coercion -> Bool
coreEqCoercion = coreEqType
+
+coreEqCoercion2 :: RnEnv2 -> Coercion -> Coercion -> Bool
+coreEqCoercion2 = coreEqType2
\end{code}