On Sun, Nov 6, 2011 at 9:40 AM, Malcolm Wallace <span dir="ltr"><<a href="mailto:malcolm.wallace@me.com">malcolm.wallace@me.com</a>></span> wrote:<br><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">
<div class="im">So what is the rationale for the new Monoidal operator <> to be declared infixr 6? Why can it not simply preserve the same fixity as already used by Pretty's <> ?</div></blockquote><div><br>
</div><div>Could someone put together a list of the operators in base and their precedence. Does making <> have precedence 6 change anything? It has right associativity because it's the right thing for "stream like" uses of <> (lists, builders, CPS).</div>
<div><br></div><div>Aside: I don't think we should try to avoid collisions with downstream symbols when growing the base libraries. It's just not a scalable approach engineering wise. We should use namespaces to distinguish symbols from different packages.</div>
<div><br></div><div>-- Johan</div><div><br></div></div>