[mercury-users] hi & a feq queries

[Fergus Henderson]

On 19-Aug-1998, Thomas Charles CONWAY <conway at cs.mu.OZ.AU> wrote:
> Donald Syme, you write:
> > The (small) problem that made me go check out the manual (and subsequently
> > led to my stupid question) was switch detection when existentials
> > guard the cases, e.g. :
> > 
> > :- module junk.
> > :- interface.
> > :- import_module list.
> > :- pred h(list(int) :: in, int :: out) is det.
> > :- implementation.
> > 
> > h(A,B) :- (A = [], B = 1 ; 
> >           (some [H,T] (A = [H|T], B = 2))).
>
> I'm not sure, but I think we may have fixed this in the development
> version.

Yes, that's correct.  Someone had reported that problem already,
and we have fixed it in our latest development version.

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
WWW: <http://www.cs.mu.oz.au/~fjh>  |  of excellence is a lethal habit"
PGP: finger fjh at 128.250.37.3        |     -- the last words of T. S. Garp.