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

[Peter Ross]

On Fri, Mar 30, 2001 at 09:09:28AM +0200, Nancy Mazur wrote:
> > 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. 
> 
I have been thinking about this, I think that for the MLDS backend we
are safe.  However for the LLDS backend, we aren't.  I guess I am just
waiting for a bug to prove me wrong.

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