[m-rev.] for post-commit review: optimize dummy types

[Zoltan Somogyi]

On 05-Oct-2005, Julien Fischer <juliensf at cs.mu.OZ.AU> wrote:
> > > now just be defined as :- type set_tree234(T) == tree234(T, unit)
> 
> Required for polymorphism in general or just because of how polmorphism
> is currently implemented?

If you have code to manipulate tree234(K, V), it ought to work for all V.
Therefore where the fields are located cannot depend on whether V is bound
to a dummy type or not.

Zoltan.
--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------