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

PR 9852

Browse Source 
svn: r12076
This commit is contained in:
Robby Findler 2008-10-20 20:08:05 +00:00
parent b173fb073e
commit 122f8d41dc
2 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
collects/scheme/private/contract.ss
View File

@ -1463,6 +1463,7 @@ improve method arity mismatch contract violation error messages?
(λ (x) (λ (x)
(and (number? x) (and (number? x)
(integer? x) (integer? x)
(exact? x)
(x . >= . 0))))) (x . >= . 0)))))
(define (integer-in start end) (define (integer-in start end)

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

@ -4534,6 +4534,7 @@ so that propagation occurs.
(test-flat-contract '(real-in 1 10) 3/2 20) (test-flat-contract '(real-in 1 10) 3/2 20)
(test-flat-contract '(string-len/c 3) "ab" "abc") (test-flat-contract '(string-len/c 3) "ab" "abc")
(test-flat-contract 'natural-number/c 5 -1) (test-flat-contract 'natural-number/c 5 -1)
(test-flat-contract 'natural-number/c #e3 #i3.0)
(test-flat-contract 'false/c #f #t) (test-flat-contract 'false/c #f #t)
(test-flat-contract #t #t "x") (test-flat-contract #t #t "x")