comparison src/jscomp.sml @ 978:e1f3f1ea8cff

demo/increment works with interpretation
author Adam Chlipala <adamc@hcoop.net>
date Thu, 24 Sep 2009 10:42:59 -0400
parents 2ecf308772ba
children 134e8a4de36b
comparison
equal deleted inserted replaced
977:2ecf308772ba 978:e1f3f1ea8cff
910 ^ "\"},cons("), 910 ^ "\"},cons("),
911 e, 911 e,
912 str (",cons({c:\"c\",v:function(s){var t=s.split(\"/\");var i=0;return " 912 str (",cons({c:\"c\",v:function(s){var t=s.split(\"/\");var i=0;return "
913 ^ unurl ^ "}},cons("), 913 ^ unurl ^ "}},cons("),
914 ek, 914 ek,
915 str (",cons(" 915 str (",cons({c:\"c\",v:"
916 ^ (case eff of 916 ^ (case eff of
917 ReadCookieWrite => "true" 917 ReadCookieWrite => "true"
918 | _ => "false") 918 | _ => "false")
919 ^ ",null)))))}")], 919 ^ "},null)))))}")],
920 st) 920 st)
921 end 921 end
922 922
923 | ERecv (e, ek, t) => 923 | ERecv (e, ek, t) =>
924 let 924 let
938 | ESleep (e, ek) => 938 | ESleep (e, ek) =>
939 let 939 let
940 val (e, st) = jsE inner (e, st) 940 val (e, st) = jsE inner (e, st)
941 val (ek, st) = jsE inner (ek, st) 941 val (ek, st) = jsE inner (ek, st)
942 in 942 in
943 (strcat [str "{c:\"f\",f:window.setTimeout,a:cons(", 943 (strcat [str "{c:\"f\",f:sl,a:cons(",
944 e,
945 str ",cons(",
944 ek, 946 ek,
945 str ",cons(",
946 e,
947 str ",null))}"], 947 str ",null))}"],
948 st) 948 st)
949 end 949 end
950 end 950 end
951 in 951 in