<div dir="ltr"><br><div class="gmail_extra"><div class="gmail_quote">On Tue, Nov 19, 2013 at 8:57 AM, Paul Bone <span dir="ltr"><<a href="mailto:paul@bone.id.au" target="_blank">paul@bone.id.au</a>></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 Tue, Nov 19, 2013 at 01:21:50AM +1100, Julien Fischer wrote:<br>
><br>
> Hi,<br>
><br>
> On Mon, 18 Nov 2013, Paul Bone wrote:<br>
><br>
>>>  @@ -47,6 +51,15 @@<br>
>>>   :- pred pqueue.insert(K::in, V::in, pqueue(K, V)::in, pqueue(K, V)::out)<br>
>>>       is det.<br>
>>><br>
>>>  +    % Extract the smallest item from the priority queue without removing<br>
>>> it.<br>
>>>  +    % Fails if the priority queue is empty.<br>
>>>  +    %<br>
>>>  +:- pred pqueue.peek(pqueue(K, V)::in, V::out) is semidet.<br>
>>>  +<br>
>>>  +    % As above, but calls error/1 if the priority queue is empty.<br>
>>>  +:- func pqueue.det_peek(pqueue(K, V)) = V.<br>
>>>  +:- pred pqueue.det_peek(pqueue(K, V)::in, V::out) is det.<br>
>>>  +<br>
>>>       % Remove the smallest item from the priority queue.<br>
>>>       % Fails if the priority queue is empty.<br>
>>>       %<br>
>><br>
>> How long are lines in your text editor?  We like to limit lines to 76<br>
>> columns so taht a diff plus an e-mail reply doesn't cause wrapping.<br>
><br>
> Do we?  According to the Mercury project's coding standard we limit them<br>
> to 79 characters.  And indeed, that's what most of the code does.<br>
<br>
</div>Can we change it to 76?  I've been assuming 76 the whole time.</blockquote><div><br></div><div>No.</div><div><br></div><div>Cheers,</div><div>Julien.</div><div><br></div><div> </div></div></div></div>