On Wed, Sep 8, 2010 at 10:36 AM, Eric Tanter <[email protected]> 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. _________________________________________________ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/users
