projects
/
ghc-hetmet.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Merge _stub.o files into the main .o file (Fixes #3687 and #706)
[ghc-hetmet.git]
/
compiler
/
types
/
Coercion.lhs
diff --git
a/compiler/types/Coercion.lhs
b/compiler/types/Coercion.lhs
index
f7c48f4
..
faab463
100644
(file)
--- a/
compiler/types/Coercion.lhs
+++ b/
compiler/types/Coercion.lhs
@@
-45,7
+45,7
@@
module Coercion (
mkNewTypeCoercion, mkFamInstCoercion, mkAppsCoercion,
mkCsel1Coercion, mkCsel2Coercion, mkCselRCoercion,
mkNewTypeCoercion, mkFamInstCoercion, mkAppsCoercion,
mkCsel1Coercion, mkCsel2Coercion, mkCselRCoercion,
- mkClassPPredCo, mkIParamPredCo,
+ mkClassPPredCo, mkIParamPredCo, mkEqPredCo,
mkCoVarCoercion, mkCoPredCo,
mkCoVarCoercion, mkCoPredCo,
@@
-458,6
+458,8
@@
mkClassPPredCo cls = (PredTy . ClassP cls)
mkIParamPredCo :: (IPName Name) -> Coercion -> Coercion
mkIParamPredCo ipn = (PredTy . IParam ipn)
mkIParamPredCo :: (IPName Name) -> Coercion -> Coercion
mkIParamPredCo ipn = (PredTy . IParam ipn)
+mkEqPredCo :: Coercion -> Coercion -> Coercion
+mkEqPredCo co1 co2 = PredTy (EqPred co1 co2)
\end{code}
\end{code}