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

Fix `overlap' for refinements of base types.

Browse Source
This commit is contained in:
Sam Tobin-Hochstadt 2010-10-07 11:19:54 -04:00
parent da80d6c034
commit 7bcd107e7f
1 changed files with 4 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
collects/typed-scheme/types/remove-intersect.rkt
View File

@ -28,6 +28,10 @@
(overlap (resolve-once t1) (resolve-once t2)))] (overlap (resolve-once t1) (resolve-once t2)))]
[(list (? Mu?) _) (overlap (unfold t1) t2)] [(list (? Mu?) _) (overlap (unfold t1) t2)]
[(list _ (? Mu?)) (overlap t1 (unfold t2))] [(list _ (? Mu?)) (overlap t1 (unfold t2))]
[(list (Refinement: t _ _) t2) (overlap t t2)]
[(list t1 (Refinement: t _ _)) (overlap t1 t)]
[(list (Union: e) t) [(list (Union: e) t)
(ormap (lambda (t*) (overlap t* t)) e)] (ormap (lambda (t*) (overlap t* t)) e)]
[(list t (Union: e)) [(list t (Union: e))