diff options
| author | Jed Barber <jjbarber@y7mail.com> | 2012-09-26 23:31:32 +1000 |
|---|---|---|
| committer | Jed Barber <jjbarber@y7mail.com> | 2012-09-26 23:31:32 +1000 |
| commit | 9b50b48c1cf532e0ad6b79b41718e210835afa66 (patch) | |
| tree | 19e70df857f33a458dfadc7f85e2f31d9de3247f | |
| parent | daeb6e8860b6c90ea89c20a59b6285d47c4f654e (diff) | |
Fixed minor alpha conversion argument ordering bug
| -rw-r--r-- | Library/Term.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Library/Term.hs b/Library/Term.hs index 029af7e..4377047 100644 --- a/Library/Term.hs +++ b/Library/Term.hs @@ -79,7 +79,7 @@ alphaEquiv a b = alphaConvert :: Term -> Term -> Term alphaConvert (TConst a ty) (TConst _ _) = TConst a ty alphaConvert (TApp a1 b1) (TApp a2 b2) = TApp (alphaConvert a1 a2) (alphaConvert b1 b2) -alphaConvert (TVar v) (TVar _) = TVar v +alphaConvert (TVar _) (TVar v) = TVar v alphaConvert (TAbs v1 a) (TAbs v2 b) = substitute ([],[(tVar v1,v2)]) (TAbs v1 (alphaConvert a b)) |