summaryrefslogtreecommitdiff
path: root/src/mono_reduce.sml
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2009-12-10 13:32:09 -0500
committerGravatar Adam Chlipala <adamc@hcoop.net>2009-12-10 13:32:09 -0500
commit7cfa621d957e18909cddab064955dc2ab6ad54be (patch)
tree0f8fb3c5e3f1278843704633e53f27ec20e49b06 /src/mono_reduce.sml
parentb084552dfb0f1878ef6ad7319dfe728b887d2bd0 (diff)
Basis.url and redirects
Diffstat (limited to 'src/mono_reduce.sml')
-rw-r--r--src/mono_reduce.sml2
1 files changed, 2 insertions, 0 deletions
diff --git a/src/mono_reduce.sml b/src/mono_reduce.sml
index 04cd199e..a15ce34b 100644
--- a/src/mono_reduce.sml
+++ b/src/mono_reduce.sml
@@ -98,6 +98,7 @@ fun impure (e, _) =
| EError (e, _) => impure e
| EReturnBlob {blob = e1, mimeType = e2, ...} => impure e1 orelse impure e2
+ | ERedirect (e, _) => impure e
| EStrcat (e1, e2) => impure e1 orelse impure e2
@@ -429,6 +430,7 @@ fun reduce file =
| EError (e, _) => summarize d e @ [Unsure]
| EReturnBlob {blob = e1, mimeType = e2, ...} => summarize d e1 @ summarize d e2 @ [Unsure]
+ | ERedirect (e, _) => summarize d e @ [Unsure]
| EWrite e => summarize d e @ [WritePage]