>>>>> "Simon" == Simon Peyton-Jones <[EMAIL PROTECTED]> writes:
Simon> gcd x y is the greatest POSITIVE integer that divides
Simon> both x and y.
Simon> I don't think that changes the specification in fact, but
Simon> experience has led me to always check these things!
I find it confusing to read a definition which contains redundant
information. Instead, I'd suggest to add something like:
"Note: this number is always positive"
Cheers
--
Christoph Herrmann
_______________________________________________
Haskell mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/haskell