From 3129af3ce24b38999f0fe05fb286f455ad15548a Mon Sep 17 00:00:00 2001 From: ram <ram> Date: Sat, 16 Nov 1991 15:49:08 +0000 Subject: [PATCH] Fixed DEFKNOWN for ATAN to allow two arguments again. --- compiler/fndb.lisp | 9 +++++++-- 1 file changed, 7 insertions(+), 2 deletions(-) diff --git a/compiler/fndb.lisp b/compiler/fndb.lisp index 4d66d222e..8b79f6220 100644 --- a/compiler/fndb.lisp +++ b/compiler/fndb.lisp @@ -7,7 +7,7 @@ ;;; Scott Fahlman or slisp-group@cs.cmu.edu. ;;; (ext:file-comment - "$Header: /Volumes/share2/src/cmucl/cvs2git/cvsroot/src/compiler/fndb.lisp,v 1.30 1991/11/12 16:10:39 ram Exp $") + "$Header: /Volumes/share2/src/cmucl/cvs2git/cvsroot/src/compiler/fndb.lisp,v 1.31 1991/11/16 15:49:08 ram Exp $") ;;; ;;; ********************************************************************** ;;; @@ -246,7 +246,12 @@ (movable foldable flushable explicit-check recursive) :derive-type #'result-type-float-contagion) -(defknown (atan tan sinh cosh tanh asinh) +(defknown atan + (number &optional real) irrational + (movable foldable flushable explicit-check recursive) + :derive-type #'result-type-float-contagion) + +(defknown (tan sinh cosh tanh asinh) (number) irrational (movable foldable flushable explicit-check recursive) :derive-type #'result-type-float-contagion) -- GitLab