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. Counterexample in GHCI:
ghci 5.04:
*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 True
Kind regards, Robert
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.
participants (2)
-
Robert Reitmeier -
Ross Paterson