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

test: added equiv predicate

Browse Source
This commit is contained in:
Matthias Felleisen 2014-01-26 16:21:55 -05:00
parent 22681c5639
commit 25537f7daf
1 changed files with 7 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
pkgs/redex-pkgs/redex-test/redex/tests/tl-test.rkt
View File

@ -3212,6 +3212,13 @@
(test (capture-output (test-equal (term (f 1)) (term ((1))))
(test-results))
"One test passed.\n"))
(let ()
(define-metafunction empty-language [(f any) ((any))])
(define (my-equal? x y) (and (memq x '(a b c)) (memq y '(a b c))))
(test (capture-output (test-equal (term a) (term b) #:equiv my-equal?)
(test-results))
"One test passed.\n"))
(let ()
(test (capture-output (test-predicate odd? 1)