<div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="HOEnZb"><div class="h5"><br>
> I think that you can use a "syntax" declaration to swap the order of<br>
> arguments even when there is a dependency.<br>
<br>
</div></div>Glory to the people!<br></blockquote><div><br></div><div> :)</div><div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
But two questions:<br>
<br>
1. Can you attach precedences to syntax declarations?</blockquote><div><br></div><div>Last time I looked at the code, the fixity was inherited from the identifier that the syntax declaration "aliases".</div><div>
</div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"> (Or perhaps the<br>
higher-level question, how are syntax declarations supposed to<br>
interact with infix/mixfix operators? Are they meant to replace them?)</blockquote><div><br></div><div>There is no plan like this.</div><div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
2. How do syntax declarations get exported from a module? Can you<br>
hide/rename them?</blockquote><div><br></div><div>Not as far as I know. </div><div> </div><div>Cheers,</div><div>JP.</div></div>