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

Make subst-gen not duplicate call to values.

Browse Source 
original commit: 7e7350691fde793b5ec751f271388b176107c3eb
This commit is contained in:
Eric Dobson 2014-05-18 11:51:33 -07:00
parent 615ce5603c
commit 6df2e0b54d
1 changed files with 24 additions and 25 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

49
pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/infer/infer-unit.rkt
View File

@ -752,31 +752,30 @@
(match (car (cset-maps C))
[(cons cmap (dmap dm))
(let ([subst (hash-union
(for/hash ([(k dc) (in-hash dm)])
(match dc
[(dcon fixed #f)
(values k
(i-subst
(for/list ([f fixed])
(constraint->type f idx-hash #:variable k))))]
[(dcon fixed rest)
(values k
(i-subst/starred (for/list ([f (in-list fixed)])
(constraint->type f idx-hash #:variable k))
(constraint->type rest idx-hash)))]
[(dcon-exact fixed rest)
(values k
(i-subst/starred
(for/list ([f (in-list fixed)])
(constraint->type f idx-hash #:variable k))
(constraint->type rest idx-hash)))]
[(dcon-dotted fixed dc dbound)
(values k
(i-subst/dotted
(for/list ([f (in-list fixed)])
(constraint->type f idx-hash #:variable k))
(constraint->type dc idx-hash #:variable k)
dbound))]))
(for/hash ([(k dc) (in-hash dm)])
(values
k
(match dc
[(dcon fixed #f)
(i-subst
(for/list ([f fixed])
(constraint->type f idx-hash #:variable k)))]
[(dcon fixed rest)
(i-subst/starred
(for/list ([f (in-list fixed)])
(constraint->type f idx-hash #:variable k))
(constraint->type rest idx-hash))]
[(dcon-exact fixed rest)
(i-subst/starred
(for/list ([f (in-list fixed)])
(constraint->type f idx-hash #:variable k))
(constraint->type rest idx-hash))]
[(dcon-dotted fixed dc dbound)
(i-subst/dotted
(for/list ([f (in-list fixed)])
(constraint->type f idx-hash #:variable k))
(constraint->type dc idx-hash #:variable k)
dbound)])))
(for/hash ([(k v) (in-hash cmap)])
(values k (t-subst (constraint->type v var-hash)))))])
;; verify that we got all the important variables