From 7cb135aa9530db5a4c2e30d5daa7468e8fbbe30d Mon Sep 17 00:00:00 2001 From: Taylor R Campbell Date: Sat, 24 May 2014 15:22:27 +0000 Subject: [PATCH] Add usual-integrations and note some ignored variables in ieee754.scm. --- src/runtime/ieee754.scm | 3 +++ 1 file changed, 3 insertions(+) diff --git a/src/runtime/ieee754.scm b/src/runtime/ieee754.scm index 50d83f2a1..2f6741109 100644 --- a/src/runtime/ieee754.scm +++ b/src/runtime/ieee754.scm @@ -22,6 +22,8 @@ USA. |# ;;;; IEEE 754 Format + +(declare (usual-integrations)) (define (decompose-ieee754-double x) (decompose-ieee754-binary x 11 53)) @@ -165,6 +167,7 @@ USA. (define (ieee754-binary-hex-string x exponent-bits precision) (receive (base emin emax bias exp-subnormal exp-inf/nan) (ieee754-binary-parameters exponent-bits precision) + bias exp-subnormal exp-inf/nan (define (symbolic sign name extra) (assert (or (= sign 0) (= sign 1))) (assert (<= 0 extra)) -- 2.25.1