Is there a security reason behind omitting #%top-interaction from
`setup/infotab`?
~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
I'm not sure exactly what you're trying to accomplish so take this with a
grain of salt, but that error message means that redex doesn't really know
how to interpret your rules. Here's a simpler example that has the same
error message.
(reduction-relation
L
(--> (+ (+ n ...) n)
I have encountered this problem. I don't have a real solution, but maybe my
hacky solution will be good enough.
On Wed, Sep 23, 2020 at 7:37 PM Sorawee Porncharoenwase <
sorawee.pw...@gmail.com> wrote:
> I think Scribble uses source location equipped with syntax objects to
> figure out spacing.
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
Caution: I haven’t tried your code yet.
I think Scribble uses source location equipped with syntax objects to
figure out spacing. Since you generate stuff on the fly, there’s no source
location, so the rendered text is screwed up.
An idea I have (which might not work) is to use write /
5 matches
Mail list logo