Merge pull request #33 from dvanhorn/next

Some Hustle tests.

Author: dvanhorn

www/notes/hustle/test/compile.rkt

@@ -0,0 +1,52 @@
+#lang racket
+(require "../compile.rkt" "../asm/interp.rkt" rackunit)
+
+(define (run e)
+  (asm-interp (compile e)))
+
+(check-equal? (run 7) 7)
+(check-equal? (run -8) -8)
+(check-equal? (run '(add1 (add1 7))) 9)
+(check-equal? (run '(add1 (sub1 7))) 7)
+
+;; Con examples
+(check-equal? (run '(if (zero? 0) 1 2)) 1)
+(check-equal? (run '(if (zero? 1) 1 2)) 2)
+(check-equal? (run '(if (zero? -7) 1 2)) 2)
+(check-equal? (run '(if (zero? 0)
+                        (if (zero? 1) 1 2)
+                        7))
+              2)
+(check-equal? (run '(if (zero? (if (zero? 0) 1 0))
+                        (if (zero? 1) 1 2)
+                        7))
+              7)
+
+;; Fraud examples
+(check-equal? (run '(let ((x 7)) x)) 7)
+(check-equal? (run '(let ((x 7)) 2)) 2)
+(check-equal? (run '(let ((x 7)) (add1 x))) 8)
+(check-equal? (run '(let ((x (add1 7))) x)) 8)
+(check-equal? (run '(let ((x 7)) (let ((y 2)) x))) 7)
+(check-equal? (run '(let ((x 7)) (let ((x 2)) x))) 2)
+(check-equal? (run '(let ((x 7)) (let ((x (add1 x))) x))) 8)
+
+(check-equal? (run '(let ((x 0))
+                      (if (zero? x) 7 8)))
+              7)
+(check-equal? (run '(let ((x 1))
+                      (add1 (if (zero? x) 7 8))))
+              9)
+
+;; Hustle example
+(check-equal? (run '(box 8)) (box 8))
+(check-equal? (run '(unbox (box 8))) 8)
+(check-equal? (run '(box (box 8))) (box (box 8)))
+(check-equal? (run '(unbox (unbox (box (box 8))))) 8)
+(check-equal? (run '(cons 3 4)) (cons 3 4))
+(check-equal? (run '(car (cons 3 4))) 3)
+(check-equal? (run '(cdr (cons 3 4))) 4)
+(check-equal? (run '(let ((x (box 3))) (unbox x))) 3)
+(check-equal? (run '(unbox (let ((x (box 3))) x))) 3)
+(check-equal? (run '(unbox (if (zero? 0) (box 3) (box 4)))) 3)
+(check-equal? (run '(cons 1 (cons 2 (cons 3 '())))) (list 1 2 3))