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

Add test case

Browse Source 
Closes PR 15139
This commit is contained in:
Daniel Feltey 2015-08-31 21:46:57 -05:00 committed by Vincent St-Amour
parent 450ea8236d
commit 4fefec6386
1 changed files with 13 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -2199,3 +2199,16 @@
[(s x y) (list x y)])) [(s x y) (list x y)]))
S)))))) S))))))
;; Make sure init-dependencies are calculated correctly in the presence of subtyping
(let ()
(define-signature a1^ (a1))
(define-signature a2^ extends a1^ (a2))
(define-unit u (import a1^) (export) (init-depend a1^) a1)
(define v
(compound-unit/infer
(import [A2 : a2^])
(export)
(link (() u A2))))
(define a1 1)
(define a2 2)
(test 1 (invoke-unit v (import a2^))))