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

Replaced unstable/hash with unstable/cce/hash.

Browse Source 
original commit: 3a525b9a121de971967b59ab3a684b5d104b53ed
This commit is contained in:
Carl Eastlund 2010-05-29 14:49:50 -04:00
parent a5d6cf0cd4
commit 092d4e3c3d
2 changed files with 2 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -75,7 +75,7 @@
[(map2 dmap2) (in-pairs maps2)])
(with-handlers ([exn:infer? (lambda (_) #f)])
(cons
(simple-hash-union map1 map2 (lambda (k v1 v2) (c-meet v1 v2)))
(hash-union map1 map2 #:combine c-meet)
(dmap-meet dmap1 dmap2)))))])
(when (null? maps)
(fail! maps1 maps2))

3
collects/typed-scheme/infer/dmap.rkt
View File

@ -62,5 +62,4 @@
(define (dmap-meet dm1 dm2)
(make-dmap
(simple-hash-union (dmap-map dm1) (dmap-map dm2)
(lambda (k dc1 dc2) (dcon-meet dc1 dc2)))))
(hash-union (dmap-map dm1) (dmap-map dm2) #:combine dcon-meet)))