From 53a5f53d153dd1e39552a44e59e11ed151d6d7bc Mon Sep 17 00:00:00 2001
From: Sam Tobin-Hochstadt <samth@racket-lang.org>
Date: Mon, 8 Dec 2008 18:26:58 +0000
Subject: [PATCH] Make inference work in subtype tests. Add test for top-arr.

svn: r12746

original commit: 08fa300d14085b678a0d0fd357613649e2e459b9
---
 collects/tests/typed-scheme/unit-tests/subtype-tests.ss | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/collects/tests/typed-scheme/unit-tests/subtype-tests.ss b/collects/tests/typed-scheme/unit-tests/subtype-tests.ss
index adba6e63..9c3c7d34 100644
--- a/collects/tests/typed-scheme/unit-tests/subtype-tests.ss
+++ b/collects/tests/typed-scheme/unit-tests/subtype-tests.ss
@@ -23,6 +23,8 @@
 			      (begin (test-suite "Tests for subtyping"
 						 new-cl ...))))]))
 
+(infer-param infer)
+
 (define (subtype-tests)
   (subtyping-tests
    ;; trivial examples
@@ -121,6 +123,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]   
    ))
 
 (define-go