On Sun, Nov 6, 2011 at 9:40 AM, Malcolm Wallace <span dir="ltr">&lt;<a href="mailto:malcolm.wallace@me.com">malcolm.wallace@me.com</a>&gt;</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 &lt;&gt; to be declared infixr 6?  Why can it not simply preserve the same fixity as already used by Pretty&#39;s &lt;&gt; ?</div></blockquote><div><br>

</div><div>Could someone put together a list of the operators in base and their precedence. Does making &lt;&gt; have precedence 6 change anything? It has right associativity because it&#39;s the right thing for &quot;stream like&quot; uses of &lt;&gt; (lists, builders, CPS).</div>

<div><br></div><div>Aside: I don&#39;t think we should try to avoid collisions with downstream symbols when growing the base libraries. It&#39;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>