Mercurial > urweb

comparison src/mono_opt.sml @ 1360:02fc16faecf3

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
[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