recip bug?!

[Ross Paterson]

On Sun, Nov 23, 2003 at 02:21:09PM +0100, Robert Reitmeier wrote:
> HUGS says:
> 
> > Main> :version
> > -- Hugs Version December 2001
> > Main> (-1)%1
> > -1 % 1
> > Main> recip ((-1)%1)
> > 1 % -1
> > Main> (recip ((-1)%1))+(1%1)
> > 0 % -1
> > Main> ((recip ((-1)%1))+(1%1))==0
> > False
> 
> It's the same with HUGS Version November 2002, which
> is the newest I know of.

Thanks for the report -- this one is already fixed in the development
version, which will be released Real Soon Now.