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

Fix numbering, add back a test similar to the infinite loop case that

Browse Source 
was here before to illustrate how define/contract now correctly does
not contract internal references.

svn: r11670

original commit: d03ce01a5a9dfb9a736d65865fd04a198785526e
This commit is contained in:
Stevie Strickland 2008-09-12 03:49:20 +00:00
parent ed9a387674
commit e243118608
1 changed files with 14 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -1602,6 +1602,15 @@ of the contract library does not change over time.
(test/spec-passed
'define/contract6
'(let ()
(define/contract (i x) (-> integer? integer?)
(cond
[(not (integer? x)) 1]
[else (i #f)]))
(i 1)))
(test/spec-passed
'define/contract7
'(let ()
(define/contract (contracted-func label t)
(string? string? . -> . string?)
@ -1611,7 +1620,7 @@ of the contract library does not change over time.
"ans")))
(test/spec-passed
'define/contract7
'define/contract8
'(let ()
(eval '(module contract-test-suite-define1 mzscheme
(require mzlib/contract)
@ -1620,7 +1629,7 @@ of the contract library does not change over time.
(eval '(require 'contract-test-suite-define1))))
(test/spec-failed
'define/contract8
'define/contract9
'(let ()
(define/contract (a n)
(-> number? number?)
@ -1632,7 +1641,7 @@ of the contract library does not change over time.
"a")
(test/spec-failed
'define/contract8
'define/contract10
'(let ()
(define/contract (a n)
(-> number? number?)
@ -1644,7 +1653,7 @@ of the contract library does not change over time.
"b")
(test/spec-passed
'define/contract9
'define/contract11
'(let ()
(define/contract (f n)
(-> number? number?)
@ -1655,7 +1664,7 @@ of the contract library does not change over time.
(g #t 3)))
(test/spec-failed
'define/contract9
'define/contract12
'(let ()
(define/contract (f n)
(-> number? number?)