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

Remove duplicate constraints when taking their meet.

Browse Source 
original commit: bd301912c01c27cd20892c8ddf60b4529dd3def1
This commit is contained in:
Vincent St-Amour 2011-02-28 19:02:54 -05:00
parent f8ded9a56d
commit a006817f5e
1 changed files with 5 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
collects/typed-scheme/infer/constraints.rkt
View File

@ -6,7 +6,9 @@
(utils tc-utils)
unstable/sequence unstable/hash
"signatures.rkt" "constraint-structs.rkt"
racket/match)
unstable/debug
racket/match
racket/list)
(import restrict^ dmap^)
(export constraints^)
@ -67,8 +69,8 @@
[((struct cset (maps1)) (struct cset (maps2)))
(let ([maps (filter values
(for*/list
([(map1 dmap1) (in-pairs maps1)]
[(map2 dmap2) (in-pairs maps2)])
([(map1 dmap1) (in-pairs (remove-duplicates maps1))]
[(map2 dmap2) (in-pairs (remove-duplicates maps2))])
(with-handlers ([exn:infer? (lambda (_) #f)])
(cons
(hash-union map1 map2 #:combine c-meet)