<div dir="ltr"><div class="gmail_extra"><br><div class="gmail_quote">On Mon, May 27, 2013 at 5:26 PM, 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 Mon, May 27, 2013 at 01:44:24PM +1000, Julien Fischer wrote:<br>
><br>
> On Mon, 27 May 2013, Peter Wang wrote:<br>
><br>
><br>
</div><div class="im">> Agreed.  Furthermore, the equality predicate needs to be exported from<br>
> the module since things will currently break if it isn't.<br>
><br>
<br>
</div>Do I need to export the type with the where equality is ... expression?<br>
eg:<br>
<br>
:- interface.<br>
<br>
:- type version_hash_table(K, V)<br>
    where equality is version_hash_table.equals.<br>
<br>
:- implementation.<br>
<br>
:- type version_hash_table(K, V)<br>
    --->    ht_outer(ht_inner(K, V)).<br></blockquote><div><br></div><div>No, IIRC jus the declaration for the equality pred.</div><div><br></div><div>Cheers,</div><div>Julien.</div><div> </div></div></div></div>