Add void to op0 in parser.

Author: dvanhorn

langs/evildoer/test/all.rkt

@@ -53,7 +53,12 @@
   (check-equal? (run '(char? #t)) #f)
   (check-equal? (run '(char? 8)) #f)
   (check-equal? (run '(char->integer #\a)) (char->integer #\a))
-  (check-equal? (run '(integer->char 955)) #\λ))
+  (check-equal? (run '(integer->char 955)) #\λ)
+
+  ;; Evildoer examples
+  (check-equal? (run '(void)) (void))
+  (check-equal? (run '(begin 1 2)) 2)
+  (check-equal? (run '(eof-object? (void))) #f))
 
 (test-runner (λ (e) (interp (parse e))))
 (test-runner (λ (e) (bits->value (asm-interp (compile (parse e))))))

langs/extort/parse.rkt

@@ -18,7 +18,7 @@
 
 ;; Any -> Boolean
 (define (op0? x)
-  (memq x '(read-byte peek-byte)))
+  (memq x '(read-byte peek-byte void)))
 
 ;; Any -> Boolean
 (define (op1? x)

langs/extort/test/all.rkt

@@ -56,6 +56,12 @@
   (check-equal? (run '(char? 8)) #f)
   (check-equal? (run '(char->integer #\a)) (char->integer #\a))
   (check-equal? (run '(integer->char 955)) #\λ)
+
+  ;; Evildoer examples
+  (check-equal? (run '(void)) (void))
+  (check-equal? (run '(begin 1 2)) 2)
+  (check-equal? (run '(eof-object? (void))) #f)
+
   ;; Extort examples
   (check-equal? (run '(add1 #f)) 'err)
   (check-equal? (run '(sub1 #f)) 'err)

langs/fraud/interp.rkt

@@ -13,6 +13,14 @@
 
 ;; type Env = (Listof (List Id Value))
 
+;; (list (list 'q 10) (list 'x 5) (list 'z #f) (list 'q 2))
+#;
+(let ((q 2))
+  (let ((z #f))
+    (let ((x 5))
+      (let ((q 10))
+        q))))
+
 ;; Expr -> Answer
 (define (interp e)
   (interp-env e '()))

langs/fraud/parse.rkt

@@ -23,7 +23,7 @@
 
 ;; Any -> Boolean
 (define (op0? x)
-  (memq x '(read-byte peek-byte)))
+  (memq x '(read-byte peek-byte void)))
 (define (op1? x)
   (memq x '(add1 sub1 zero? char? integer->char char->integer
                  write-byte eof-object?)))

langs/fraud/test/test-runner.rkt

@@ -44,6 +44,12 @@
   (check-equal? (run '(char? 8)) #f)
   (check-equal? (run '(char->integer #\a)) (char->integer #\a))
   (check-equal? (run '(integer->char 955)) #\λ)
+
+  ;; Evildoer examples
+  (check-equal? (run '(void)) (void))
+  (check-equal? (run '(begin 1 2)) 2)
+  (check-equal? (run '(eof-object? (void))) #f)
+
   ;; Extort examples
   (check-equal? (run '(add1 #f)) 'err)
   (check-equal? (run '(sub1 #f)) 'err)

langs/hoax/test/test-runner.rkt

@@ -44,6 +44,12 @@
   (check-equal? (run '(char? 8)) #f)
   (check-equal? (run '(char->integer #\a)) (char->integer #\a))
   (check-equal? (run '(integer->char 955)) #\λ)
+
+  ;; Evildoer examples
+  (check-equal? (run '(void)) (void))
+  (check-equal? (run '(begin 1 2)) 2)
+  (check-equal? (run '(eof-object? (void))) #f)
+
   ;; Extort examples
   (check-equal? (run '(add1 #f)) 'err)
   (check-equal? (run '(sub1 #f)) 'err)

langs/hustle/test/all.rkt

@@ -48,6 +48,7 @@
   (check-equal? (run '(if  0 3 4)) 3)
   (check-equal? (run '(zero? 4)) #f)
   (check-equal? (run '(zero? 0)) #t)
+
   ;; Dodger examples
   (check-equal? (run #\a) #\a)
   (check-equal? (run #\b) #\b)
@@ -56,6 +57,12 @@
   (check-equal? (run '(char? 8)) #f)
   (check-equal? (run '(char->integer #\a)) (char->integer #\a))
   (check-equal? (run '(integer->char 955)) #\λ)
+
+  ;; Evildoer examples
+  (check-equal? (run '(void)) (void))
+  (check-equal? (run '(begin 1 2)) 2)
+  (check-equal? (run '(eof-object? (void))) #f)
+
   ;; Extort examples
   (check-equal? (run '(add1 #f)) 'err)
   (check-equal? (run '(sub1 #f)) 'err)
@@ -66,6 +73,7 @@
   (check-equal? (run '(write-byte #f)) 'err)
   (check-equal? (run '(write-byte -1)) 'err)
   (check-equal? (run '(write-byte 256)) 'err)
+
   ;; Fraud examples
   (check-equal? (run '(let ((x 7)) x)) 7)
   (check-equal? (run '(let ((x 7)) 2)) 2)