From 16617152c556c3b4497becffba00582e8f1ac3f7 Mon Sep 17 00:00:00 2001
From: Sam Tobin-Hochstadt <samth@racket-lang.org>
Date: Thu, 17 Jun 2010 14:59:37 -0400
Subject: [PATCH] Fix move-to-dmap functions

original commit: 9f99c914f3ce2c00119b64caa0be1a286df398c1
---
 collects/typed-scheme/infer/infer-unit.rkt | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/collects/typed-scheme/infer/infer-unit.rkt b/collects/typed-scheme/infer/infer-unit.rkt
index 9d85d689..75328d60 100644
--- a/collects/typed-scheme/infer/infer-unit.rkt
+++ b/collects/typed-scheme/infer/infer-unit.rkt
@@ -58,12 +58,12 @@
 (define (mover cset dbound vars f)
   (map/cset
    (lambda (cmap dmap)
-     (cons (hash-remove* cmap vars)           
+     (cons (hash-remove* cmap (cons dbound vars))           
            (dmap-meet 
             (singleton-dmap 
              dbound
              (f cmap dmap))
-            dmap)))
+            (make-dmap (hash-remove (dmap-map dmap) dbound)))))
    cset))
 
 ;; dbound : index variable
@@ -85,7 +85,7 @@
 ;; 
 (d/c (move-rest-to-dmap cset dbound #:exact [exact? #f])
   ((cset? symbol?) (#:exact boolean?) . ->* . cset?)
-  (mover cset dbound (list dbound)
+  (mover cset dbound null
          (λ (cmap dmap)
            ((if exact? make-dcon-exact make-dcon)
             null