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

Removed traces

Browse source
This commit is contained in:
Rakarake 2023-04-18 15:52:33 +02:00
parent 2611ddc2b2
commit 4bd5801c97
1 changed files with 0 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

4
src/Monomorphizer/Monomorphizer.hs
View file

@ -130,7 +130,6 @@ morphBind expectedType b@(T.Bind (Ident str, btype) args (exp, expt)) =
polys = Map.fromList (mapTypes btype expectedType) polys = Map.fromList (mapTypes btype expectedType)
}) $ do }) $ do
-- The "new name" is used to find out if it is already marked or not. -- The "new name" is used to find out if it is already marked or not.
trace ("Inside of bind: " ++ str) return ()
let name' = newFuncName expectedType b let name' = newFuncName expectedType b
bindMarked <- isBindMarked (coerce name') bindMarked <- isBindMarked (coerce name')
-- Return with right name if already marked -- Return with right name if already marked
@ -219,12 +218,9 @@ morphExp expectedType exp = case exp of
morphBranch :: T.Branch -> EnvM M.Branch morphBranch :: T.Branch -> EnvM M.Branch
morphBranch (T.Branch (p, pt) (e, et)) = do morphBranch (T.Branch (p, pt) (e, et)) = do
pt' <- getMonoFromPoly pt pt' <- getMonoFromPoly pt
trace ("pt':" ++ show pt') return ()
et' <- getMonoFromPoly et et' <- getMonoFromPoly et
env <- ask env <- ask
(p', newLocals) <- morphPattern pt' (locals env) p (p', newLocals) <- morphPattern pt' (locals env) p
trace ("MORBING RN: " ++ show newLocals) return ()
trace ("MORBING2 RN: " ++ show p) return ()
local (const env { locals = newLocals }) $ do local (const env { locals = newLocals }) $ do
e' <- morphExp et' e e' <- morphExp et' e
return $ M.Branch (p', pt') (e', et') return $ M.Branch (p', pt') (e', et')