[m-dev.] Rethink of impurity w.r.t. solver code in negated contexts

Ralph Becket rafe at cs.mu.OZ.AU
Wed Dec 7 10:50:38 AEDT 2005

Mark Brown, Wednesday,  7 December 2005:
> > At the moment main can be impure and the compiler will not complain.  I 
> > don't really see an issue with this, but I thought I'd just point that 
> > out.
> Oh... didn't realise that.  This means section 9.1 of the reference manual
> doesn't match what the compiler does.  In any case my point is still the same,
> for a suitable interpretation of "misbehaves".  ;-)

Of course, it's not clear what "impure" means in the context of a
predicate that does IO...
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

More information about the developers mailing list