From f23c07f54a336dd57518900bff08241d5c780a53 Mon Sep 17 00:00:00 2001
From: Asumu Takikawa <asumu@ccs.neu.edu>
Date: Fri, 3 Jun 2016 14:55:23 -0400
Subject: [PATCH] Use the right equality function for parent-of?

---
 typed-racket-lib/typed-racket/types/overlap.rkt | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/typed-racket-lib/typed-racket/types/overlap.rkt b/typed-racket-lib/typed-racket/types/overlap.rkt
index fa308e71..eb02035b 100644
--- 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)