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

Fixed name clashes

Browse source
This commit is contained in:
Rakarake 2023-03-10 17:24:03 +01:00
parent 96c4a2bddf
commit e2db863c3e
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/Monomorpher/Monomorpher.hs
View file

@ -199,7 +199,7 @@ morphExp expectedType exp = case exp of
-- Creates a new identifier for a function with an assigned type -- Creates a new identifier for a function with an assigned type
newName :: M.Type -> T.Bind -> Ident newName :: M.Type -> T.Bind -> Ident
newName t (T.Bind (Ident bindName, _) _ _) = Ident (bindName ++ "_" ++ newName' t) newName t (T.Bind (Ident bindName, _) _ _) = Ident (bindName ++ "$" ++ newName' t)
where where
newName' :: M.Type -> String newName' :: M.Type -> String
newName' (M.TMono (Ident str)) = str newName' (M.TMono (Ident str)) = str