comparison src/jscomp.sml @ 977:2ecf308772ba

Might have fixed demo/listEdit
author Adam Chlipala <adamc@hcoop.net>
date Thu, 24 Sep 2009 07:52:57 -0400
parents 68eda5b0636d
children e1f3f1ea8cff
comparison
equal deleted inserted replaced
976:68eda5b0636d 977:2ecf308772ba
908 (strcat [str ("{c:\"f\",f:rc,a:cons({c:\"c\",v:\"" 908 (strcat [str ("{c:\"f\",f:rc,a:cons({c:\"c\",v:\""
909 ^ Settings.getUrlPrefix () 909 ^ Settings.getUrlPrefix ()
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({c:\"!\",e:"), 913 ^ unurl ^ "}},cons("),
914 ek, 914 ek,
915 str ("},cons(" 915 str (",cons("
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)
927 val (unurl, st) = unurlifyExp loc (t, st) 927 val (unurl, st) = unurlifyExp loc (t, st)
928 in 928 in
929 (strcat [str ("{c:\"f\",f:rv,a:cons("), 929 (strcat [str ("{c:\"f\",f:rv,a:cons("),
930 e, 930 e,
931 str (",cons({c:\"c\",v:function(s){var t=s.split(\"/\");var i=0;return " 931 str (",cons({c:\"c\",v:function(s){var t=s.split(\"/\");var i=0;return "
932 ^ unurl ^ "}},cons({c:\"!\",e:"), 932 ^ unurl ^ "}},cons("),
933 ek, 933 ek,
934 str ("},null)))}")], 934 str (",null)))}")],
935 st) 935 st)
936 end 936 end
937 937
938 | ESleep (e, ek) => 938 | ESleep (e, ek) =>
939 let 939 let