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

Add extra early failure cases to subtype* to avoid inference failures.

Browse Source 
original commit: d7fd2b2e3fad604677e04c405e7585dc2c48e872
This commit is contained in:
Vincent St-Amour 2011-05-05 18:32:01 -04:00
parent b9b546b237
commit f431fd94df
1 changed files with 10 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
collects/typed-scheme/types/subtype.rkt
View File

@ -272,6 +272,16 @@
(dprintf "found unrelated structs: ~a ~a\n" s1 s2)
(fail! s t)]
[else (unmatch)])]
;; similar case for structs and base types, which are obviously unrelated
[((Base: _ _ _ _) (or (? Struct? s1) (NameStruct: s1)))
(fail! s t)]
[((or (? Struct? s1) (NameStruct: s1)) (Base: _ _ _ _))
(fail! s t)]
;; same for Null
[((Value: '()) (or (? Struct? s1) (NameStruct: s1)))
(fail! s t)]
[((or (? Struct? s1) (NameStruct: s1)) (Value: '()))
(fail! s t)]
;; just checking if s/t is a struct misses recursive/union/etc cases
[((? (lambda (_) (eq? ks 'struct))) (Base: _ _ _ _)) (fail! s t)]
[((Base: _ _ _ _) (? (lambda (_) (eq? kt 'struct)))) (fail! s t)]