diff options
| author | simonpj@microsoft.com <unknown> | 2010-06-14 13:41:59 +0000 |
|---|---|---|
| committer | simonpj@microsoft.com <unknown> | 2010-06-14 13:41:59 +0000 |
| commit | 8c5e145eb7f4e88fc3f2ecf5e509768818ae6c02 (patch) | |
| tree | 26ee591fa3f4590678d02c038902132538b5de6a | |
| parent | 65d9413573466e789ba2b1c5c7c74339df0f16ed (diff) | |
| download | haskell-8c5e145eb7f4e88fc3f2ecf5e509768818ae6c02.tar.gz | |
Use mkFunTy to ensure that invariants are respected
| -rw-r--r-- | compiler/types/Coercion.lhs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/types/Coercion.lhs b/compiler/types/Coercion.lhs index 6d58e5f3b1..794613b9aa 100644 --- 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 = - 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 |