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/prepare.sml | |
parent | 4f6178266ffe0bf5423878b46486b82c19a56810 (diff) |
Binops; equality tested on int; lame 404 substitute
Diffstat (limited to 'src/prepare.sml')
-rw-r--r-- | src/prepare.sml | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/src/prepare.sml b/src/prepare.sml index 3c5aa2aa..6bf929f0 100644 --- a/src/prepare.sml +++ b/src/prepare.sml @@ -88,6 +88,20 @@ fun prepExp (e as (_, loc), sns) = ((EApp (e1, es), loc), sns) end + | EUnop (s, e1) => + let + val (e1, sns) = prepExp (e1, sns) + in + ((EUnop (s, e1), loc), sns) + end + | EBinop (s, e1, e2) => + let + val (e1, sns) = prepExp (e1, sns) + val (e2, sns) = prepExp (e2, sns) + in + ((EBinop (s, e1, e2), loc), sns) + end + | ERecord (rn, xes) => let val (xes, sns) = ListUtil.foldlMap (fn ((x, e), sns) => |