Rakarake/churf
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Monomorphizer main fix

Browse source
This commit is contained in:
Rakarake 2023-03-28 15:55:06 +02:00
parent 43a863c153
commit a7401f0ee3
1 changed files with 8 additions and 5 deletions
Download patch file Download diff file Expand all files Collapse all files

13
src/Monomorphizer/Monomorphizer.hs
View file

@ -183,11 +183,14 @@ morphExp expectedType exp = case exp of
-- Creates a new identifier for a function with an assigned type
newName :: M.Type -> T.Bind -> Ident
newName t (T.Bind (Ident bindName, _) _ _) = Ident (bindName ++ "$" ++ newName' t)
where
newName' :: M.Type -> String
newName' (M.TLit (Ident str)) = str
newName' (M.TFun t1 t2) = newName' t1 ++ "_" ++ newName' t2
newName t (T.Bind (Ident bindName, _) _ _) =
if bindName == "main" then
Ident bindName
else Ident (bindName ++ "$" ++ newName' t)
where
newName' :: M.Type -> String
newName' (M.TLit (Ident str)) = str
newName' (M.TFun t1 t2) = newName' t1 ++ "_" ++ newName' t2
-- Monomorphization step
monomorphize :: T.Program -> M.Program