diff options
author | Adam Chlipala <adam@chlipala.net> | 2011-01-06 14:25:42 -0500 |
---|---|---|
committer | Adam Chlipala <adam@chlipala.net> | 2011-01-06 14:25:42 -0500 |
commit | d854f728c124bc985c4654ac39fbb84da644ad6c (patch) | |
tree | fa620106b21cda5516c17d6ab697326b9066c5fd /src/jscomp.sml | |
parent | a4befc4babeacecd8dc724a4ba4b97ef5a7e3151 (diff) |
Client-side redirects
Diffstat (limited to 'src/jscomp.sml')
-rw-r--r-- | src/jscomp.sml | 12 |
1 files changed, 11 insertions, 1 deletions
diff --git a/src/jscomp.sml b/src/jscomp.sml index 3b859814..dbbb83b2 100644 --- a/src/jscomp.sml +++ b/src/jscomp.sml @@ -875,7 +875,17 @@ fun process file = | ENextval _ => unsupported "Nextval" | ESetval _ => unsupported "Nextval" | EReturnBlob _ => unsupported "EReturnBlob" - | ERedirect _ => unsupported "ERedirect" + + | ERedirect (e, _) => + let + val (e, st) = jsE inner (e, st) + in + (strcat [str "{c:\"f\",f:\"redirect\",a:cons(", + e, + str ",null)}"], + st) + end + | EUnurlify (_, _, true) => unsupported "EUnurlify" | EUnurlify (e, t, false) => |