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

[Julien Fischer]

On Wed, 5 Oct 2005, Zoltan Somogyi wrote:

> On 05-Oct-2005, Julien Fischer <juliensf at cs.mu.OZ.AU> wrote:
> > Does this have any effect on type specialisation if one of the types
> > being specialised is a dummy type?  Could the the set_tree234 type
> > now just be defined as :- type set_tree234(T) == tree234(T, unit)
> > or is this definition still going to be less efficient than the
> > existing one in the library.
>
> Values of dummy types still have space allocated for them in structures;
> this is required for polymorphism.

Required for polymorphism in general or just because of how polmorphism
is currently implemented?

Julien.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------