[racket] Typed Racket Performance Optimization

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