<html><head><meta http-equiv="Content-Type" content="text/html charset=us-ascii"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;">Should the following should be allowed, and which disallowed, under the no-shaddwoing rule?<div><br></div><div>At the top-level of xmodules.grace:</div><div><br></div><blockquote style="margin: 0 0 0 40px; border: none; padding: 0px;"><div><b>method</b> generateGCT(path)fromValues(values)modules(modules) {</div><div> <b>def</b> methods = collections.list.new</div><div> <b>def</b> confidentials = collections.list.new</div><div> ....</div></blockquote><div><br></div><div>The dialect (StandardPrelude) defines a <b>method</b> called <i>methods</i>, and the above <b>def</b> shadows it. There is another example in parser.grace</div><div><br></div><div><br></div><div><br></div></body></html>