From 8c0e9178ac1c0cfa58b101483afc90fa31d9db08 Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Thu, 27 May 2010 12:46:37 -0400 Subject: [PATCH] Guard type-equal? test. original commit: 8194bcc4d41c79c39cb0a4a13a810f2b6bbc35d3 --- collects/typed-scheme/types/printer.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/typed-scheme/types/printer.rkt b/collects/typed-scheme/types/printer.rkt index 15043f55..ba991333 100644 --- 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?)