comparison src/jscomp.sml @ 1065:217eb87dde31

Basis.url and redirects
author Adam Chlipala <adamc@hcoop.net>
date Thu, 10 Dec 2009 13:32:09 -0500
parents eaba663fd6aa
children b2311dfb3158
comparison
equal deleted inserted replaced
1064:b89e3d8731ed 1065:217eb87dde31
868 | EQuery _ => unsupported "Query" 868 | EQuery _ => unsupported "Query"
869 | EDml _ => unsupported "DML" 869 | EDml _ => unsupported "DML"
870 | ENextval _ => unsupported "Nextval" 870 | ENextval _ => unsupported "Nextval"
871 | EUnurlify _ => unsupported "EUnurlify" 871 | EUnurlify _ => unsupported "EUnurlify"
872 | EReturnBlob _ => unsupported "EUnurlify" 872 | EReturnBlob _ => unsupported "EUnurlify"
873 | ERedirect _ => unsupported "ERedirect"
873 874
874 | ESignalReturn e => 875 | ESignalReturn e =>
875 let 876 let
876 val (e, st) = jsE inner (e, st) 877 val (e, st) = jsE inner (e, st)
877 in 878 in
1078 let 1079 let
1079 val (blob, st) = exp outer (blob, st) 1080 val (blob, st) = exp outer (blob, st)
1080 val (mimeType, st) = exp outer (mimeType, st) 1081 val (mimeType, st) = exp outer (mimeType, st)
1081 in 1082 in
1082 ((EReturnBlob {blob = blob, mimeType = mimeType, t = t}, loc), st) 1083 ((EReturnBlob {blob = blob, mimeType = mimeType, t = t}, loc), st)
1084 end
1085 | ERedirect (e, t) =>
1086 let
1087 val (e, st) = exp outer (e, st)
1088 in
1089 ((ERedirect (e, t), loc), st)
1083 end 1090 end
1084 1091
1085 | EWrite e => 1092 | EWrite e =>
1086 let 1093 let
1087 val (e, st) = exp outer (e, st) 1094 val (e, st) = exp outer (e, st)