From 88dc30aa3c1fcc0707a440aa9e9558d0e1764bb5 Mon Sep 17 00:00:00 2001 From: Vincent St-Amour Date: Fri, 21 May 2010 17:52:49 -0400 Subject: [PATCH] Extended the type signatures of trigonometric operations. Include in 5.0 release. --- collects/typed-scheme/private/base-env-numeric.rkt | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/collects/typed-scheme/private/base-env-numeric.rkt b/collects/typed-scheme/private/base-env-numeric.rkt index 853d7a52ba..c80d9ad658 100644 --- a/collects/typed-scheme/private/base-env-numeric.rkt +++ b/collects/typed-scheme/private/base-env-numeric.rkt @@ -141,12 +141,12 @@ (-Pos . -> . -Real) (N . -> . N))] [exp (N . -> . N)] -[cos (N . -> . N)] -[sin (N . -> . N)] -[tan (N . -> . N)] -[acos (N . -> . N)] -[asin (N . -> . N)] -[atan (cl->* (N . -> . N) (-Real -Real . -> . N))] +[cos (cl->* (-Flonum . -> . -Flonum) (-Real . -> . -Real) (N . -> . N))] +[sin (cl->* (-Flonum . -> . -Flonum) (-Real . -> . -Real) (N . -> . N))] +[tan (cl->* (-Flonum . -> . -Flonum) (-Real . -> . -Real) (N . -> . N))] +[acos (cl->* (-Flonum . -> . -Flonum) (-Real . -> . -Real) (N . -> . N))] +[asin (cl->* (-Flonum . -> . -Flonum) (-Real . -> . -Real) (N . -> . N))] +[atan (cl->* (-Flonum . -> . -Flonum) (-Real . -> . -Real) (N . -> . N) (-Real -Real . -> . N))] [gcd (null -Integer . ->* . -Integer)] [lcm (null -Integer . ->* . -Integer)]