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

Reply via email to