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

Make overlap for procedures and simple data stronger.

Browse Source
This commit is contained in:
Eric Dobson 2014-06-26 09:27:47 -07:00
parent 6b69c396f4
commit 0c187c52b7
1 changed files with 6 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -14,7 +14,10 @@
(boolean? v) (boolean? v)
(pair? v) (pair? v)
(string? v) (string? v)
(keyword? v))) (keyword? v)
(char? v)
(void? v)
(eof-object? v)))
(define (overlap t1 t2) (define (overlap t1 t2)
@ -79,8 +82,8 @@
(Value: (? simple-datum? v2))) (Value: (? simple-datum? v2)))
(equal? v1 v2)] (equal? v1 v2)]
[(or (list (Value: (? simple-datum?)) [(or (list (Value: (? simple-datum?))
(or (? Struct?) (? StructTop?))) (or (? Struct?) (? StructTop?) (? Function?)))
(list (or (? Struct?) (? StructTop?)) (list (or (? Struct?) (? StructTop?) (? Function?))
(Value: (? simple-datum?)))) (Value: (? simple-datum?))))
#f] #f]
[(list (Struct: n _ flds _ _ _) [(list (Struct: n _ flds _ _ _)
@ -103,9 +106,6 @@
[(list (and t1 (Struct: _ _ _ _ _ _)) [(list (and t1 (Struct: _ _ _ _ _ _))
(and t2 (Struct: _ _ _ _ _ _))) (and t2 (Struct: _ _ _ _ _ _)))
(or (subtype t1 t2) (subtype t2 t1))] (or (subtype t1 t2) (subtype t2 t1))]
[(list (== (-val eof))
(Function: _))
#f]
[else #t])]))) [else #t])])))