Mercurial > urweb
comparison src/jscomp.sml @ 1385:449a12b82db7
Client-side redirects
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Thu, 06 Jan 2011 14:25:42 -0500 |
parents | 02fc16faecf3 |
children | 82b204f20026 |
comparison
equal
deleted
inserted
replaced
1384:86d23010ea74 | 1385:449a12b82db7 |
---|---|
873 | EQuery _ => unsupported "Query" | 873 | EQuery _ => unsupported "Query" |
874 | EDml _ => unsupported "DML" | 874 | EDml _ => unsupported "DML" |
875 | ENextval _ => unsupported "Nextval" | 875 | ENextval _ => unsupported "Nextval" |
876 | ESetval _ => unsupported "Nextval" | 876 | ESetval _ => unsupported "Nextval" |
877 | EReturnBlob _ => unsupported "EReturnBlob" | 877 | EReturnBlob _ => unsupported "EReturnBlob" |
878 | ERedirect _ => unsupported "ERedirect" | 878 |
879 | ERedirect (e, _) => | |
880 let | |
881 val (e, st) = jsE inner (e, st) | |
882 in | |
883 (strcat [str "{c:\"f\",f:\"redirect\",a:cons(", | |
884 e, | |
885 str ",null)}"], | |
886 st) | |
887 end | |
888 | |
879 | EUnurlify (_, _, true) => unsupported "EUnurlify" | 889 | EUnurlify (_, _, true) => unsupported "EUnurlify" |
880 | 890 |
881 | EUnurlify (e, t, false) => | 891 | EUnurlify (e, t, false) => |
882 let | 892 let |
883 val (e, st) = jsE inner (e, st) | 893 val (e, st) = jsE inner (e, st) |