From 11ae3af9b304b7ad81645cb0c8516e51b9de898d Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Tue, 4 May 2010 17:26:33 -0400 Subject: [PATCH] add type for 2-arg `atan' original commit: 9ab4887e580d17d756e70642168c8c2171b92df1 --- collects/typed-scheme/private/base-env-numeric.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/typed-scheme/private/base-env-numeric.rkt b/collects/typed-scheme/private/base-env-numeric.rkt index 8790a1e8..5d19898f 100644 --- a/collects/typed-scheme/private/base-env-numeric.rkt +++ b/collects/typed-scheme/private/base-env-numeric.rkt @@ -136,7 +136,7 @@ [tan (N . -> . N)] [acos (N . -> . N)] [asin (N . -> . N)] -[atan (N . -> . N)] +[atan (cl->* (N . -> . N) (-Real -Real . -> . N))] [gcd (null -Integer . ->* . -Integer)] [lcm (null -Integer . ->* . -Integer)]