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)