Descend into path elements.

2010-05-12 17:04:43 -04:00 · 2010-05-12 17:04:43 -04:00 · 6f7e88cfef
commit 6f7e88cfef
parent bc7bd9245e
1 changed files with 5 additions and 1 deletions
--- 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