Mercurial > urweb

comparison src/mono_reduce.sml @ 1065:217eb87dde31

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Basis.url and redirects
author Adam Chlipala <adamc@hcoop.net>
date Thu, 10 Dec 2009 13:32:09 -0500
parents 7a4a55e05081
children 757397bb9609
comparison
equal deleted inserted replaced
1064:b89e3d8731ed 1065:217eb87dde31
96 96
97 | ECase (e, pes, _) => impure e orelse List.exists (fn (_, e) => impure e) pes 97 | ECase (e, pes, _) => impure e orelse List.exists (fn (_, e) => impure e) pes
98 98
99 | EError (e, _) => impure e 99 | EError (e, _) => impure e
100 | EReturnBlob {blob = e1, mimeType = e2, ...} => impure e1 orelse impure e2 100 | EReturnBlob {blob = e1, mimeType = e2, ...} => impure e1 orelse impure e2
101 | ERedirect (e, _) => impure e
101 102
102 | EStrcat (e1, e2) => impure e1 orelse impure e2 103 | EStrcat (e1, e2) => impure e1 orelse impure e2
103 104
104 | ESeq (e1, e2) => impure e1 orelse impure e2 105 | ESeq (e1, e2) => impure e1 orelse impure e2
105 | ELet (_, _, e1, e2) => impure e1 orelse impure e2 106 | ELet (_, _, e1, e2) => impure e1 orelse impure e2
427 end*) 428 end*)
428 | EStrcat (e1, e2) => summarize d e1 @ summarize d e2 429 | EStrcat (e1, e2) => summarize d e1 @ summarize d e2
429 430
430 | EError (e, _) => summarize d e @ [Unsure] 431 | EError (e, _) => summarize d e @ [Unsure]
431 | EReturnBlob {blob = e1, mimeType = e2, ...} => summarize d e1 @ summarize d e2 @ [Unsure] 432 | EReturnBlob {blob = e1, mimeType = e2, ...} => summarize d e1 @ summarize d e2 @ [Unsure]
433 | ERedirect (e, _) => summarize d e @ [Unsure]
432 434
433 | EWrite e => summarize d e @ [WritePage] 435 | EWrite e => summarize d e @ [WritePage]
434 436
435 | ESeq (e1, e2) => summarize d e1 @ summarize d e2 437 | ESeq (e1, e2) => summarize d e1 @ summarize d e2
436 | ELet (_, _, e1, e2) => summarize d e1 @ summarize (d + 1) e2 438 | ELet (_, _, e1, e2) => summarize d e1 @ summarize (d + 1) e2