Code cleanup
This commit is contained in:
@@ -43,13 +43,6 @@
|
|||||||
(deref (var-binding exp))
|
(deref (var-binding exp))
|
||||||
exp))
|
exp))
|
||||||
|
|
||||||
;; (define-syntax deref
|
|
||||||
;; (syntax-rules ()
|
|
||||||
;; [(_ exp)
|
|
||||||
;; (begin (while (and (var? exp) (bound? exp))
|
|
||||||
;; (set! exp (var-binding exp)))
|
|
||||||
;; exp)]))
|
|
||||||
|
|
||||||
(define (rename-vars x)
|
(define (rename-vars x)
|
||||||
"Assign a new name to all non-literals.
|
"Assign a new name to all non-literals.
|
||||||
Accepts clauses with both vars and symbolic variables"
|
Accepts clauses with both vars and symbolic variables"
|
||||||
|
|||||||
@@ -9,8 +9,7 @@
|
|||||||
|
|
||||||
(define (assert expected actual eq? fail)
|
(define (assert expected actual eq? fail)
|
||||||
(when (and (not (eq? expected actual)))
|
(when (and (not (eq? expected actual)))
|
||||||
(format #t "fail - expected ~a but got ~a" expected actual)
|
(format #t "fail - expected ~a but got ~a~%" expected actual)
|
||||||
(newline)
|
|
||||||
(fail)))
|
(fail)))
|
||||||
|
|
||||||
(define (equal-or-any? expected actual)
|
(define (equal-or-any? expected actual)
|
||||||
|
|||||||
Reference in New Issue
Block a user