summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJed Barber <jjbarber@y7mail.com>2012-09-26 23:31:32 +1000
committerJed Barber <jjbarber@y7mail.com>2012-09-26 23:31:32 +1000
commit9b50b48c1cf532e0ad6b79b41718e210835afa66 (patch)
tree19e70df857f33a458dfadc7f85e2f31d9de3247f
parentdaeb6e8860b6c90ea89c20a59b6285d47c4f654e (diff)
Fixed minor alpha conversion argument ordering bug
-rw-r--r--Library/Term.hs2
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))