From: <cli...@li...> - 2004-06-12 03:25:32
|
Send clisp-cvs mailing list submissions to cli...@li... To subscribe or unsubscribe via the World Wide Web, visit https://lists.sourceforge.net/lists/listinfo/clisp-cvs or, via email, send a message with subject or body 'help' to cli...@li... You can reach the person managing the list at cli...@li... When replying, please edit your Subject line so it is more specific than "Re: Contents of clisp-cvs digest..." CLISP CVS commits for today Today's Topics: 1. clisp/src clos-genfun1.lisp,1.4,1.5 clos-genfun2.lisp,1.6,1.7 ChangeLog,1.3172,1.3173 (Bruno Haible) 2. clisp/src clos-method1.lisp,1.1,1.2 clos-method2.lisp,1.2,1.3 ChangeLog,1.3173,1.3174 (Bruno Haible) 3. clisp/src NEWS,1.152,1.153 (Sam Steingold) 4. clisp/doc impbody.xml,1.246,1.247 (Sam Steingold) --__--__-- Message: 1 From: Bruno Haible <ha...@us...> To: cli...@li... Subject: clisp/src clos-genfun1.lisp,1.4,1.5 clos-genfun2.lisp,1.6,1.7 ChangeLog,1.3172,1.3173 Date: Fri, 11 Jun 2004 12:17:47 +0000 Reply-To: cli...@li... Update of /cvsroot/clisp/clisp/src In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv16123/src Modified Files: clos-genfun1.lisp clos-genfun2.lisp ChangeLog Log Message: Move code around. Index: clos-genfun2.lisp =================================================================== RCS file: /cvsroot/clisp/clisp/src/clos-genfun2.lisp,v retrieving revision 1.6 retrieving revision 1.7 diff -u -d -r1.6 -r1.7 --- clos-genfun2.lisp 11 Jun 2004 10:47:07 -0000 1.6 +++ clos-genfun2.lisp 11 Jun 2004 12:17:44 -0000 1.7 @@ -6,47 +6,6 @@ (in-package "CLOS") -;; low-level-representation: -;; Compiled functions (Cclosures), for which a certain bit is set in -;; the flag-byte of the code-vector. Additionally behind it: -;; - the signature, a signature struct (see compiler.lisp) -;; - the argument-precedence-order, as list of numbers from 0 to reqanz-1, -;; - the list of all methods. -;; - the method combination object - -;; The compiler uses (at GENERIC-FLET, GENERIC-LABELS) and the evaluator -;; presupposes likewise, that a generic function does not change its -;; calling convention. -;; A generic function with signature (reqanz optanz restp keywords allowp) -;; is from the very beginning (!) a compiled function with -;; reqanz required parameters -;; 0 optional parameters -;; &rest if and only if (or (> optanz 0) restp), -;; without &key. -(defun callinfo (reqanz optanz restp keywords allowp) - (declare (ignore keywords allowp)) - (list reqanz 0 (or (> optanz 0) restp) nil nil nil)) - -(defun gf-signature (gf) - (sys::%record-ref gf 3)) -(defun (setf gf-signature) (new gf) - (setf (sys::%record-ref gf 3) new)) - -(defun gf-argorder (gf) - (sys::%record-ref gf 4)) -(defun (setf gf-argorder) (new gf) - (setf (sys::%record-ref gf 4) new)) - -(defun gf-methods (gf) - (sys::%record-ref gf 5)) -(defun (setf gf-methods) (new gf) - (setf (sys::%record-ref gf 5) new)) - -(defun gf-method-combination (gf) - (sys::%record-ref gf 6)) -(defun (setf gf-method-combination) (new gf) - (setf (sys::%record-ref gf 6) new)) - ;; The dispatch-code for generic functions is formed with ;; `(%GENERIC-FUNCTION-LAMBDA ,@lambdabody) ;; - similar to `(FUNCTION (LAMBDA ,@lambdabody)) -. Index: clos-genfun1.lisp =================================================================== RCS file: /cvsroot/clisp/clisp/src/clos-genfun1.lisp,v retrieving revision 1.4 retrieving revision 1.5 diff -u -d -r1.4 -r1.5 --- clos-genfun1.lisp 11 Jun 2004 12:16:22 -0000 1.4 +++ clos-genfun1.lisp 11 Jun 2004 12:17:44 -0000 1.5 @@ -5,3 +5,44 @@ (in-package "CLOS") + +;; low-level-representation: +;; Compiled functions (Cclosures), for which a certain bit is set in +;; the flag-byte of the code-vector. Additionally behind it: +;; - the signature, a signature struct (see compiler.lisp) +;; - the argument-precedence-order, as list of numbers from 0 to reqanz-1, +;; - the list of all methods. +;; - the method combination object + +;; The compiler uses (at GENERIC-FLET, GENERIC-LABELS) and the evaluator +;; presupposes likewise, that a generic function does not change its +;; calling convention. +;; A generic function with signature (reqanz optanz restp keywords allowp) +;; is from the very beginning (!) a compiled function with +;; reqanz required parameters +;; 0 optional parameters +;; &rest if and only if (or (> optanz 0) restp), +;; without &key. +(defun callinfo (reqanz optanz restp keywords allowp) + (declare (ignore keywords allowp)) + (list reqanz 0 (or (> optanz 0) restp) nil nil nil)) + +(defun gf-signature (gf) + (sys::%record-ref gf 3)) +(defun (setf gf-signature) (new gf) + (setf (sys::%record-ref gf 3) new)) + +(defun gf-argorder (gf) + (sys::%record-ref gf 4)) +(defun (setf gf-argorder) (new gf) + (setf (sys::%record-ref gf 4) new)) + +(defun gf-methods (gf) + (sys::%record-ref gf 5)) +(defun (setf gf-methods) (new gf) + (setf (sys::%record-ref gf 5) new)) + +(defun gf-method-combination (gf) + (sys::%record-ref gf 6)) +(defun (setf gf-method-combination) (new gf) + (setf (sys::%record-ref gf 6) new)) Index: ChangeLog =================================================================== RCS file: /cvsroot/clisp/clisp/src/ChangeLog,v retrieving revision 1.3172 retrieving revision 1.3173 diff -u -d -r1.3172 -r1.3173 --- ChangeLog 11 Jun 2004 12:16:22 -0000 1.3172 +++ ChangeLog 11 Jun 2004 12:17:44 -0000 1.3173 @@ -1,5 +1,12 @@ 2004-05-31 Bruno Haible <br...@cl...> + * clos-genfun2.lisp (callinfo, gf-signature, gf-argorder, gf-methods, + gf-method-combination): Move to clos-genfun1.lisp. + * clos-genfun1.lisp (callinfo, gf-signature, gf-argorder, gf-methods, + gf-method-combination): New functions, from clos-genfun2.lisp. + +2004-05-31 Bruno Haible <br...@cl...> + * clos-methcomb2.lisp: Merge all of clos-genfun1, clos-methcomb2, clos-methcomb3, clos-methcomb4, clos-methcomb5. * clos-genfun1.lisp (method-applicable-p, sort-applicable-methods): --__--__-- Message: 2 From: Bruno Haible <ha...@us...> To: cli...@li... Subject: clisp/src clos-method1.lisp,1.1,1.2 clos-method2.lisp,1.2,1.3 ChangeLog,1.3173,1.3174 Date: Fri, 11 Jun 2004 12:19:34 +0000 Reply-To: cli...@li... Update of /cvsroot/clisp/clisp/src In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv17466/src Modified Files: clos-method1.lisp clos-method2.lisp ChangeLog Log Message: Move code around. Index: clos-method2.lisp =================================================================== RCS file: /cvsroot/clisp/clisp/src/clos-method2.lisp,v retrieving revision 1.2 retrieving revision 1.3 diff -u -d -r1.2 -r1.3 --- clos-method2.lisp 4 Apr 2004 15:19:17 -0000 1.2 +++ clos-method2.lisp 11 Jun 2004 12:19:31 -0000 1.3 @@ -6,6 +6,10 @@ (in-package "CLOS") +;; auxiliary function: test for lambda-list-marker. +(defun lambda-list-keyword-p (x) + (memq x lambda-list-keywords)) + ;;; For DEFMETHOD, DEFGENERIC, GENERIC-FUNCTION, GENERIC-FLET, ;;; GENERIC-LABELS, WITH-ADDED-METHODS ;; caller: symbol Index: clos-method1.lisp =================================================================== RCS file: /cvsroot/clisp/clisp/src/clos-method1.lisp,v retrieving revision 1.1 retrieving revision 1.2 diff -u -d -r1.1 -r1.2 --- clos-method1.lisp 2 Apr 2004 10:10:51 -0000 1.1 +++ clos-method1.lisp 11 Jun 2004 12:19:31 -0000 1.2 @@ -39,7 +39,3 @@ (write q :stream stream) (write-char #\Space stream)) (write (std-method-parameter-specializers method) :stream stream))) - -;; auxiliary function: test for lambda-list-marker. -(defun lambda-list-keyword-p (x) - (memq x lambda-list-keywords)) Index: ChangeLog =================================================================== RCS file: /cvsroot/clisp/clisp/src/ChangeLog,v retrieving revision 1.3173 retrieving revision 1.3174 diff -u -d -r1.3173 -r1.3174 --- ChangeLog 11 Jun 2004 12:17:44 -0000 1.3173 +++ ChangeLog 11 Jun 2004 12:19:31 -0000 1.3174 @@ -1,5 +1,11 @@ 2004-05-31 Bruno Haible <br...@cl...> + * clos-method1.lisp (lambda-list-keyword-p): Move to clos-method2.lisp. + * clos-method2.lisp (lambda-list-keyword-p): New function, from + clos-method1.lisp. + +2004-05-31 Bruno Haible <br...@cl...> + * clos-genfun2.lisp (callinfo, gf-signature, gf-argorder, gf-methods, gf-method-combination): Move to clos-genfun1.lisp. * clos-genfun1.lisp (callinfo, gf-signature, gf-argorder, gf-methods, --__--__-- Message: 3 From: Sam Steingold <sd...@us...> To: cli...@li... Subject: clisp/src NEWS,1.152,1.153 Date: Fri, 11 Jun 2004 13:42:01 +0000 Reply-To: cli...@li... Update of /cvsroot/clisp/clisp/src In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv18575/src Modified Files: NEWS Log Message: link into impnotes for UPGRADED-COMPLEX-PART-TYPE & TRACE make sure there is nothing between NAMESTRING & TRANSLATE-PATHNAME Index: NEWS =================================================================== RCS file: /cvsroot/clisp/clisp/src/NEWS,v retrieving revision 1.152 retrieving revision 1.153 diff -u -d -r1.152 -r1.153 --- NEWS 11 Jun 2004 12:01:22 -0000 1.152 +++ NEWS 11 Jun 2004 13:41:58 -0000 1.153 @@ -107,16 +107,18 @@ + LAST, BUTLAST and NBUTLAST check their list argument for circularity. + NAMESTRING no longer accepts an optional second argument. -* TRACE has a new option :MAX-DEPTH, that is useful to avoid infinite - recursions in the tracer. - * TRANSLATE-PATHNAME and TRANSLATE-LOGICAL-PATHNAME accept a new keyword argument :ABSOLUTE which makes them convert their return values to absolute pathnames. See <http://clisp.cons.org/impnotes.html#translate-pathname> and <http://clisp.cons.org/impnotes.html#translate-logpath> for details. -* The behaviour of the function UPGRADED-COMPLEX-PART-TYPE has changed. +* TRACE has a new option :MAX-DEPTH, that is useful to avoid infinite + recursions in the tracer. + See <http://clisp.cons.org/impnotes.html#trace> for details. + +* Function UPGRADED-COMPLEX-PART-TYPE is now as precise as possible. + See <http://clisp.cons.org/impnotes.html#ucpt> for details. * In non-interactive batch mode, *ERROR-OUTPUT* now uses the system's standard error stream, instead of the standard output stream. --__--__-- Message: 4 From: Sam Steingold <sd...@us...> To: cli...@li... Subject: clisp/doc impbody.xml,1.246,1.247 Date: Fri, 11 Jun 2004 13:42:23 +0000 Reply-To: cli...@li... Update of /cvsroot/clisp/clisp/doc In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv18933/doc Modified Files: impbody.xml Log Message: updated UPGRADED-COMPLEX-PART-TYPE doc Index: impbody.xml =================================================================== RCS file: /cvsroot/clisp/clisp/doc/impbody.xml,v retrieving revision 1.246 retrieving revision 1.247 diff -u -d -r1.246 -r1.247 --- impbody.xml 11 Jun 2004 10:58:41 -0000 1.246 +++ impbody.xml 11 Jun 2004 13:42:20 -0000 1.247 @@ -1476,12 +1476,12 @@ <section id="num-dict"><title>The Numbers Dictionary <ulink url="&clhs;/Body/sec_the_numbers_dictionary.html">[CLHS-12.2]</ulink></title> -<formalpara><title>Function &upgraded-complex-part-type;</title> +<formalpara id="ucpt"><title>Function &upgraded-complex-part-type;</title> <para>When the argument is not a &recog-subt; or &real-t;, - &upgraded-complex-part-type; &signal;s an &error-t;, - otherwise it returns &real-t;, since a &complex-t; number in - &clisp; can always have ℜ and ℑ of any type. -</para></formalpara> + &upgraded-complex-part-type; &signal;s an &error-t;, otherwise it + returns its argument (even though a &complex-t; number in &clisp; can + always have ℜ and ℑ of any type) because it allows + the most precise type inference.</para></formalpara> <formalpara id="default-float-format"> <title>Variable &default-float-format;</title> --__--__-- _______________________________________________ clisp-cvs mailing list cli...@li... https://lists.sourceforge.net/lists/listinfo/clisp-cvs End of clisp-cvs Digest |