Cleaning up Knock.

Author: dvanhorn

langs/knock/ast.rkt

@@ -33,7 +33,7 @@
 ;;           | 'vector? | vector-length
 ;;           | 'string? | string-length
 ;; type Op2  = '+ | '- | '< | '=
-;;           | 'cons
+;;           | 'cons | 'eq?
 ;;           | 'make-vector | 'vector-ref
 ;;           | 'make-string | 'string-ref
 ;; type Op3  = 'vector-set!

langs/knock/interp.rkt

@@ -36,7 +36,7 @@
     [(Eof)    eof]
     [(Empty)  '()]
     [(Var x)  (lookup r x)]
-    [(Str s)  (string-copy s)]
+    [(Str s)  s]
     [(Prim0 'void) (void)]
     [(Prim0 'read-byte) (read-byte)]
     [(Prim0 'peek-byte) (peek-byte)]

langs/knock/parse.rkt

@@ -72,11 +72,7 @@
     [(list 'cons p1 p2)
      (PCons (parse-pat p1) (parse-pat p2))]
     [(list 'and p1 p2)
-     (PAnd (parse-pat p1) (parse-pat p2))]
-    [(list 'list)
-     (PLit '())]
-    [(cons 'list (cons p ps))
-     (PCons (parse-pat p) (parse-pat (cons 'list ps)))]))
+     (PAnd (parse-pat p1) (parse-pat p2))]))
 
 (define op0
   '(read-byte peek-byte void))

langs/knock/test/test-runner.rkt

@@ -231,15 +231,7 @@
   (check-equal? (run '(match (box 1) [(box 2) 0] [_ 1]))
                 1)
   (check-equal? (run '(match (box 1) [(box x) x] [_ 2]))
-                1)
-  (check-equal? (run '(match '() [(list) 1] [_ 2]))
-                1)
-  (check-equal? (run '(match '() [(list 1) 1] [_ 2]))
-                2)
-  (check-equal? (run '(match (cons 1 '()) [(list 1) 1] [_ 2]))
-                1)
-  (check-equal? (run '(match (cons 1 (cons 2 (cons 3 '()))) [(list x y z) z] [_ 2]))
-                3))
+                1))
 
 (define (test-runner-io run)
   ;; Evildoer examples