@@ -94,8 +94,11 @@ generalize exceptions (Forall xs cs t) = rescheme (Forall (xs ++ frees) cs t)
9494dealias :: [Statement] -> [Statement]
9595dealias stmts = map dealiasS stmts
9696 where
97+ builtins :: [(String,([X],Type))]
98+ builtins = [ ("String", ([], string)) ]
99+
97100 getAliases :: [Statement] -> Map.Map String ([X],Type)
98− getAliases stmts = Map.fromList (concatMap getAlias stmts)
101+ getAliases stmts = Map.fromList (builtins ++ concatMap getAlias stmts)
99102 where getAlias stmt = case stmt of
100103 TypeAlias alias xs t -> [(alias, (xs,t))]
101104 _ -> []