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

Two types definitely overlap if they are equal.

Browse Source 
Fixes infinite loop in Whalesong compilation.
This commit is contained in:
Sam Tobin-Hochstadt 2011-09-16 17:19:47 -04:00
parent 2570fae481
commit c55cceed8c
1 changed files with 3 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -1,8 +1,8 @@
#lang scheme/base #lang scheme/base
(require "../utils/utils.rkt" (require "../utils/utils.rkt"
(rep type-rep rep-utils) (rep type-rep rep-utils)
(types union subtype resolve convenience utils) (types union subtype resolve convenience utils)
racket/match mzlib/trace) racket/match mzlib/trace)
(provide (rename-out [*remove remove]) overlap) (provide (rename-out [*remove remove]) overlap)
@ -11,6 +11,7 @@
(define (overlap t1 t2) (define (overlap t1 t2)
(let ([ks (Type-key t1)] [kt (Type-key t2)]) (let ([ks (Type-key t1)] [kt (Type-key t2)])
(cond (cond
[(type-equal? t1 t2) #t]
[(and (symbol? ks) (symbol? kt) (not (eq? ks kt))) #f] [(and (symbol? ks) (symbol? kt) (not (eq? ks kt))) #f]
[(and (symbol? ks) (pair? kt) (not (memq ks kt))) #f] [(and (symbol? ks) (pair? kt) (not (memq ks kt))) #f]
[(and (symbol? kt) (pair? ks) (not (memq kt ks))) #f] [(and (symbol? kt) (pair? ks) (not (memq kt ks))) #f]