diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2008-10-21 09:50:19 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2008-10-21 09:50:19 -0400 |
| commit | f750e27d0e16da032227dbc71ecb7c63f5b77bc7 (patch) | |
| tree | c1cd77d3f82dedbd270450204612186c547a83e8 /src/cjrize.sml | |
| parent | 4f6178266ffe0bf5423878b46486b82c19a56810 (diff) | |
Binops; equality tested on int; lame 404 substitute
Diffstat (limited to 'src/cjrize.sml')
| -rw-r--r-- | src/cjrize.sml | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/src/cjrize.sml b/src/cjrize.sml index 606be3eb..05ceb0f9 100644 --- a/src/cjrize.sml +++ b/src/cjrize.sml @@ -249,6 +249,20 @@ fun cifyExp (eAll as (e, loc), sm) = Print.prefaces' [("Function", MonoPrint.p_exp MonoEnv.empty eAll)]; (dummye, sm)) + | L.EUnop (s, e1) => + let + val (e1, sm) = cifyExp (e1, sm) + in + ((L'.EUnop (s, e1), loc), sm) + end + | L.EBinop (s, e1, e2) => + let + val (e1, sm) = cifyExp (e1, sm) + val (e2, sm) = cifyExp (e2, sm) + in + ((L'.EBinop (s, e1, e2), loc), sm) + end + | L.ERecord xes => let val old_xts = map (fn (x, _, t) => (x, t)) xes |