Skip to content
Snippets Groups Projects
Commit 44ca897b authored by Raymond Toy's avatar Raymond Toy
Browse files

Forgot to compiler that DECODE-FLOAT can return +/- 1w0 for the sign.

parent 667a476a
No related branches found
No related tags found
No related merge requests found
...@@ -306,7 +306,9 @@ ...@@ -306,7 +306,9 @@
(defknown decode-float (float) (defknown decode-float (float)
(values (float 0.5d0 (1d0)) (values (float 0.5d0 (1d0))
float-exponent float-exponent
(member 1f0 -1f0 -1d0 1d0)) (member 1f0 -1f0 -1d0 1d0
#+double-double -1w0
#+double-double 1w0))
(movable foldable flushable explicit-check)) (movable foldable flushable explicit-check))
(defknown scale-float (float float-exponent) float (defknown scale-float (float float-exponent) float
(movable foldable flushable explicit-check)) (movable foldable flushable explicit-check))
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment