From f466da04d13404ddeb8262b54d052b3d5534b250 Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Tue, 6 May 2008 22:04:46 +0000 Subject: [PATCH] Fix promotion/demotion for vector/boxes. svn: r9702 --- collects/typed-scheme/private/infer-ops.ss | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/collects/typed-scheme/private/infer-ops.ss b/collects/typed-scheme/private/infer-ops.ss index 5e9dbffe69..6cf32ee959 100644 --- a/collects/typed-scheme/private/infer-ops.ss +++ b/collects/typed-scheme/private/infer-ops.ss @@ -28,8 +28,8 @@ (define (inv t) (if (V-in? V t) Univ t)) (type-case vp T [#:F name (if (memq name V) Univ T)] - [#:Vector t (inv t)] - [#:Box t (inv t)] + [#:Vector t (make-Vector (inv t))] + [#:Box t (make-Box (inv t))] [#:Hashtable k v (if (V-in? V v) Univ @@ -52,8 +52,8 @@ (define (inv t) (if (V-in? V t) (Un) t)) (type-case vd T [#:F name (if (memq name V) (Un) T)] - [#:Vector t (inv t)] - [#:Box t (inv t)] + [#:Vector t (make-Vector (inv t))] + [#:Box t (make-Box (inv t))] [#:Hashtable k v (if (V-in? V v) (Un)