From 2d1625336e2512ba4df3a93fc28682c32be48ceb Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Mon, 10 May 2010 17:53:48 -0400 Subject: [PATCH] fix handling when subtype doesn't have rest arg --- collects/typed-scheme/types/subtype.rkt | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/collects/typed-scheme/types/subtype.rkt b/collects/typed-scheme/types/subtype.rkt index 64cbbc2c1e..19cde89859 100644 --- a/collects/typed-scheme/types/subtype.rkt +++ b/collects/typed-scheme/types/subtype.rkt @@ -144,6 +144,9 @@ (subtypes*/varargs t-dom s-dom s-rest) (kw-subtypes* t-kws s-kws) (subtype* s-rng t-rng))] + [((arr: s-dom s-rng #f #f s-kws) + (arr: t-dom t-rng t-rest #f t-kws)) + (fail! s t)] [((arr: s-dom s-rng s-rest #f s-kws) (arr: t-dom t-rng t-rest #f t-kws)) (subtype-seq A0 @@ -352,7 +355,6 @@ ;(trace subtype*) ;(trace supertype-of-one/arr) ;(trace arr-subtype*/no-fail) -;(trace subtype-of-one) ;(trace subtype*/no-fail) ;(trace subtypes*) ;(trace subtype)