suzanne.soy/typed-racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Fix move-to-dmap functions

Browse Source 
original commit: 9f99c914f3ce2c00119b64caa0be1a286df398c1
This commit is contained in:
Sam Tobin-Hochstadt 2010-06-17 14:59:37 -04:00
parent f1ef77e550
commit 16617152c5
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
collects/typed-scheme/infer/infer-unit.rkt
View File

@ -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