From a81de56b302dcf9a44c496967df3d40e3d5779f5 Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Mon, 10 May 2010 17:55:29 -0400 Subject: [PATCH] add test for bug found by vincent --- collects/tests/typed-scheme/unit-tests/subtype-tests.rkt | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/collects/tests/typed-scheme/unit-tests/subtype-tests.rkt b/collects/tests/typed-scheme/unit-tests/subtype-tests.rkt index b43e4c0285..d6f285703c 100644 --- a/collects/tests/typed-scheme/unit-tests/subtype-tests.rkt +++ b/collects/tests/typed-scheme/unit-tests/subtype-tests.rkt @@ -124,7 +124,8 @@ (FAIL (-poly (a b) (-> a a)) (-poly (a b) (-> a b))) ;; polymorphic function types should be subtypes of the function top - [(-poly (a) (a . -> . a)) top-func] + [(-poly (a) (a . -> . a)) top-func] + (FAIL (-> Univ) (null Univ . ->* . Univ)) [(cl->* (-Number . -> . -String) (-Boolean . -> . -String)) ((Un -Boolean -Number) . -> . -String)] ))