Permalink
Browse files

Disposed of a rogue 'trace'

Ignore-this: 166dc2d1c2a5a119b965e4cf5001507e

darcs-hash:20090711135431-228f4-83796d0536bae9d383485d97d5b8ce15a16f954e.gz
  • Loading branch information...
1 parent 20797dd commit 45428a78cce38fd224634e7307465a0631dca182 eb committed Jul 11, 2009
Showing with 1 addition and 1 deletion.
  1. +1 −1 Ivor/PatternDefs.lhs
@@ -236,7 +236,7 @@ Each clause may generate auxiliary definitions, so return all definitons created
> let gam' = insertGam newname (G Undefined newfnTy 0) gam
> newpdef <- mapM (newp tm newargs 1) (zip newpats pats)
> (chk, auxdefs, _, _) <- mytypecheck gam' (clause, (RWRet ret)) i
-> (auxdefs', newdefs, covers) <- trace (show (newname, newpdef)) $ checkDef gam' newname (forget newfnTy) newpdef False cover
+> (auxdefs', newdefs, covers) <- checkDef gam' newname (forget newfnTy) newpdef False cover
> return (chk, auxdefs++auxdefs', newdefs, covers)
> addLastArg (RBind n (B Pi arg) x) ty = RBind n (B Pi arg) (addLastArg x ty)

0 comments on commit 45428a7

Please sign in to comment.