From d854f728c124bc985c4654ac39fbb84da644ad6c Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Thu, 6 Jan 2011 14:25:42 -0500
Subject: Client-side redirects

---
 src/jscomp.sml | 12 +++++++++++-
 1 file changed, 11 insertions(+), 1 deletion(-)

(limited to 'src')

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) =>
-- 
cgit v1.2.3