[m-rev.] for review: Define equality for version_hash_tables

[Julien Fischer]

On Mon, May 27, 2013 at 5:26 PM, Paul Bone <paul at bone.id.au> wrote:

> On Mon, May 27, 2013 at 01:44:24PM +1000, Julien Fischer wrote:
> >
> > On Mon, 27 May 2013, Peter Wang wrote:
> >
> >
> > Agreed.  Furthermore, the equality predicate needs to be exported from
> > the module since things will currently break if it isn't.
> >
>
> Do I need to export the type with the where equality is ... expression?
> eg:
>
> :- interface.
>
> :- type version_hash_table(K, V)
>     where equality is version_hash_table.equals.
>
> :- implementation.
>
> :- type version_hash_table(K, V)
>     --->    ht_outer(ht_inner(K, V)).
>

No, IIRC jus the declaration for the equality pred.

Cheers,
Julien.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.mercurylang.org/archives/reviews/attachments/20130527/409a199e/attachment.html>