Mercurial > urweb

comparison src/mono_reduce.sml @ 741:f7e2026dd5ae

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Returning a blob as page result
author Adam Chlipala <adamc@hcoop.net>
date Sun, 26 Apr 2009 09:02:17 -0400
parents 796e42c93c48
children a28982de5645
comparison
equal deleted inserted replaced
740:b302b6e35f93 741:f7e2026dd5ae
77 | EField (e, _) => impure e 77 | EField (e, _) => impure e
78 78
79 | ECase (e, pes, _) => impure e orelse List.exists (fn (_, e) => impure e) pes 79 | ECase (e, pes, _) => impure e orelse List.exists (fn (_, e) => impure e) pes
80 80
81 | EError (e, _) => impure e 81 | EError (e, _) => impure e
82 | EReturnBlob {blob = e1, mimeType = e2, ...} => impure e1 orelse impure e2
82 83
83 | EStrcat (e1, e2) => impure e1 orelse impure e2 84 | EStrcat (e1, e2) => impure e1 orelse impure e2
84 85
85 | ESeq (e1, e2) => impure e1 orelse impure e2 86 | ESeq (e1, e2) => impure e1 orelse impure e2
86 | ELet (_, _, e1, e2) => impure e1 orelse impure e2 87 | ELet (_, _, e1, e2) => impure e1 orelse impure e2
347 [Unsure] 348 [Unsure]
348 end 349 end
349 | EStrcat (e1, e2) => summarize d e1 @ summarize d e2 350 | EStrcat (e1, e2) => summarize d e1 @ summarize d e2
350 351
351 | EError (e, _) => summarize d e @ [Unsure] 352 | EError (e, _) => summarize d e @ [Unsure]
353 | EReturnBlob {blob = e1, mimeType = e2, ...} => summarize d e1 @ summarize d e2 @ [Unsure]
352 354
353 | EWrite e => summarize d e @ [WritePage] 355 | EWrite e => summarize d e @ [WritePage]
354 356
355 | ESeq (e1, e2) => summarize d e1 @ summarize d e2 357 | ESeq (e1, e2) => summarize d e1 @ summarize d e2
356 | ELet (_, _, e1, e2) => summarize d e1 @ summarize (d + 1) e2 358 | ELet (_, _, e1, e2) => summarize d e1 @ summarize (d + 1) e2