@@ -74,8 +74,8 @@ makeConstructors env datatypes = Map.fromList builtins
74 in (name, inst n $ \vs -> (vs, foldl (<|) (types env ! name) vs))
74 in (name, inst n $ \vs -> (vs, foldl (<|) (types env ! name) vs))
76 builtins :: [ (String, IO (Int, [Variable], [Type], Type)) ]
76 builtins :: [ (String, IO (Int, [Variable], [Type], Type)) ]
77− builtins = [ ("[]" , inst 1 $ \ [t] -> ([], list t))
77+ builtins = [ ("[]", inst 1 $ \ [t] -> ([], list t))
78− , ("::" , inst 1 $ \ [t] -> ([t, list t], list t))
78+ , ("::", inst 1 $ \ [t] -> ([t, list t], list t))
79 ] ++ map tupleCtor [0..9]
79 ] ++ map tupleCtor [0..9]
80 ++ concatMap (ctorToType env) datatypes
80 ++ concatMap (ctorToType env) datatypes