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

Fix move-to-dmap functions

Browse Source
This commit is contained in:
Sam Tobin-Hochstadt 2010-06-17 14:59:37 -04:00
parent 2285e1a340
commit 9f99c914f3
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) (define (mover cset dbound vars f)
(map/cset (map/cset
(lambda (cmap dmap) (lambda (cmap dmap)
(cons (hash-remove* cmap vars) (cons (hash-remove* cmap (cons dbound vars))
(dmap-meet (dmap-meet
(singleton-dmap (singleton-dmap
dbound dbound
(f cmap dmap)) (f cmap dmap))
dmap))) (make-dmap (hash-remove (dmap-map dmap) dbound)))))
cset)) cset))
;; dbound : index variable ;; dbound : index variable
@ -85,7 +85,7 @@
;; ;;
(d/c (move-rest-to-dmap cset dbound #:exact [exact? #f]) (d/c (move-rest-to-dmap cset dbound #:exact [exact? #f])
((cset? symbol?) (#:exact boolean?) . ->* . cset?) ((cset? symbol?) (#:exact boolean?) . ->* . cset?)
(mover cset dbound (list dbound) (mover cset dbound null
(λ (cmap dmap) (λ (cmap dmap)
((if exact? make-dcon-exact make-dcon) ((if exact? make-dcon-exact make-dcon)
null null