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.
This commit is contained in:
Sam Tobin-Hochstadt 2015-11-30 17:54:05 -05:00
parent 1d69569382
commit ab4514bb56

View File

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