Proposal: Make gcd total

Yitzchak Gale gale at sefer.org
Mon May 30 06:56:05 CEST 2011


Daniel Fischer wrote:
> I would like to propose the elimination of the special error case
> gcd 0 0 = error "Prelude.gcd: gcd 0 0 is undefined"
> to replace it with
> gcd 0 0 = 0
> (which would be an automatic consequence of removing the above line).

+1 mod 4

-Yitz



More information about the Libraries mailing list