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

[Zoltan Somogyi]

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. Therefore tree234(T, unit) will still
be less efficient than the existing definition.

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