diff options
author | Jed Barber <jjbarber@y7mail.com> | 2012-05-15 01:06:39 +1000 |
---|---|---|
committer | Jed Barber <jjbarber@y7mail.com> | 2012-05-15 01:07:55 +1000 |
commit | 19ca657d6b247c1acab1329ccf0c54d896178c87 (patch) | |
tree | cdd8d0440c1697b3d328f7f88bac1931dcac8bbc /TypeVar.hs | |
parent | 7a0eb21089bc60cf779469d04fe35632aec43f0e (diff) |
Fixed a number of compilation errors
Diffstat (limited to 'TypeVar.hs')
-rw-r--r-- | TypeVar.hs | 9 |
1 files changed, 6 insertions, 3 deletions
@@ -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 |