From ab4514bb5678136e3aa4a4170faa8c609f3b6318 Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Mon, 30 Nov 2015 17:54:05 -0500 Subject: [PATCH] Use symbols instead of identifiers for poorly-printing struct types. This case only comes up when something else unfortunate has happened with type printing, but the current implementation can lead to paths in the type printing. --- typed-racket-lib/typed-racket/types/printer.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/typed-racket-lib/typed-racket/types/printer.rkt b/typed-racket-lib/typed-racket/types/printer.rkt index d05a1820..bdb82250 100644 --- a/typed-racket-lib/typed-racket/types/printer.rkt +++ b/typed-racket-lib/typed-racket/types/printer.rkt @@ -440,7 +440,7 @@ [(Base: n cnt _ _) n] [(Opaque: pred) `(Opaque ,(syntax->datum pred))] [(Struct: nm par (list (fld: t _ _) ...) proc _ _) - `#(,(string->symbol (format "struct:~a" nm)) + `#(,(string->symbol (format "struct:~a" (syntax-e nm))) ,(map t->s t) ,@(if proc (list (t->s proc)) null))] [(Function: arities)