From 136f0942bd070bca144c7beecd4518804ee57d9d Mon Sep 17 00:00:00 2001
From: Sam Tobin-Hochstadt <samth@racket-lang.org>
Date: Wed, 12 May 2010 17:04:43 -0400
Subject: [PATCH] Descend into path elements.

original commit: 6f7e88cfef024c4207d8187c0c9c2a4d0da19875
---
 collects/typed-scheme/rep/type-rep.rkt | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/collects/typed-scheme/rep/type-rep.rkt b/collects/typed-scheme/rep/type-rep.rkt
index 51474cbf..49596a8a 100644
--- a/collects/typed-scheme/rep/type-rep.rkt
+++ b/collects/typed-scheme/rep/type-rep.rkt
@@ -382,9 +382,11 @@
 
 (define ((sub-f st) e)
   (filter-case (#:Type st
-                #:Filter (sub-f st))
+                #:Filter (sub-f st)
+                #:PathElem (sub-pe st))
                e))
 
+
 (define ((sub-o st) e)
   (object-case (#:Type st
                 #:Object (sub-o st)
@@ -437,6 +439,8 @@
                 (cdr names)
                 (sub1 count))))))
 
+;(trace abstract-many)
+
 
 ;; instantiate-many : List[Type] Scope^n -> Type 
 ;; where n is the length of types