projects
/
ghc-hetmet.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
65d9413
)
Use mkFunTy to ensure that invariants are respected
author
simonpj@microsoft.com
<unknown>
Mon, 14 Jun 2010 13:41:59 +0000
(13:41 +0000)
committer
simonpj@microsoft.com
<unknown>
Mon, 14 Jun 2010 13:41:59 +0000
(13:41 +0000)
compiler/types/Coercion.lhs
patch
|
blob
|
history
diff --git
a/compiler/types/Coercion.lhs
b/compiler/types/Coercion.lhs
index
6d58e5f
..
794613b
100644
(file)
--- a/
compiler/types/Coercion.lhs
+++ b/
compiler/types/Coercion.lhs
@@
-638,7
+638,7
@@
mkAppTyCoI ty1 coi1 ty2 coi2 =
mkFunTyCoI :: Type -> CoercionI -> Type -> CoercionI -> CoercionI
mkFunTyCoI _ IdCo _ IdCo = IdCo
mkFunTyCoI ty1 coi1 ty2 coi2 =
mkFunTyCoI :: Type -> CoercionI -> Type -> CoercionI -> CoercionI
mkFunTyCoI _ IdCo _ IdCo = IdCo
mkFunTyCoI ty1 coi1 ty2 coi2 =
- ACo $ FunTy (fromCoI coi1 ty1) (fromCoI coi2 ty2)
+ ACo $ mkFunTy (fromCoI coi1 ty1) (fromCoI coi2 ty2)
-- | Smart constructor for quantified 'Coercion's on 'CoercionI', see also 'mkForAllCoercion'
mkForAllTyCoI :: TyVar -> CoercionI -> CoercionI
-- | Smart constructor for quantified 'Coercion's on 'CoercionI', see also 'mkForAllCoercion'
mkForAllTyCoI :: TyVar -> CoercionI -> CoercionI