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

fixed PR 7927

Browse Source 
svn: r2341

original commit: 873e71a9dd99e2850b717b69d40ed4c1c467c593
This commit is contained in:
Robby Findler 2006-03-02 02:48:40 +00:00
parent c0a5c8c153
commit 6b9627e9f0
1 changed files with 22 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -3115,6 +3115,24 @@
1
'pos
'neg)))
(test/spec-passed
'struct/c3
'(let ()
(define-struct s (a b))
(contract (struct/c s integer? (struct/c s integer? boolean?))
(make-s 1 (make-s 2 #t))
'pos
'neg)))
(test/pos-blame
'struct/c3
'(let ()
(define-struct s (a b))
(contract (struct/c s integer? (struct/c s integer? boolean?))
(make-s 1 (make-s 2 3))
'pos
'neg)))
(test/spec-passed
'recursive-contract1
@ -3162,6 +3180,10 @@
(test #t flat-contract? (and/c number? integer?))
(test #t flat-contract? (and/c (flat-contract number?)
(flat-contract integer?)))
(test #t flat-contract? (let ()
(define-struct s (a b))
(struct/c s any/c any/c)))
(test-flat-contract '(and/c number? integer?) 1 3/2)
(test-flat-contract '(not/c integer?) #t 1)