comments on latest draft William D Clinger (04 Jun 2017 05:35 UTC)
Re: comments on latest draft William D Clinger (05 Jun 2017 18:39 UTC)
Re: comments on latest draft William D Clinger (07 Jun 2017 03:50 UTC)
Re: comments on latest draft Bradley Lucier (07 Jun 2017 19:55 UTC)
Re: comments on latest draft William D Clinger (07 Jun 2017 23:25 UTC)
Re: comments on latest draft Bradley Lucier (08 Jun 2017 01:09 UTC)
Re: comments on latest draft William D Clinger (09 Jun 2017 15:19 UTC)
Re: comments on latest draft Bradley Lucier (09 Jun 2017 17:11 UTC)
Re: comments on latest draft Bradley Lucier (09 Jun 2017 17:18 UTC)

Re: comments on latest draft Bradley Lucier 09 Jun 2017 17:18 UTC

On 06/09/2017 01:11 PM, Bradley Lucier wrote:
> (define fl+*-new
>    (lambda (x y z)
>      (if (and (flfinite? x)
>               (flfinite? y))
>          (if (flfinite? z)
>              (flonum (+ (* x y) z))
>              z)
>          (fl+ (fl* x y) z))))

That should be

(define fl+*-new
   (lambda (x y z)
     (if (and (flfinite? x)
              (flfinite? y))
         (if (flfinite? z)
             (let ((x (exact x))
                   (y (exact y))
                   (z (exact z)))
               (flonum (+ (* x y) z)))
             z)
         (fl+ (fl* x y) z))))

Brad