Mercurial > urweb
comparison src/mono_opt.sml @ 2226:e10881cd92da
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 |