<br><div class="gmail_quote">On Mon, May 14, 2012 at 11:59 AM, Nils Anders Danielsson <span dir="ltr">&lt;<a href="mailto:nad@chalmers.se" target="_blank">nad@chalmers.se</a>&gt;</span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">

<div class="im">On 2012-05-14 08:51, Andreas Abel wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
This could be mended if for fixops we would consider all module<br>
parameters hidden, whether they are declared as such or not.<br>
</blockquote>
<br></div>
I think we should strive for simplicity and avoid special cases like<br>
this. Perhaps you /can/ currently write A + true, but do you?<br>
<br>
I think the main problem is that the pretty-printer sometimes writes<br>
A + true. Perhaps we can improve the pretty-printer.</blockquote><div><br></div><div>I agree with Nisse here. I think any change to the language would be</div><div>complicating things unduly. Changing the pretty printer to not print</div>

<div>A + true, on the other hand, sounds like a reasonable thing to do.</div><div><br></div><div>/ Ulf </div></div>