fix mzlib contract name test

Merge to 5.3
This commit is contained in:
Matthew Flatt 2012-04-10 13:47:02 -06:00
parent 211e382a70
commit c64c55b86f

View File

@ -4169,8 +4169,8 @@ so that propagation occurs.
(test-name 'natural-number/c natural-number/c)
(test-name #f false/c)
(test-name 'printable/c printable/c)
(test-name '(symbols 'a 'b 'c) (symbols 'a 'b 'c))
(test-name '(one-of/c 1 2 3) (one-of/c 1 2 3))
(test-name '(or/c 'a 'b 'c) (symbols 'a 'b 'c))
(test-name '(or/c 1 2 3) (one-of/c 1 2 3))
(test-name '(one-of/c '() 'x 1 #f #\a (void) (letrec ([x x]) x))
(one-of/c '() 'x 1 #f #\a (void) (letrec ([x x]) x)))