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

Add comment explaining what's going on here.

Browse Source
This commit is contained in:
Stevie Strickland 2008-07-13 06:14:23 -04:00
parent e0bad1987d
commit fdfc8d7b78
1 changed files with 5 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
collects/typed-scheme/private/free-variance.ss
View File

@ -59,7 +59,11 @@
freess)
ht)
;; given a set of free variables, remove bound, add bound ...
;; given a set of free variables, change bound to ...
;; (if bound wasn't free, this will add it as Dotted
;; appropriately so that things that expect to see
;; it as "free" will -- fixes the case where the
;; dotted pre-type base doesn't use the bound).
(define (fix-bound vs bound)
(define vs* (hash-map* (lambda (k v) v) vs))
(hash-set! vs* bound Dotted)