From a1f647121d84c02b9224b11500db5a2732db6087 Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Fri, 11 Dec 2009 23:08:48 +0000 Subject: [PATCH] Fix type of sqrt svn: r17273 --- collects/typed-scheme/private/base-env-numeric.ss | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/typed-scheme/private/base-env-numeric.ss b/collects/typed-scheme/private/base-env-numeric.ss index 957a21db6f..f0c05718bd 100644 --- a/collects/typed-scheme/private/base-env-numeric.ss +++ b/collects/typed-scheme/private/base-env-numeric.ss @@ -107,7 +107,7 @@ [rationalize (N N . -> . N)] [expt (cl->* (-Integer -Integer . -> . -Integer) (N N . -> . N))] [sqrt (cl->* - (-Real . -> . -Real) + (-Nat . -> . -Real) (N . -> . N))] [log (cl->* (-Pos . -> . -Real)