I (require racket/flonum) and use `fllog'. Neil ⊥
On 05/09/2012 09:52 PM, Ray Racine wrote:
The Typed Racket Performance button in DrRacket informs me that (log v) returns a Complex type, despite all its arguments being reals and that if I do not want or expect a complex number as results, I mam restrict the type of the arguments. How does one do that? #lang typed/racket/base (: real-log (Float -> Float)) (define (real-log v) (assert (log v) flonum?)) ____________________ Racket Users list: http://lists.racket-lang.org/users
____________________ Racket Users list: http://lists.racket-lang.org/users