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

Fix one test (now the top-level gets the blame appropriately) and remove

Browse Source 
a bogus test (since a defined function can call itself all it wants without
the contract being checked, and thus that test is now an infinite loop).

svn: r11663
This commit is contained in:
Stevie Strickland 2008-09-11 23:47:29 +00:00
parent 68aa941b87
commit d3a5ab5556
1 changed files with 3 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -1,3 +1,5 @@
#lang scheme/load
#| #|
This file started out as a copy of contract-test.ss. This file started out as a copy of contract-test.ss.
@ -1591,14 +1593,7 @@ of the contract library does not change over time.
'(let () '(let ()
(define/contract i (-> integer? integer?) (lambda (x) 1)) (define/contract i (-> integer? integer?) (lambda (x) 1))
(i #f)) (i #f))
"<<unknown>>") "top-level")
(test/spec-failed
'define/contract5
'(let ()
(define/contract i (-> integer? integer?) (lambda (x) (i #t)))
(i 1))
"<<unknown>>")
(test/spec-passed (test/spec-passed
'define/contract6 'define/contract6