Mercurial > urweb
comparison src/mono_opt.sml @ 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 | 32c8a3509369 |
children | 6e6f1643c4e9 |
comparison
equal
deleted
inserted
replaced
1359:e525ad571e15 | 1360:02fc16faecf3 |
---|---|
534 | EFfiApp ("Basis", "attrifyString", [(EFfiApp ("Basis", "str1", [e]), _)]) => | 534 | EFfiApp ("Basis", "attrifyString", [(EFfiApp ("Basis", "str1", [e]), _)]) => |
535 EFfiApp ("Basis", "attrifyChar", [e]) | 535 EFfiApp ("Basis", "attrifyChar", [e]) |
536 | EFfiApp ("Basis", "attrifyString_w", [(EFfiApp ("Basis", "str1", [e]), _)]) => | 536 | EFfiApp ("Basis", "attrifyString_w", [(EFfiApp ("Basis", "str1", [e]), _)]) => |
537 EFfiApp ("Basis", "attrifyChar_w", [e]) | 537 EFfiApp ("Basis", "attrifyChar_w", [e]) |
538 | 538 |
539 | EBinop ("+", (EPrim (Prim.Int n1), _), (EPrim (Prim.Int n2), _)) => EPrim (Prim.Int (Int64.+ (n1, n2))) | 539 | EBinop (_, "+", (EPrim (Prim.Int n1), _), (EPrim (Prim.Int n2), _)) => EPrim (Prim.Int (Int64.+ (n1, n2))) |
540 | 540 |
541 | _ => e | 541 | _ => e |
542 | 542 |
543 and optExp e = #1 (U.Exp.map {typ = typ, exp = exp} e) | 543 and optExp e = #1 (U.Exp.map {typ = typ, exp = exp} e) |
544 | 544 |