comparison src/jscomp.sml @ 649:96ebc6bdb5a0

Batch example
author Adam Chlipala <adamc@hcoop.net>
date Tue, 10 Mar 2009 15:17:23 -0400
parents fb2a0e76dcef
children bab524996fca
comparison
equal deleted inserted replaced
648:3c6d535d3d8b 649:96ebc6bdb5a0
42 (("Basis", "htmlifyFloat"), "ts"), 42 (("Basis", "htmlifyFloat"), "ts"),
43 (("Basis", "htmlifyInt"), "ts"), 43 (("Basis", "htmlifyInt"), "ts"),
44 (("Basis", "htmlifyString"), "eh"), 44 (("Basis", "htmlifyString"), "eh"),
45 (("Basis", "new_client_source"), "sc"), 45 (("Basis", "new_client_source"), "sc"),
46 (("Basis", "set_client_source"), "sv"), 46 (("Basis", "set_client_source"), "sv"),
47 (("Basis", "stringToFloat_error"), "pfl"),
48 (("Basis", "stringToInt_error"), "pi"),
47 (("Basis", "urlifyInt"), "ts"), 49 (("Basis", "urlifyInt"), "ts"),
48 (("Basis", "urlifyFloat"), "ts"), 50 (("Basis", "urlifyFloat"), "ts"),
49 (("Basis", "urlifyString"), "escape")] 51 (("Basis", "urlifyString"), "escape")]
50 52
51 structure FM = BinaryMapFn(struct 53 structure FM = BinaryMapFn(struct
891 | EClosure _ => unsupported "EClosure" 893 | EClosure _ => unsupported "EClosure"
892 | EQuery _ => unsupported "Query" 894 | EQuery _ => unsupported "Query"
893 | EDml _ => unsupported "DML" 895 | EDml _ => unsupported "DML"
894 | ENextval _ => unsupported "Nextval" 896 | ENextval _ => unsupported "Nextval"
895 | EUnurlify _ => unsupported "EUnurlify" 897 | EUnurlify _ => unsupported "EUnurlify"
896 | EJavaScript (_, e as (EAbs _, _), _) => 898 (*| EJavaScript (_, e as (EAbs _, _), _) =>
897 let 899 let
898 val (e, st) = jsE inner (e, st) 900 val (e, st) = jsE inner (e, st)
899 in 901 in
900 (strcat [str "\"cr(\"+ca(", 902 (strcat [str "\"cr(\"+ca(",
901 e, 903 e,
902 str ")+\")\""], 904 str ")+\")\""],
903 st) 905 st)
904 end 906 end*)
905 | EJavaScript (_, e, _) => 907 | EJavaScript (_, e, _) =>
906 let 908 let
907 val (e, st) = jsE inner (e, st) 909 val (e, st) = jsE inner (e, st)
908 in 910 in
909 (strcat [str "\"cr(\"+ca(function(){return ", 911 (strcat [str "\"cr(\"+ca(function(){return ",