comparison jslib/urweb.js @ 597:d49d58a69877

Injected a non-special-case datatype
author Adam Chlipala <adamc@hcoop.net>
date Thu, 08 Jan 2009 10:30:14 -0500
parents 102e81d975e3
children 4c2c740c6931
comparison
equal deleted inserted replaced
596:d1ec54288b1a 597:d49d58a69877
39 x.innerHTML = s.v; 39 x.innerHTML = s.v;
40 document.body.appendChild(x); 40 document.body.appendChild(x);
41 s.h = cons(function() { x.innerHTML = s.v }, s.h); 41 s.h = cons(function() { x.innerHTML = s.v }, s.h);
42 } 42 }
43 43
44 function eh(x) {
45 return x.split("&").join("&amp;").split("<").join("&lt;").split(">").join("&gt;");
46 }
47
44 function ts(x) { return x.toString() } 48 function ts(x) { return x.toString() }
45 function bs(b) { return (b ? "True" : "False") } 49 function bs(b) { return (b ? "True" : "False") }
46 50
47 function pf() { alert("Pattern match failure") } 51 function pf() { alert("Pattern match failure") }
48 52