Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with
or
.
Download ZIP
Browse files

Remove rogue trace

Ignore-this: ed25375970ccb61aff263fedbd497229

darcs-hash:20100310121040-228f4-4bcc0b4b7f6292f70693e573849644eafeafc052.gz
  • Loading branch information...
commit bc6d9bc7d26f5a25ca72b93b44051a7650f07f0b 1 parent adc1f0e
eb authored
Showing with 1 addition and 1 deletion.
  1. +1 −1  Ivor/PatternDefs.lhs
View
2  Ivor/PatternDefs.lhs
@@ -223,7 +223,7 @@ Each clause may generate auxiliary definitions, so return all definitions create
> let specrtm = case spec of
> Nothing -> Ind rtmtt'
> Just [] -> eval_nf gam (Ind rtmtt')
-> Just ns -> trace (show (rtmtt', ns)) $ eval_nf_limit gam (Ind rtmtt') ns
+> Just ns -> eval_nf_limit gam (Ind rtmtt') ns
> return ((tm, specrtm, env), [], newdefs, True)
> mytypecheck gam (clause, (RWith addprf scr pats)) i =
> do -- Get the type of scrutinee, construct the type of the auxiliary definition
Please sign in to comment.
Something went wrong with that request. Please try again.