[racket] [redex] define list for metafunctions

From: Casey Klein (clklein at eecs.northwestern.edu)
Date: Thu Sep 9 13:43:23 EDT 2010

On Wed, Sep 8, 2010 at 10:36 AM, Eric Tanter <etanter at dcc.uchile.cl> wrote:
> Hi,
>
> Is there a way to have the (define ...) dropdown button be customized for define-metafunction, so that it displays the name of the metafunction instead of just showing the language name?
>

The dropdown menu assumes that the first name inside a definition form
is the one bound. This assumption almost always holds, but Redex's
metafunction definition syntax breaks it.

I just pushed a change that treats metafunction definitions specially.


Posted on the users mailing list.