suzanne.soy/typed-racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Print StructTop nicely.

Browse Source 
Related to PR 12903.

original commit: 418a0c311b8b1e463f1c449f10c2b31f9b25a287
This commit is contained in:
Sam Tobin-Hochstadt 2012-07-13 17:10:34 -04:00
parent 57dea3aacd
commit 7b9857b656
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
collects/typed-racket/types/printer.rkt
View File

@ -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")]