Mercurial > urweb

comparison src/mono_reduce.sml @ 2041:ec7a1fa5e88f

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Another MonoReduce fix
author Adam Chlipala <adam@chlipala.net>
date Sat, 26 Jul 2014 09:26:11 -0400
parents 8ea382a57ce2
children 4d64af730e35
comparison
equal deleted inserted replaced
2040:8ea382a57ce2 2041:ec7a1fa5e88f
500 | ERedirect (e, _) => summarize d e @ [Abort] 500 | ERedirect (e, _) => summarize d e @ [Abort]
501 501
502 | EWrite e => summarize d e @ [WritePage] 502 | EWrite e => summarize d e @ [WritePage]
503 503
504 | ESeq (e1, e2) => summarize d e1 @ summarize d e2 504 | ESeq (e1, e2) => summarize d e1 @ summarize d e2
505 | ELet (_, _, e1, e2) => summarize d e1 @ summarize (d + 1) e2 505 | ELet (_, _, e1, e2) => summarize d e1 @ summarize (if d = ~1 then ~1 else d + 1) e2
506 506
507 | EClosure (_, es) => List.concat (map (summarize d) es) 507 | EClosure (_, es) => List.concat (map (summarize d) es)
508 508
509 | EQuery {query, body, initial, ...} => 509 | EQuery {query, body, initial, ...} =>
510 List.concat [summarize d query, 510 List.concat [summarize d query,