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.
cheers
noel
--
Noel Winstanley
Dept of Computing Science
University of Glasgow
http://www.dcs.gla.ac.uk/~nww/
mailto:[EMAIL PROTECTED]
