[racket] [redex] define list for metafunctions

From: Eric Tanter (etanter at dcc.uchile.cl)
Date: Fri Sep 10 07:16:16 EDT 2010

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.

Posted on the users mailing list.