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

Removed trace

Browse source
This commit is contained in:
sebastianselander 2023-05-08 20:44:20 +02:00
parent 84847b9abb
commit 3755d41b59
1 changed files with 0 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/TypeChecker/TypeCheckerHm.hs
View file

@ -194,7 +194,6 @@ checkBind (Bind name args e) = do
case M.lookup (coerce name) s of case M.lookup (coerce name) s of
Just (Just typSig) -> do Just (Just typSig) -> do
env <- asks vars env <- asks vars
trace ("ENV IN CHECKBIND: " ++ show env) pure ()
let genInfSig = generalize mempty infSig let genInfSig = generalize mempty infSig
sub <- genInfSig `unify` typSig sub <- genInfSig `unify` typSig
unless unless
@ -666,7 +665,6 @@ fresh = do
let sub = M.fromList [(coerce x, fr) | (MkTVar x) <- tvars] let sub = M.fromList [(coerce x, fr) | (MkTVar x) <- tvars]
let t1' = apply sub t1 let t1' = apply sub t1
let t2' = apply sub t2 let t2' = apply sub t2
traceShow t1' (traceShow t2' pure ())
return (t1' <<= t2') return (t1' <<= t2')
-- | A class for substitutions -- | A class for substitutions