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