[racket] [redex] define list for metafunctions

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.