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

fixed base/value overlap bug

Browse Source
This commit is contained in:
Andrew Kent 2015-03-03 23:20:15 -05:00
parent 3f67cfea7c
commit ea942c2110
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
typed-racket-lib/typed-racket/types/remove-intersect.rkt
View File

@ -46,7 +46,7 @@
(ormap (lambda (t*) (overlap t* s)) ts)]
[(list-no-order (? Poly?) _) #t] ;; conservative
[(list (Base: s1 _ _ _) (Base: s2 _ _ _)) (or (subtype t1 t2) (subtype t2 t1))]
[(list-no-order (? Base? t) (? Value? s)) (subtype t s)] ;; conservative
[(list-no-order (? Base? t) (? Value? s)) (subtype s t)] ;; conservative
[(list (Syntax: t) (Syntax: t*)) (overlap t t*)]
[(list-no-order (Syntax: _) _) #f]
[(list-no-order (Base: _ _ _ _) _) #f]