diff options
author | Adam Chlipala <adam@chlipala.net> | 2015-02-16 14:52:56 -0500 |
---|---|---|
committer | Adam Chlipala <adam@chlipala.net> | 2015-02-16 14:52:56 -0500 |
commit | e998c88f705a7e4a731d8a4135d59717bd0331a4 (patch) | |
tree | 8197b19c5bac73381d38f3992eb4fc2b291ad24d /src/mono_opt.sml | |
parent | ef750aab36ed77ad0eb53b7143de40a64765bf43 (diff) |
Evaluate minus and times in MonoOpt
Diffstat (limited to 'src/mono_opt.sml')
-rw-r--r-- | src/mono_opt.sml | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/mono_opt.sml b/src/mono_opt.sml index 2d40e0f0..04ef7f50 100644 --- a/src/mono_opt.sml +++ b/src/mono_opt.sml @@ -630,7 +630,9 @@ fun exp e = EFfiApp ("Basis", "writec", [e]) | EBinop (_, "+", (EPrim (Prim.Int n1), _), (EPrim (Prim.Int n2), _)) => EPrim (Prim.Int (Int64.+ (n1, n2))) - + | EBinop (_, "-", (EPrim (Prim.Int n1), _), (EPrim (Prim.Int n2), _)) => EPrim (Prim.Int (Int64.- (n1, n2))) + | EBinop (_, "*", (EPrim (Prim.Int n1), _), (EPrim (Prim.Int n2), _)) => EPrim (Prim.Int (Int64.* (n1, n2))) + | _ => e and optExp e = #1 (U.Exp.map {typ = typ, exp = exp} e) |