comparison lib/js/urweb.js @ 1360:02fc16faecf3

[De]serialization of times in JavaScript; proper integer division in JavaScript; Basis.crypt; Top.mkRead'; more aggressive Mono-level inlining, for values of function-y types
author Adam Chlipala <adam@chlipala.net>
date Thu, 23 Dec 2010 17:46:40 -0500
parents 0d8bd8ae8417
children 449a12b82db7
comparison
equal deleted inserted replaced
1359:e525ad571e15 1360:02fc16faecf3
17 function eq(x, y) { return x == y; } 17 function eq(x, y) { return x == y; }
18 function plus(x, y) { return x + y; } 18 function plus(x, y) { return x + y; }
19 function minus(x, y) { return x - y; } 19 function minus(x, y) { return x - y; }
20 function times(x, y) { return x * y; } 20 function times(x, y) { return x * y; }
21 function div(x, y) { return x / y; } 21 function div(x, y) { return x / y; }
22 function divInt(x, y) { var n = x / y; return n < 0 ? Math.ceil(n) : Math.floor(n); }
22 function mod(x, y) { return x % y; } 23 function mod(x, y) { return x % y; }
24 function modInt(x, y) { var n = x % y; return n < 0 ? Math.ceil(n) : Math.floor(n); }
23 function lt(x, y) { return x < y; } 25 function lt(x, y) { return x < y; }
24 function le(x, y) { return x <= y; } 26 function le(x, y) { return x <= y; }
25 27
26 // Characters 28 // Characters
27 29