From 9b50b48c1cf532e0ad6b79b41718e210835afa66 Mon Sep 17 00:00:00 2001 From: Jed Barber Date: Wed, 26 Sep 2012 23:31:32 +1000 Subject: Fixed minor alpha conversion argument ordering bug --- Library/Term.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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)) -- cgit