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

Add matthew's test case.

Browse Source 
svn: r9518
This commit is contained in:
Sam Tobin-Hochstadt 2008-04-28 21:21:27 +00:00
parent 1ca37e8def
commit 72effc076d
1 changed files with 6 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
collects/typed-scheme/private/unit-utils.ss
View File

@ -85,7 +85,7 @@
;; Tests
#|
(define-signature x^ (x))
(define-signature y^ (y))
(define-signature z^ (z))
@ -103,6 +103,11 @@
(define z 45)
(define-values/link-units/infer (export x^) x@ y@)
|#
(define-signature y^ (y))
(define-unit x@ (import y^) (export))
(define-unit z@ (import y^) (export))
(define-values/link-units/infer x@ z@)
;(define-values/link-units/infer x@ y@)