Mercurial > urweb
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 |