[m-dev.] [reuse] fixes of some naughty bugs

[Peter Ross]

> > > But if this is the case, as all pragma_foreign_code is always
> > > assumed impure,
> > 
> > That's not the case currently (at least on the main branch).
> > Currently pragma_foreign_code is assumed pure.
> 
> No, not within my analysis: they are implicitly assumed as dangerous 
> code, and treated as `can potentially do anything'-code. 
> 
I think you are talking at cross purposes here.  Fergus is talking about
the pure/impure annotations which can be placed on predicates and
functions.  Nancy is talking about the assumptions that are made when
determining the aliases for foreign_code, which is, as she says, it can do
anything so make no assumptions apart from those promised by the modes
and types declared.

Pete
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------