[racket-dev] `math' compilation time !!!

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

On 27-02-13 21:51, Neil Toronto wrote:

> (An example that came up in the implementation of matrix norms: the
> type of (sqrt (/ 1 x)) isn't Nonnegative-Real if x :
> Nonnegative-Real, but Complex. Consider x = -0.0. Without TR's
> complaints, `matrix-norm' would have contained a time bomb.)

Should -0.0 really be a Nonnegative-Real?

Marijn
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2.0.19 (GNU/Linux)
Comment: Using GnuPG with Thunderbird - http://www.enigmail.net/

iEYEARECAAYFAlEwYUEACgkQp/VmCx0OL2xaggCfUPkt0tdp8fnpo0/ig+3GacNH
fQoAniPJdBWqzQhkJeZ7FU7qdPbhZgQ9
=BH1h
-----END PGP SIGNATURE-----