aboutsummaryrefslogtreecommitdiffhomepage
path: root/src/prepare.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
commitb04e123d0e1159d431aae00c3e8f1cc4a1b95684 (patch)
tree0f8fb3c5e3f1278843704633e53f27ec20e49b06 /src/prepare.sml
parent14163f6e6e160694eff3d409ca3cf0b8b76c4a3a (diff)
Basis.url and redirects
Diffstat (limited to 'src/prepare.sml')
-rw-r--r--src/prepare.sml7
1 files changed, 7 insertions, 0 deletions
diff --git a/src/prepare.sml b/src/prepare.sml
index e7afc77f..58344a1f 100644
--- a/src/prepare.sml
+++ b/src/prepare.sml
@@ -202,6 +202,13 @@ fun prepExp (e as (_, loc), st) =
((EReturnBlob {blob = blob, mimeType = mimeType, t = t}, loc), st)
end
+ | ERedirect (e, t) =>
+ let
+ val (e, st) = prepExp (e, st)
+ in
+ ((ERedirect (e, t), loc), st)
+ end
+
| EWrite e =>
let
val (e, st) = prepExp (e, st)