From 4fefec63868064528ccb7dc081b47f5c314ff56c Mon Sep 17 00:00:00 2001 From: Daniel Feltey Date: Mon, 31 Aug 2015 21:46:57 -0500 Subject: [PATCH] Add test case Closes PR 15139 --- pkgs/racket-test/tests/units/test-unit.rkt | 13 +++++++++++++ 1 file changed, 13 insertions(+) diff --git a/pkgs/racket-test/tests/units/test-unit.rkt b/pkgs/racket-test/tests/units/test-unit.rkt index 1d13a9b1fd..a3f04466e4 100644 --- a/pkgs/racket-test/tests/units/test-unit.rkt +++ b/pkgs/racket-test/tests/units/test-unit.rkt @@ -2199,3 +2199,16 @@ [(s x y) (list x y)])) 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^))))