diff src/prepare.sml @ 387:7abb28e9d51f

Binops; equality tested on int; lame 404 substitute
author Adam Chlipala <adamc@hcoop.net>
date Tue, 21 Oct 2008 09:50:19 -0400
parents e976b187d73a
children 322c8620bbdf
line wrap: on
line diff
--- a/src/prepare.sml	Sun Oct 19 16:49:09 2008 -0400
+++ b/src/prepare.sml	Tue Oct 21 09:50:19 2008 -0400
@@ -88,6 +88,20 @@
             ((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) =>