[racket] [redex] define list for metafunctions

That's great, thanks Casey!

-- Éric


On Sep 9, 2010, at 7:43 PM, Casey Klein wrote:

> 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.