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
