[m-rev.] [reuse] diff: no aliases between primitive types

[Nancy Mazur]

> On 29-Mar-2001, Nancy Mazur <Nancy.Mazur at cs.kuleuven.ac.be> wrote:
> > pa_alias.m:
> > 	Before generating an alias with an argument of a
> > 	construction or deconstruction unification, verify whether it's
> > 	type is non-atomic. If it's atomic (int, float, char, enum, ..), 
> > 	then no alias is made. 
> 
> You should think carefully about whether that is the right thing to do
> for `float', which may be boxed.  (It may well be, I'm just mentioning
> this in case you hadn't considered the issue.)

Hmm, no, I hadn't thought about this. So due to boxing, floats might
be aliased? If that is so, than indeed, I will need to fix this. 

Nancy

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