<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN"> <HTML><HEAD> <META http-equiv=Content-Type content="text/html; charset=iso-8859-1"> <META content="MSHTML 6.00.6000.16809" name=GENERATOR> <STYLE></STYLE> </HEAD> <BODY bgColor=#ffffff> <DIV><FONT face=Arial size=2>The pattern of a side-condition in define-language does not shadow the non terminal. For example Check Syntax on the following constructed example</FONT></DIV> <DIV><FONT face=Arial size=2></FONT> </DIV> <DIV><FONT face=Arial size=2>#lang scheme<BR>(require redex)<BR>(define-language lang<BR> (T number<BR>  (side-condition (T) (number? (term T)))))</FONT></DIV> <DIV><FONT face=Arial size=2></FONT> </DIV> <DIV><FONT face=Arial size=2>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)</FONT></DIV> <DIV><FONT face=Arial size=2></FONT> </DIV> <DIV><FONT face=Arial size=2>Of course the above example is simpler written as (T number (number)), but it just a simple example related to my question.</FONT></DIV> <DIV><FONT face=Arial size=2>Thanks, Jos</FONT></DIV> <DIV><FONT face=Arial size=2></FONT> </DIV></BODY></HTML>