Permalink
Browse files

Remove some 'trace'

darcs-hash:20081218233409-228f4-ed60eaa7f2a0ff0b2135a9037b3f1fd6f356a4d8.gz
  • Loading branch information...
1 parent dce7c4d commit 6b7a51bf9efe58c31bc936df5526a94dbc57f1a1 eb committed Dec 18, 2008
Showing with 3 additions and 2 deletions.
  1. +3 −2 Ivor/Typecheck.lhs
View
@@ -185,7 +185,7 @@ Return a list of the functions we need to define to complete the definition.
> then return (v1',t1',v2',t2',e'', [])
> else do let (Ind v2tt) = v2'
> let (v2'', newdefs) = updateMetas v2tt
-> trace (show newdefs) $ return (v1',t1',Ind v2'',t2',e'', map (\ (x,y) -> (x, (normalise gam (Ind y)))) newdefs)
+> return (v1',t1',Ind v2'',t2',e'', map (\ (x,y) -> (x, (normalise gam (Ind y)))) newdefs)
if (null newdefs) then
else trace (traceConstraints bs') $ return (v1',t1',Ind v2'',t2',e'', map (\ (x,y) -> (x, Ind y)) newdefs)
@@ -409,7 +409,8 @@ the expected type.
> -- Abstract it over the environment so that we have everything
> -- in scope we need.
> tm <- abstractOver (orderEnv env) n exp []
-> trace (show tm ++ " : " ++ show exp) $ return (tm,Ind exp)
+> {-trace (show tm ++ " : " ++ show exp) $ -}
+> return (tm,Ind exp)
> -- fail $ show (n, exp, bindings, env) ++ " -- Not implemented"
> where abstractOver [] mv exp args =
> return (Ind (appArgs (Meta mv exp) args))

0 comments on commit 6b7a51b

Please sign in to comment.