diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2009-04-26 09:02:17 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2009-04-26 09:02:17 -0400 |
| commit | 38507c697c6b5f277cabc5eb61afff14ea02da07 (patch) | |
| tree | 0405c498a9fae8ff066ca8fdeafa8f85b0615dbe /src/mono_reduce.sml | |
| parent | d2274ae571370a5f0b88a6b0a5b264fde29378b9 (diff) | |
Returning a blob as page result
Diffstat (limited to 'src/mono_reduce.sml')
| -rw-r--r-- | src/mono_reduce.sml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/mono_reduce.sml b/src/mono_reduce.sml index c124a7b4..4eee1f79 100644 --- a/src/mono_reduce.sml +++ b/src/mono_reduce.sml @@ -79,6 +79,7 @@ fun impure (e, _) = | ECase (e, pes, _) => impure e orelse List.exists (fn (_, e) => impure e) pes | EError (e, _) => impure e + | EReturnBlob {blob = e1, mimeType = e2, ...} => impure e1 orelse impure e2 | EStrcat (e1, e2) => impure e1 orelse impure e2 @@ -349,6 +350,7 @@ fun reduce file = | EStrcat (e1, e2) => summarize d e1 @ summarize d e2 | EError (e, _) => summarize d e @ [Unsure] + | EReturnBlob {blob = e1, mimeType = e2, ...} => summarize d e1 @ summarize d e2 @ [Unsure] | EWrite e => summarize d e @ [WritePage] |