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

Add first-order checks for free variable contracts, and tests for everything.

Browse Source 
svn: r13706
This commit is contained in:
Stevie Strickland 2009-02-17 20:48:04 +00:00
parent d18a56a956
commit 9098c94e9c
1 changed files with 64 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -2401,6 +2401,70 @@
(eval '(require 'foo-dc18)))
"(unit U@)")
(test/spec-failed
'define/contract19
'(let ()
(define y 3)
(define/contract (f n)
(-> number? number?)
#:freevar y (-> number? boolean?)
3)
1)
"top-level")
(test/spec-passed
'define/contract20
'(let ()
(define y (lambda (n) 4))
(define/contract (f n)
(-> number? number?)
#:freevar y (-> number? boolean?)
3)
1))
(test/spec-passed
'define/contract21
'(let ()
(define y (lambda (n) 4))
(define/contract (f n)
(-> number? number?)
#:freevar y (-> number? boolean?)
(if (y n) 3 1))
1))
(test/spec-failed
'define/contract22
'(let ()
(define y 4)
(define/contract (f n)
(-> number? number?)
#:freevar y (-> number? boolean?)
3)
1)
"top-level")
(test/spec-failed
'define/contract23
'(let ()
(define y (lambda (n) #t))
(define/contract (f n)
(-> number? number?)
#:freevar y (-> number? number?)
(y n))
(f 5))
"top-level")
(test/spec-failed
'define/contract24
'(let ()
(define y (lambda (n) 4))
(define/contract (f n)
(-> number? number?)
#:freevar y (-> number? boolean?)
(if (y #t) 3 1))
(f 5))
"(function f)")
;
;