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

Fix overlap with sequences.

Browse Source
This commit is contained in:
Sam Tobin-Hochstadt 2012-02-20 15:09:14 -05:00
parent c7234772a4
commit 99f01f5260
1 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
collects/typed-racket/types/remove-intersect.rkt
View File

@ -60,6 +60,9 @@
[(list (Pair: a b) (Pair: a* b*)) [(list (Pair: a b) (Pair: a* b*))
(and (overlap a a*) (and (overlap a a*)
(overlap b b*))] (overlap b b*))]
;; lots of things are sequences
[(list (Sequence: _) _) #t]
[(list _ (Sequence: _)) #t]
[(or (list (Pair: _ _) _) [(or (list (Pair: _ _) _)
(list _ (Pair: _ _))) (list _ (Pair: _ _)))
#f] #f]