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

racket/unit: fix test for use-before-definition

Browse Source
This commit is contained in:
Matthew Flatt 2014-04-20 20:18:13 -06:00
parent a03c396691
commit c38447c711
1 changed files with 25 additions and 18 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

43
pkgs/racket-pkgs/racket-test/tests/units/test-unit.rkt
View File

@ -540,10 +540,12 @@
(test 1 (l u4))
(test 1 (l u5))
(test 2 (l u6))
(test (letrec ((x x)) x)
(let ()
(define-values/invoke-unit (unit-from-context yz-sig) (import) (export yz-sig))
y))
(test-runtime-error
exn:fail:contract:variable?
"undefined"
(let ()
(define-values/invoke-unit (unit-from-context yz-sig) (import) (export yz-sig))
y))
(test 1
(let ()
(let ((u (unit-from-context yz-sig)))
@ -659,8 +661,6 @@
(let ((b 2))
(define-values/invoke-unit u1 (import) (export b-sig))
b)))
(let ((x 1)
(v 2))
@ -1362,14 +1362,21 @@
(test-syntax-error "define-values/invoke-unit/infer: not a unit"
(let-syntax ([x 1])
(define-values/invoke-unit/infer (link u x))))
(let ()
(define-values/invoke-unit/infer (link u v))
x)
(test-runtime-error
exn:fail:contract:variable?
"undefined"
(let ()
(define-values/invoke-unit/infer (link u v))
x))
(test-runtime-error
exn:fail:contract:variable?
"undefined"
(let ()
(define-values/invoke-unit/infer (export x-sig) (link u v))
x))
(let ()
(define-values/invoke-unit/infer (export x-sig) (link u v))
x)
(let ()
(define-values/invoke-unit/infer (export x-sig) v)
x)
@ -1403,7 +1410,6 @@
(test-runtime-error exn? "define-values/invoke-unit/infer: init-depend broken"
(define-values/invoke-unit/infer (export) (link u@ v@))))
(define-unit u (import x-sig) (export) x)
(test-syntax-error "define-values/invoke-unit/infer: bad imports"
(define-values/invoke-unit/infer u))
@ -1418,7 +1424,6 @@
(define-values/invoke-unit/infer u)
(+ y x)))
(test 1
(let ()
(define-unit x (import) (export) 1)
@ -1504,10 +1509,12 @@
(test-syntax-error "compound-unit/infer: unprovided sig"
(compound-unit/infer (import) (export x-sig) (link)))
(test (letrec ((x x)) x)
(invoke-unit
(compound-unit/infer (import) (export)
(link x y))))
(test-runtime-error
exn:fail:contract:variable?
"undefined"
(invoke-unit
(compound-unit/infer (import) (export)
(link x y))))
(test 3
(let ()