From 7b9857b6561ea8ebc5062f67409dffedf9cf2bff Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Fri, 13 Jul 2012 17:10:34 -0400 Subject: [PATCH] Print `StructTop` nicely. Related to PR 12903. original commit: 418a0c311b8b1e463f1c449f10c2b31f9b25a287 --- collects/typed-racket/types/printer.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/typed-racket/types/printer.rkt b/collects/typed-racket/types/printer.rkt index bc2d8cfb..98bba0ce 100644 --- a/collects/typed-racket/types/printer.rkt +++ b/collects/typed-racket/types/printer.rkt @@ -196,7 +196,7 @@ [(Name: stx) (fp "~a" (syntax-e stx))] [(app has-name? (? values name)) (fp "~a" name)] - [(StructTop: st) (fp "(struct-top: ~a)" st)] + [(StructTop: (Struct: nm _ _ _ _ _ _ _)) (fp "(Struct ~a)" (syntax-e nm))] [(BoxTop:) (fp "Box")] [(ChannelTop:) (fp "Channel")] [(ThreadCellTop:) (fp "ThreadCell")]