Why are these @defthing blocks typeset incorrectly?

Sage Gerard <sage-nnKKxiom5Z1/[email protected]> Wed, 23 Sep 2020 23:17:16 +0000
Newsgroups gmane.comp.lang.racket.user,gmane.lisp.scheme.plt
Message-ID <ulye9ZNaZmcspsE7fqy6ctobuGcF21jQvGQ4-PG2Eynt09KBU9AbF_kP9UZ_OgouhcvBOF8JLbaCJpVbnve-6RF_E752tVqp-xR9Va3oRsE=@sagegerard.com>
I attached an image showing the rendered output of https://github.com/zyrolasting/xiden/blob/master/docs/reference/settings.scrbl#L48

I create an application to `(defthing)` as a datum due to circumstances in the surrounding code. The hacky part being `get-contract-datum`, which tries to produce a datum usable as a contract expression. I'm assuming that this leaves no whitespace to preserve, so how do I modify a syntax object to include space in desired spots?

~slg

-- 
You received this message because you are subscribed to the Google Groups "Racket Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscribe-/JYPxA39Uh5TLH3MbocFF+G/[email protected]
To view this discussion on the web visit https://groups.google.com/d/msgid/racket-users/ulye9ZNaZmcspsE7fqy6ctobuGcF21jQvGQ4-PG2Eynt09KBU9AbF_kP9UZ_OgouhcvBOF8JLbaCJpVbnve-6RF_E752tVqp-xR9Va3oRsE%3D%40sagegerard.com.
Screenshot from 2020-09-23 18-48-34.png (image/png, 47.2 KB) - not displayed