[mercury-users] hi & a feq queries
fjh at cs.mu.OZ.AU
Mon Aug 24 00:01:00 AEST 1998
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
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 184.108.40.206 | -- the last words of T. S. Garp.
More information about the users