From 19ca657d6b247c1acab1329ccf0c54d896178c87 Mon Sep 17 00:00:00 2001 From: Jed Barber Date: Tue, 15 May 2012 01:06:39 +1000 Subject: Fixed a number of compilation errors --- TypeVar.hs | 9 ++++++--- 1 file changed, 6 insertions(+), 3 deletions(-) (limited to 'TypeVar.hs') diff --git a/TypeVar.hs b/TypeVar.hs index 6196d63..329caf6 100644 --- a/TypeVar.hs +++ b/TypeVar.hs @@ -12,12 +12,15 @@ module TypeVar ( Var(..), mkEqualsType, - typeFunc + typeFunc, + typeBool, + typeVarsInType ) where import Data.List +import qualified Data.Set as Set @@ -69,6 +72,6 @@ typeBool :: Type typeBool = AType [] (TypeOp (Name [] "bool")) -typeVarsInType :: Type -> Set Type +typeVarsInType :: Type -> Set.Set Type typeVarsInType (TypeVar t) = Set.singleton (TypeVar t) -typeVarsInType (AType list _) = unions . (map typeVarsInType) $ list +typeVarsInType (AType list _) = Set.unions . (map typeVarsInType) $ list -- cgit