added a test case for the bug Shu-yu just fixed
svn: r6675 original commit: ce0b5fec2fd4b79abd049765c7580114cf1bc201
This commit is contained in:
parent
a0fb0d5248
commit
6c71323fb9
|
@ -3412,6 +3412,25 @@
|
||||||
[($ foo bar baz) #t]
|
[($ foo bar baz) #t]
|
||||||
[_ #f])))
|
[_ #f])))
|
||||||
(eval '(require d-c-s-match1))))
|
(eval '(require d-c-s-match1))))
|
||||||
|
|
||||||
|
(test/spec-passed/result
|
||||||
|
'd-c-s-match2
|
||||||
|
'(begin
|
||||||
|
(eval '(module d-c-s-match2 mzscheme
|
||||||
|
(require (lib "contract.ss")
|
||||||
|
(lib "match.ss"))
|
||||||
|
|
||||||
|
(define-contract-struct foo (bar baz))
|
||||||
|
|
||||||
|
(provide d-c-s-match2-f1)
|
||||||
|
(define d-c-s-match2-f1
|
||||||
|
(match (make-foo 'first 'second)
|
||||||
|
[($ foo bar baz) (list bar baz)]
|
||||||
|
[_ #f]))))
|
||||||
|
(eval '(require d-c-s-match2))
|
||||||
|
(eval 'd-c-s-match2-f1))
|
||||||
|
'(first second))
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
(test/pos-blame 'd-c-s1
|
(test/pos-blame 'd-c-s1
|
||||||
|
|
Loading…
Reference in New Issue
Block a user