On 15/01/2008, <b class="gmail_sendername">Ahmed Ali</b> <<a href="mailto:firstname.lastname@example.org">email@example.com</a>> wrote:<div><span class="gmail_quote"></span><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
<br>Can someone explain to me what "redefining" means here? Does that mean if I cannot define a macro with the same name even though they have different arity?
</blockquote><div><br>That is exactly what it means. It was a mistake to do it that way. But it could be corrected now if people really want it.<br><br>Robert<br><br></div></div>