suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

code: added equiv predicate

Browse Source
This commit is contained in:
Matthias Felleisen 2014-01-26 11:33:46 -08:00
parent b020b8aee7
commit 6da7f382fc
1 changed files with 4 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
pkgs/redex-pkgs/redex-lib/redex/private/reduction-semantics.rkt
View File

@ -2394,9 +2394,11 @@
(define-syntax (test-equal stx)
(syntax-case stx ()
[(_ e1 e2)
#`(test-equal/proc e1 e2 #,(get-srcloc stx))]))
#`(test-equal/proc e1 e2 #,(get-srcloc stx) equal?)]
[(_ e1 e2 #:equiv ~equal?)
#`(test-equal/proc e1 e2 #,(get-srcloc stx) ~equal?)]))
(define (test-equal/proc v1 v2 srcinfo)
(define (test-equal/proc v1 v2 srcinfo equal?)
(inc-tests)
(unless (equal? v1 v2)
(inc-failures)