projects
/
sbcl.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
0.7.1.43
[sbcl.git]
/
src
/
compiler
/
float-tran.lisp
diff --git
a/src/compiler/float-tran.lisp
b/src/compiler/float-tran.lisp
index
8279727
..
8ceae40
100644
(file)
--- a/
src/compiler/float-tran.lisp
+++ b/
src/compiler/float-tran.lisp
@@
-347,11
+347,13
@@
(movable foldable flushable))
(defknown (%asin %atan)
(movable foldable flushable))
(defknown (%asin %atan)
- (double-float) (double-float #.(- (/ pi 2)) #.(/ pi 2))
+ (double-float)
+ (double-float #.(coerce (- (/ pi 2)) 'double-float)
+ #.(coerce (/ pi 2) 'double-float))
(movable foldable flushable))
(defknown (%acos)
(movable foldable flushable))
(defknown (%acos)
- (double-float) (double-float 0.0d0 #.pi)
+ (double-float) (double-float 0.0d0 #.(coerce pi 'double-float))
(movable foldable flushable))
(defknown (%cosh)
(movable foldable flushable))
(defknown (%cosh)
@@
-375,7
+377,9
@@
(movable foldable flushable))
(defknown (%atan2)
(movable foldable flushable))
(defknown (%atan2)
- (double-float double-float) (double-float #.(- pi) #.pi)
+ (double-float double-float)
+ (double-float #.(coerce (- pi) 'double-float)
+ #.(coerce pi 'double-float))
(movable foldable flushable))
(defknown (%scalb)
(movable foldable flushable))
(defknown (%scalb)