Noel wrote:
> Ralf Hinze wrote:
> >
> > By chance, I noticed that the resolution of constraints in combination
> > with overlapping instances has changed in the `September 1999' version
> > of Hugs.
> >
> > This code scrap used to run ...
> [snip]
>
> >
> > Is this a deliberate change or a bug?
>
> I got bitten by something similar when upgrading. I've not got access to
> a Hugs98 interpreter right now, but IIRC there's a new option +m (?) you
> need to set to get the old behaviour back. There's a section in the
> hugs manual which explains this flag.
Hmm... most unfortunate! This is a bug. The reason you got the old
behavior back is because the multi-instance resolution function doesn't
have the overlapping instance change (talked about in my last note) applied
to it.
--Jeff
