From a9d7597a5344686550ecdc853a43915bdf641cd2 Mon Sep 17 00:00:00 2001 From: Jed Barber Date: Tue, 15 May 2012 09:29:51 +1000 Subject: Fixed bug in mkEqualsType --- TypeVar.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/TypeVar.hs b/TypeVar.hs index 329caf6..436cde4 100644 --- a/TypeVar.hs +++ b/TypeVar.hs @@ -61,7 +61,7 @@ instance Show Var where mkEqualsType :: Type -> Type -mkEqualsType ty = typeFunc typeBool (typeFunc ty ty) +mkEqualsType ty = typeFunc ty (typeFunc ty typeBool) typeFunc :: Type -> Type -> Type -- cgit