comparison src/jscomp.sml @ 1073:b2311dfb3158

Initializers and setval
author Adam Chlipala <adamc@hcoop.net>
date Sun, 13 Dec 2009 14:20:41 -0500
parents 217eb87dde31
children e1d738870086
comparison
equal deleted inserted replaced
1072:9001966ae1c8 1073:b2311dfb3158
866 | EWrite _ => unsupported "EWrite" 866 | EWrite _ => unsupported "EWrite"
867 | EClosure _ => unsupported "EClosure" 867 | EClosure _ => unsupported "EClosure"
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 | ESetval _ => unsupported "Nextval"
871 | EUnurlify _ => unsupported "EUnurlify" 872 | EUnurlify _ => unsupported "EUnurlify"
872 | EReturnBlob _ => unsupported "EUnurlify" 873 | EReturnBlob _ => unsupported "EUnurlify"
873 | ERedirect _ => unsupported "ERedirect" 874 | ERedirect _ => unsupported "ERedirect"
874 875
875 | ESignalReturn e => 876 | ESignalReturn e =>
1139 | ENextval e => 1140 | ENextval e =>
1140 let 1141 let
1141 val (e, st) = exp outer (e, st) 1142 val (e, st) = exp outer (e, st)
1142 in 1143 in
1143 ((ENextval e, loc), st) 1144 ((ENextval e, loc), st)
1145 end
1146 | ESetval (e1, e2) =>
1147 let
1148 val (e1, st) = exp outer (e1, st)
1149 val (e2, st) = exp outer (e2, st)
1150 in
1151 ((ESetval (e1, e2), loc), st)
1144 end 1152 end
1145 1153
1146 | EUnurlify (e, t) => 1154 | EUnurlify (e, t) =>
1147 let 1155 let
1148 val (e, st) = exp outer (e, st) 1156 val (e, st) = exp outer (e, st)