[racket-dev] redex metafunction contract for two separate languages?

From: Robby Findler (robby at eecs.northwestern.edu)
Date: Tue Feb 7 13:54:26 EST 2012

On Tue, Feb 7, 2012 at 12:50 PM, Matthias Felleisen
<matthias at ccs.neu.edu> wrote:
>
> On Feb 7, 2012, at 1:28 PM, Robby Findler wrote:
>
>> One other design question: would having the same non-terminal name in
>> both languages be allowed
>
>
> Yes, absolutely, it's critical.

Just to be clear, I'm asking about the case where the prefixes have
been applied and there are still overlaps.


Robby

Posted on the dev mailing list.