comparison src/jscomp.sml @ 764:7f653298dd66

C FFI compiler options
author Adam Chlipala <adamc@hcoop.net>
date Thu, 30 Apr 2009 17:15:14 -0400
parents f7e2026dd5ae
children a28982de5645
comparison
equal deleted inserted replaced
763:af41ec2f302a 764:7f653298dd66
963 let 963 let
964 val (e, st) = jsE inner (e, st) 964 val (e, st) = jsE inner (e, st)
965 val (ek, st) = jsE inner (ek, st) 965 val (ek, st) = jsE inner (ek, st)
966 val (unurl, st) = unurlifyExp loc (t, st) 966 val (unurl, st) = unurlifyExp loc (t, st)
967 in 967 in
968 (strcat [str ("rc(cat(\"" ^ !Monoize.urlPrefix ^ "\","), 968 (strcat [str ("rc(cat(\"" ^ Settings.getUrlPrefix () ^ "\","),
969 e, 969 e,
970 str ("), function(s){var t=s.split(\"/\");var i=0;return " 970 str ("), function(s){var t=s.split(\"/\");var i=0;return "
971 ^ unurl ^ "},"), 971 ^ unurl ^ "},"),
972 ek, 972 ek,
973 str ("," 973 str (","