Guard type-equal? test.

original commit: 8194bcc4d41c79c39cb0a4a13a810f2b6bbc35d3
2010-05-27 12:46:37 -04:00 · 2010-05-27 12:46:37 -04:00 · 8c0e9178ac
commit 8c0e9178ac
parent 2681178ffc
1 changed files with 1 additions and 1 deletions
--- a/collects/typed-scheme/types/printer.rkt
+++ b/collects/typed-scheme/types/printer.rkt
@ -19,7 +19,7 @@
 (define (has-name? t) 
  (and print-aliases
       (for/first ([(n t*) (in-pairs (in-list ((current-type-names))))]
-                   #:when (type-equal? t t*))
+                   #:when (and (Type? t*) (type-equal? t t*)))
         n)))

 (define (print-filter c port write?)