diff --git a/iniquity-plus/assert.rkt b/iniquity-plus/assert.rkt index de6da68..8327110 100644 --- a/iniquity-plus/assert.rkt +++ b/iniquity-plus/assert.rkt @@ -22,13 +22,8 @@ ;; Register -> Asm - (define assert-char (assert-type mask-char type-char)) - - - - (define assert-box (assert-type ptr-mask type-box)) (define assert-cons diff --git a/iniquity-plus/compile-stdin.rkt b/iniquity-plus/compile-stdin.rkt index baf2841..ed18b5e 100644 --- a/iniquity-plus/compile-stdin.rkt +++ b/iniquity-plus/compile-stdin.rkt @@ -10,6 +10,5 @@ ;; emit asm code on stdout (define (main) (read-line) ; ignore #lang racket line - (asm-display (compile - (apply parse-closed (read-all))))) + (asm-display (compile (apply parse-closed (read-all))))) diff --git a/iniquity-plus/interp-stdin.rkt b/iniquity-plus/interp-stdin.rkt index 22ca0cb..df745af 100644 --- a/iniquity-plus/interp-stdin.rkt +++ b/iniquity-plus/interp-stdin.rkt @@ -9,6 +9,5 @@ ;; print result on stdout (define (main) (read-line) ; ignore #lang racket line - (println (interp - (apply parse-closed (read-all))))) + (println (interp (apply parse-closed (read-all))))) diff --git a/iniquity-plus/test/parse.rkt b/iniquity-plus/test/parse.rkt index 5c3332f..0c4cfd6 100644 --- a/iniquity-plus/test/parse.rkt +++ b/iniquity-plus/test/parse.rkt @@ -9,7 +9,8 @@ (begin ; Abscond (check-equal? (parse 42) (p (Lit 42))) (check-equal? (parse -1) (p (Lit -1)))) -(check-equal? (parse '(add1 42)) (p (Prim1 'add1 (Lit 42)))) +(begin ; Blackmail + (check-equal? (parse '(add1 42)) (p (Prim1 'add1 (Lit 42))))) (begin ; Dupe (check-equal? (parse '(if (zero? 1) 2 3)) (p (If (Prim1 'zero? (Lit 1)) (Lit 2) (Lit 3)))) diff --git a/knock-plus/assert.rkt b/knock-plus/assert.rkt index de6da68..8327110 100644 --- a/knock-plus/assert.rkt +++ b/knock-plus/assert.rkt @@ -22,13 +22,8 @@ ;; Register -> Asm - (define assert-char (assert-type mask-char type-char)) - - - - (define assert-box (assert-type ptr-mask type-box)) (define assert-cons diff --git a/knock-plus/compile-stdin.rkt b/knock-plus/compile-stdin.rkt index baf2841..ed18b5e 100644 --- a/knock-plus/compile-stdin.rkt +++ b/knock-plus/compile-stdin.rkt @@ -10,6 +10,5 @@ ;; emit asm code on stdout (define (main) (read-line) ; ignore #lang racket line - (asm-display (compile - (apply parse-closed (read-all))))) + (asm-display (compile (apply parse-closed (read-all))))) diff --git a/knock-plus/interp-stdin.rkt b/knock-plus/interp-stdin.rkt index 22ca0cb..df745af 100644 --- a/knock-plus/interp-stdin.rkt +++ b/knock-plus/interp-stdin.rkt @@ -9,6 +9,5 @@ ;; print result on stdout (define (main) (read-line) ; ignore #lang racket line - (println (interp - (apply parse-closed (read-all))))) + (println (interp (apply parse-closed (read-all))))) diff --git a/knock-plus/parse.rkt b/knock-plus/parse.rkt index f801be9..eb5f19d 100644 --- a/knock-plus/parse.rkt +++ b/knock-plus/parse.rkt @@ -1,6 +1,5 @@ #lang racket -(provide parse parse-closed parse-e parse-define - parse-pattern) +(provide parse parse-closed parse-e parse-define parse-pattern) (require "ast.rkt") ;; [Listof S-Expr] -> Prog diff --git a/knock-plus/test/parse.rkt b/knock-plus/test/parse.rkt index 6c72bbb..7ec85c3 100644 --- a/knock-plus/test/parse.rkt +++ b/knock-plus/test/parse.rkt @@ -9,7 +9,8 @@ (begin ; Abscond (check-equal? (parse 42) (p (Lit 42))) (check-equal? (parse -1) (p (Lit -1)))) -(check-equal? (parse '(add1 42)) (p (Prim1 'add1 (Lit 42)))) +(begin ; Blackmail + (check-equal? (parse '(add1 42)) (p (Prim1 'add1 (Lit 42))))) (begin ; Dupe (check-equal? (parse '(if (zero? 1) 2 3)) (p (If (Prim1 'zero? (Lit 1)) (Lit 2) (Lit 3))))