<div dir="ltr"><div>Hi Julia,<br><br>Thanks for the response and suggestions.  For now I'm just explicitly checking for the initialization case before checking for the no initialization case.  This does as I'd expect.<br><br></div>-Ian<br></div><div class="gmail_extra"><br><div class="gmail_quote">On Thu, Dec 11, 2014 at 12:59 AM, Julia Lawall <span dir="ltr"><<a href="mailto:julia.lawall@lip6.fr" target="_blank">julia.lawall@lip6.fr</a>></span> wrote:<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><span class=""><br>
<br>
On Thu, 11 Dec 2014, Julia Lawall wrote:<br>
<br>
> Actually, the problem is the following isomorphism:<br>
><br>
> Declaration<br>
> @ const_decl_init @<br>
> type T;<br>
> identifier Z;<br>
<br>
</span>Alternatively, you can change the above declaration to<br>
<br>
context identifier Z;<br>
<br>
julia<br>
<div class="HOEnZb"><div class="h5"><br>
> constant C;<br>
> @@<br>
> T Z; => T Z = C;<br>
><br>
> In between the initial @@, you can put disable const_del_init.<br>
><br>
> julia<br>
><br>
</div></div></blockquote></div></div>