Mercurial > urweb

comparison src/mono_opt.sml @ 2226:e10881cd92da

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Merge.
author Ziv Scully <ziv@mit.edu>
date Fri, 27 Mar 2015 11:26:06 -0400
parents 5709482a2afd e3a79066380d
children 8428c534913a
comparison
equal deleted inserted replaced
2225:6262dabc08d6 2226:e10881cd92da
631 EFfiApp ("Basis", "attrifyChar_w", [e]) 631 EFfiApp ("Basis", "attrifyChar_w", [e])
632 | EWrite (EFfiApp ("Basis", "str1", [e]), _) => 632 | EWrite (EFfiApp ("Basis", "str1", [e]), _) =>
633 EFfiApp ("Basis", "writec", [e]) 633 EFfiApp ("Basis", "writec", [e])
634 634
635 | EBinop (_, "+", (EPrim (Prim.Int n1), _), (EPrim (Prim.Int n2), _)) => EPrim (Prim.Int (Int64.+ (n1, n2))) 635 | EBinop (_, "+", (EPrim (Prim.Int n1), _), (EPrim (Prim.Int n2), _)) => EPrim (Prim.Int (Int64.+ (n1, n2)))
636 | EBinop (_, "-", (EPrim (Prim.Int n1), _), (EPrim (Prim.Int n2), _)) => EPrim (Prim.Int (Int64.- (n1, n2)))
637 | EBinop (_, "*", (EPrim (Prim.Int n1), _), (EPrim (Prim.Int n2), _)) => EPrim (Prim.Int (Int64.* (n1, n2)))
636 638
637 | _ => e 639 | _ => e
638 640
639 and optExp e = #1 (U.Exp.map {typ = typ, exp = exp} e) 641 and optExp e = #1 (U.Exp.map {typ = typ, exp = exp} e)
640 642