comparison src/jscomp.sml @ 726:6fc633d990e7

onError
author Adam Chlipala <adamc@hcoop.net>
date Thu, 16 Apr 2009 12:36:01 -0400
parents a5d8b470d7ca
children 7c6b6c3c7b79
comparison
equal deleted inserted replaced
725:4c5796512edc 726:6fc633d990e7
50 (("Basis", "urlifyFloat"), "ts"), 50 (("Basis", "urlifyFloat"), "ts"),
51 (("Basis", "urlifyString"), "uf"), 51 (("Basis", "urlifyString"), "uf"),
52 (("Basis", "recv"), "rv"), 52 (("Basis", "recv"), "rv"),
53 (("Basis", "strcat"), "cat"), 53 (("Basis", "strcat"), "cat"),
54 (("Basis", "intToString"), "ts"), 54 (("Basis", "intToString"), "ts"),
55 (("Basis", "floatToString"), "ts")] 55 (("Basis", "floatToString"), "ts"),
56 (("Basis", "onError"), "onError")]
56 57
57 structure FM = BinaryMapFn(struct 58 structure FM = BinaryMapFn(struct
58 type ord_key = string * string 59 type ord_key = string * string
59 fun compare ((m1, x1), (m2, x2)) = 60 fun compare ((m1, x1), (m2, x2)) =
60 Order.join (String.compare (m1, m2), 61 Order.join (String.compare (m1, m2),
859 860
860 | EError (e, _) => 861 | EError (e, _) =>
861 let 862 let
862 val (e, st) = jsE inner (e, st) 863 val (e, st) = jsE inner (e, st)
863 in 864 in
864 (strcat [str "alert(cat(\"ERROR: \",", e, str "))"], 865 (strcat [str "er(", e, str ")"],
865 st) 866 st)
866 end 867 end
867 868
868 | EWrite e => 869 | EWrite e =>
869 let 870 let