summaryrefslogtreecommitdiff
path: root/src/prepare.sml
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2008-10-21 09:50:19 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2008-10-21 09:50:19 -0400
commitf750e27d0e16da032227dbc71ecb7c63f5b77bc7 (patch)
treec1cd77d3f82dedbd270450204612186c547a83e8 /src/prepare.sml
parent4f6178266ffe0bf5423878b46486b82c19a56810 (diff)
Binops; equality tested on int; lame 404 substitute
Diffstat (limited to 'src/prepare.sml')
-rw-r--r--src/prepare.sml14
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) =>