[m-dev.] from [mercury-users] Re: Question regardi^[[Dng determinism

[Mark Anthony BROWN]

> 
> Hi all,
> 
> Thought I'd move this one to mercury-developers... this thread might get
> pretty technical.
> 
> On 19-Aug-1998, Thomas Charles CONWAY <conway at cs.mu.OZ.AU> wrote:
> > 
> > moddat__add_assumption(Obj, Model, [a(Obj)|Model]) :-
> > 	some [] (
> > 		list__member(o(Obj, _), Model)
> > 	).
> 
> Yuck! IMHO, the compiler is not handling implied modes correctly.

Mine too.
 
[...]
> 
> Thoughts?

That piece of code should be described as a temporary workaround
only.  I wouldn't relish having to explain to somebody why the
empty quantification is necessary.

Cheers,
Mark
-- 
Mark Brown  (dougl at cs.mu.oz.au)           |  Let's talk about tax, baby
MEngSc student,                     )O+   |  Let's talk about GST
Dept of Computer Science                  |  Let's make a wider gap twixt
University of Melbourne                   |  Affluence and po-ver-ty ...