From cd53de226c0f0c4c66a648cbf228366c8c6f24c4 Mon Sep 17 00:00:00 2001 From: Eric Dobson Date: Fri, 20 Jun 2014 21:46:23 -0700 Subject: [PATCH] Add test cases for subtyping of -Bottom. original commit: b199527ec28dcdba51e45878b16ad6f71f479582 --- .../tests/typed-racket/unit-tests/subtype-tests.rkt | 3 +++ 1 file changed, 3 insertions(+) diff --git a/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/subtype-tests.rkt b/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/subtype-tests.rkt index aaceec05..2d4a7d1b 100644 --- a/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/subtype-tests.rkt +++ b/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/subtype-tests.rkt @@ -264,6 +264,9 @@ [FAIL (make-ValuesDots (list) -Symbol 'a) (make-ValuesDots (list (-result -String)) -String 'a)] [(-values (list -Bottom)) (-values (list -String -Symbol))] + [(-> Univ -Bottom) (-> Univ (-values (list -String -Symbol)))] + [(-> Univ -Bottom) (-> Univ (-values-dots null -String 'x))] + ;; keyword function types [(->key #:x -Symbol #f Univ) (->key Univ)] [FAIL (->key #:x -Symbol #t Univ) (->key Univ)]