yogsototh/elm
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Add dealiasing for Strings

Browse source
This commit is contained in:
evancz 2013-02-06 10:30:25 -08:00
parent b2a7bd1c6e
commit 67503cef7d
1 changed files with 4 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
elm/src/Types/Substitutions.hs
View file

@ -94,8 +94,11 @@ generalize exceptions (Forall xs cs t) = rescheme (Forall (xs ++ frees) cs t)
dealias :: [Statement] -> [Statement]
dealias stmts = map dealiasS stmts
where
builtins :: [(String,([X],Type))]
builtins = [ ("String", ([], string)) ]
getAliases :: [Statement] -> Map.Map String ([X],Type)
getAliases stmts = Map.fromList (concatMap getAlias stmts)
getAliases stmts = Map.fromList (builtins ++ concatMap getAlias stmts)
where getAlias stmt = case stmt of
TypeAlias alias xs t -> [(alias, (xs,t))]
_ -> []