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

fixed define-contract-struct so that it defines (via define-syntax) the struct name, following the define-struct covention

Browse Source 
svn: r6664

original commit: ea5b3493f3ce62233fe96968b2b5d7026152b0df
This commit is contained in:
Robby Findler 2007-06-14 21:14:14 +00:00
parent 32c82aa53a
commit a0fb0d5248
1 changed files with 17 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

19
collects/tests/mzscheme/contract-test.ss
View File

@ -3399,13 +3399,28 @@
(contract-eval '(define-contract-struct couple (hd tl)))
(test/spec-passed
'd-c-s-match1
'(begin
(eval '(module d-c-s-match1 mzscheme
(require (lib "contract.ss")
(lib "match.ss"))
(define-contract-struct foo (bar baz))
(match (make-foo #t #f)
[($ foo bar baz) #t]
[_ #f])))
(eval '(require d-c-s-match1))))
(test/pos-blame 'd-c-s1
'(begin
(eval '(module m mzscheme
(eval '(module d-c-s1 mzscheme
(require (lib "contract.ss"))
(define-contract-struct couple (hd tl))
(contract (couple/c any/c any/c) 1 'pos 'neg)))
(eval '(require m))))
(eval '(require d-c-s1))))
(test/spec-passed 'd-c-s2
'(contract (couple/c any/c any/c) (make-couple 1 2) 'pos 'neg))