<div dir="ltr">Oops.  Forgot that this list is setting Reply-to to the person, not the list.  Sorry, Peter.</div><div class="gmail_extra"><br><br><div class="gmail_quote">On 27 November 2013 12:55, Michael Richter <span dir="ltr"><<a href="mailto:ttmrichter@gmail.com" target="_blank">ttmrichter@gmail.com</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><div class="gmail_extra"><div><div class="h5"><div class="gmail_quote">On 26 November 2013 13:15, Peter Wang <span dir="ltr"><<a href="mailto:novalazy@gmail.com" target="_blank">novalazy@gmail.com</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<div>On Sun, 24 Nov 2013 15:42:14 +1100, Paul Bone <<a href="mailto:paul@bone.id.au" target="_blank">paul@bone.id.au</a>> wrote:<br>
> +<br>
> +:- pred pqueue.merge2(pqueue(K, V)::in, pqueue(K, V)::in, pqueue(K, V)::out)<br>
> +    is det.<br>
> +<br>
> +pqueue.merge2(empty,                   B,     B).<br>
> +pqueue.merge2(A@pqueue(_, _, _, _, _), empty, A).<br>
> +pqueue.merge2(pqueue(_, K, V, L, R),   !.PQ@pqueue(_, _, _, _, _), !:PQ) :-<br>
> +    pqueue.merge2(L, !PQ),<br>
> +    pqueue.merge2(R, !PQ),<br>
> +    pqueue.insert(K, V, !PQ).<br>
<br>
</div>pqueue.merge2(A, B, C) :-<br>
    (<br>
        A = empty,<br>
        C = B<br>
    ;<br>
        A = pqueue(_, _, _, _, _),<br>
        B = empty,<br>
        C = A<br>
    ;<br>
        A = pqueue(_, K, V, L, R),<br>
        B = pqueue(_, _, _, _, _),<br>
        merge2(L, B, C0),<br>
        merge2(R, C0, C1),<br>
        insert(K, V, C1, C)<br>
    ).<br></blockquote></div><div class="gmail_extra"><br></div></div></div>Personally I find the multiple functors easier to see that the switch has been appropriately covered.  The coverage data is basically tabular in nature.  The linear format of your choice here is IMO a poor fit.<span class="HOEnZb"><font color="#888888"><br clear="all">

<div><br></div>-- <br>"Perhaps people don't believe this, but throughout all of the discussions of entering China our focus has really been what's best for the Chinese people. It's not been about our revenue or profit or whatnot."<br>

--Sergey Brin, demonstrating the emptiness of the "don't be evil" mantra.
</font></span></div></div>
</blockquote></div><br><br clear="all"><div><br></div>-- <br>"Perhaps people don't believe this, but throughout all of the discussions of entering China our focus has really been what's best for the Chinese people. It's not been about our revenue or profit or whatnot."<br>
--Sergey Brin, demonstrating the emptiness of the "don't be evil" mantra.
</div>