Use the right equality function for parent-of?

2016-06-03 14:55:23 -04:00 · 2016-06-03 14:55:23 -04:00 · f23c07f54a
commit f23c07f54a
parent a984281cdc
1 changed files with 3 additions and 2 deletions
--- a/typed-racket-lib/typed-racket/types/overlap.rkt
+++ b/typed-racket-lib/typed-racket/types/overlap.rkt
@ -113,8 +113,9 @@
 ;; if they are polymorphic)
 (define (parent-of? t1 t2)
  (match* (t1 t2)
-    [((Struct: _ (Struct: pname _ _ _ _ _) _ _ _ _)
-      (Struct: pname _ _ _ _ _))
+    [((Struct: _ (Struct: pname1 _ _ _ _ _) _ _ _ _)
+      (Struct: pname2 _ _ _ _ _))
+     #:when (free-identifier=? pname1 pname2)
     #t]
    [((Struct: _ #f _ _ _ _)
      other)