[racket] Redex: selective rendering of metafunctions/judgments

From: Robby Findler (robby at eecs.northwestern.edu)
Date: Wed Aug 8 22:42:36 EDT 2012

On Wed, Aug 8, 2012 at 9:14 PM, Asumu Takikawa <asumu at ccs.neu.edu> wrote:
> On 2012-08-08 19:17:32 -0500, Robby Findler wrote:
>> (parameterize ([metafunction-cases '(1)])
>>   (render-metafunction f))
>
> Oh, duh, I missed this in the docs. Sorry for the noise.
>
> Seems to work for judgments too. Is this fact worth mentioning in the
> docs?

Yes. I've added a mention.

I also added clause names to judgment forms and a parameter that lets
you use those names to control typesetting.

Robby

Posted on the users mailing list.