[mercury-users] Tagged datatypes and boxing

[Zoltan Somogyi]

Peter Schachte <schachte at cs.mu.OZ.AU> wrote:
> What about types involving pointers?  Here Mercury already does almost
> as well as it can, allowing 4 or 8 constructors each with at most 1
> address argument.  It could be improved a bit by allowing any number
> of nilary constructors to share a single 2 or 3 bit tag in the low
> bits, and then use the remaining bits to distinguish their values.

Warwick Harvey wrote:
> I think you'll find Mercury does this already (assuming I'm understanding 
> what you're saying).  And it has done for as long as long as I've known 
> about this stuff (at least a year).

In fact, the compiler was doing this from the very beginning of the project.

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