From 6da7f382fcb8e9bfab965a7541c231b7ff94e455 Mon Sep 17 00:00:00 2001 From: Matthias Felleisen Date: Sun, 26 Jan 2014 11:33:46 -0800 Subject: [PATCH] code: added equiv predicate --- .../redex-lib/redex/private/reduction-semantics.rkt | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/pkgs/redex-pkgs/redex-lib/redex/private/reduction-semantics.rkt b/pkgs/redex-pkgs/redex-lib/redex/private/reduction-semantics.rkt index c2921b9527..f7d6830cad 100644 --- a/pkgs/redex-pkgs/redex-lib/redex/private/reduction-semantics.rkt +++ b/pkgs/redex-pkgs/redex-lib/redex/private/reduction-semantics.rkt @@ -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)