A little clean-up.

Author: dvanhorn

langs/dupe/compile.rkt

@@ -33,7 +33,7 @@
   (let ((l1 (gensym 'if))
         (l2 (gensym 'if)))
     (seq (compile-e e1)
-         (Cmp rax val-false)
+         (Cmp rax (value->bits #f))
          (Je l1)
          (compile-e e2)
          (Jmp l2)

langs/dupe/interp-bits.rkt

@@ -1,6 +1,6 @@
 #lang racket
 (provide interp interp-bits)
-(require "ast.rkt" "types.rkt")
+(require "ast.rkt" "types.rkt" "interp-prim-bits.rkt")
 
 ;; Expr -> Value
 (define (interp e)
@@ -11,16 +11,9 @@
   (match e
     [(Int i)  (value->bits i)]
     [(Bool b) (value->bits b)]
-    [(Prim1 'add1 e0)
-     (+ (interp-bits e0) (value->bits 1))]
-    [(Prim1 'sub1 e0)
-     (- (interp-bits e0) (value->bits 1))]
-    [(Prim1 'zero? e)
-     (if (zero? (interp-bits e))
-         val-true
-         val-false)]
+    [(Prim1 p e)
+     (interp-prim1-bits p (interp-bits e))]
     [(If e1 e2 e3)
      (if (= (interp-bits e1) val-false)
          (interp-bits e3)
          (interp-bits e2))]))
-

langs/dupe/interp-prim-bits.rkt

@@ -0,0 +1,10 @@
+#lang racket
+(require "types.rkt")
+(provide interp-prim1-bits)
+
+;; Op Bits -> Bits
+(define (interp-prim1-bits op b)
+  (match op
+    ['add1  (+ b (value->bits 1))]
+    ['sub1  (- b (value->bits 1))]
+    ['zero? (= b (value->bits 0))]))