[plt-scheme] redex side-condition binding question

From: Robby Findler (robby at eecs.northwestern.edu)
Date: Thu Apr 2 12:16:18 EDT 2009

The arrows are wrong. Thanks for pointing that out.


On Thu, Apr 2, 2009 at 9:05 AM, Jos Koot <jos.koot at telefonica.net> wrote:
> The pattern of a side-condition in define-language does not shadow the non
> terminal. For example Check Syntax on the following constructed example
> #lang scheme
> (require redex)
> (define-language lang
>  (T number
>   (side-condition (T) (number? (term T)))))
> shows that both occurrences of 'T' in the last line are linked to the
> occurrence in the last but one line. Is this intentional, or do I
> misunderstand the docs? (quite possibly the latter)
> Of course the above example is simpler written as (T number (number)), but
> it just a simple example related to my question.
> Thanks, Jos
> _________________________________________________
>  For list-related administrative tasks:
>  http://list.cs.brown.edu/mailman/listinfo/plt-scheme

Posted on the users mailing list.