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

a bunch more values are now converted into contracts automatically

Browse Source 
svn: r11729

original commit: 85e489219c7e596d90f780da119fb8bb16b4cb45
This commit is contained in:
Robby Findler 2008-09-13 22:35:09 +00:00
parent 8678e1cc6e
commit a65c83e4eb
2 changed files with 8 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
collects/mzlib/contract.ss
View File

@ -79,3 +79,10 @@
flat-prop flat-pred? flat-get flat-prop flat-pred? flat-get
first-order-prop first-order-get first-order-prop first-order-get
(rename-out [or/c union])) (rename-out [or/c union]))
;; copied here because not provided by scheme/contract anymore
(define (flat-contract/predicate? pred)
(or (flat-contract? pred)
(and (procedure? pred)
(procedure-arity-includes? pred 1))))

2
collects/tests/mzscheme/contract-mzlib-test.ss
View File

@ -4162,7 +4162,7 @@ so that propagation occurs.
(test-name '(real-in 1 10) (real-in 1 10)) (test-name '(real-in 1 10) (real-in 1 10))
(test-name '(string-len/c 3) (string/len 3)) (test-name '(string-len/c 3) (string/len 3))
(test-name 'natural-number/c natural-number/c) (test-name 'natural-number/c natural-number/c)
(test-name 'false/c false/c) (test-name #f false/c)
(test-name 'printable/c printable/c) (test-name 'printable/c printable/c)
(test-name '(symbols 'a 'b 'c) (symbols 'a 'b '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 '(one-of/c 1 2 3) (one-of/c 1 2 3))