April 2026 - cmucl-cvs - mailman3.common-lisp.net

[Git][cmucl/cmucl][issue-495-describe-deftypes] 3 commits: Add comments to bootstrap file.
by Raymond Toy (＠rtoy) 30 Apr '26

30 Apr '26

Raymond Toy pushed to branch issue-495-describe-deftypes at cmucl / cmucl Commits: 4ed6c57f by Raymond Toy at 2026-04-30T07:04:04-07:00 Add comments to bootstrap file. Just clarify what we're doing and for what issue - - - - - f1a5651a by Raymond Toy at 2026-04-30T07:04:56-07:00 Print out the source location for the deftype The source location is stored in :deftype so we need to use that for the source location instead of :defvar. Updated cmucl.pot for new strings. - - - - - dde2e4ab by Raymond Toy at 2026-04-30T07:22:22-07:00 Cross-compile build needs a cross boostrap file Add new variable "crossboot" to hold the option to specify a cross bootstrap file for cross-build-world to use. In this case, we need one for the deftype changes, and it's the same boot file we would use for the normal build. - - - - - 4 changed files: - .gitlab-ci.yml - src/bootfiles/21f/boot-21f.lisp - src/code/describe.lisp - src/i18n/locale/cmucl.pot Changes: ===================================== .gitlab-ci.yml ===================================== @@ -7,7 +7,11 @@ variables: download_url: "https://common-lisp.net/project/cmucl/downloads/release/$release" version: "$release-x86" tar_ext: "xz" + # bootstrap is for normal builds bootstrap: "-B boot-21f" + # crossboot is for cross-compiles where the cross-compile script + # isn't enough and we need an extra file. + crossboot: "-B src/bootfiles/21f/boot-21f" workflow: rules: @@ -229,7 +233,7 @@ linux:cross-build: script: - bin/create-target.sh xtarget $CONFIG - bin/create-target.sh xcross $CONFIG - - bin/cross-build-world.sh -crl xtarget xcross src/tools/cross-scripts/cross-x86-x86.lisp snapshot/bin/lisp + - bin/cross-build-world.sh $crossboot -crl xtarget xcross src/tools/cross-scripts/cross-x86-x86.lisp snapshot/bin/lisp - bin/build.sh -b xlinux $bootstrap -R -C $CONFIG -o "xtarget/lisp/lisp -lib xtarget/lisp" - bin/make-dist.sh -I xdist xlinux-4 ===================================== src/bootfiles/21f/boot-21f.lisp ===================================== @@ -1,11 +1,20 @@ +;; Bootstrap file for issue #495 to add more information when +;; describing user-defined types. +;; (setf lisp::*enable-package-locked-errors* nil) (in-package "C") -;; deftype information +;; New deftype information. +;; +;; We define a :lambda-list for types where we can store the +;; lambda-list of the deftype. We also add a :defype source-location +;; for deftypes so we don't use :defvar for this. (define-info-type type lambda-list list nil) (define-info-type source-location deftype (or form-numbers null) nil) (in-package "LISP") +;; New deftype macro to saves the lambda-list of the type. %deftype +;; is updated to take the extra arg for the lambda-list. (defmacro deftype (name arglist &body body) "Syntax like DEFMACRO, but defines a new type." (unless (symbolp name) ===================================== src/code/describe.lisp ===================================== @@ -480,18 +480,14 @@ (describe pcl-class))))) ;; ;; Print out information about any types named by the symbol - #+nil - (when (eq (info type kind x) :defined) - (format t (intl:gettext "~&It names a type specifier."))) - (format t "info type kind = ~A~%" (info type kind x)) - (case (info type kind x) + (case (info :type :kind x) (:defined ;; User defined type (format t (intl:gettext "~&It names a type specifier.")) (let ((lambda-list (info type lambda-list x))) (when lambda-list - (format t (intl:gettext "~& Lambda list: ~S") lambda-list))) - (let ((expander (info type expander x))) + (format t (intl:gettext "~& Lambda list: ~S") lambda-list))) + (let ((expander (info :type :expander x))) (when expander (let ((expansion (ignore-errors (funcall expander (list x))))) (when expansion @@ -499,10 +495,10 @@ (list x) expansion)))))) (:primitive ;; Primitive built-in type - (format t (intl:gettext "~&It names a type specifier.")) - (let ((builtin (info type builtin x))) + (format t (intl:gettext "~&It names a primitive type specifier.")) + (let ((builtin (info :type :builtin x))) (when builtin - (format t (intl:gettext "~& Internal type: ~S") builtin))))) + (format t (intl:gettext "~& Internal type: ~S") builtin))))) ;; ;; Print out properties, possibly ignoring implementation details. (do ((plist (symbol-plist X) (cddr plist))) @@ -512,6 +508,15 @@ (describe (cadr plist)))) ;; Describe where it was defined. + ;; + ;; Note: Source location for user-defined types is stored in + ;; :deftype. However :defvar is currently used for defvar, + ;; defparameter, defconstant. Just try printing both :defvar and + ;; :deftype locations. They should be distinct. (let ((locn (info :source-location :defvar x))) (when locn - (format t (intl:gettext "~&It is defined in:~&~A") (c::file-source-location-pathname locn))))) + (format t (intl:gettext "~&It is defined in:~&~A") (c::file-source-location-pathname locn)))) + (let ((locn (info :source-location :deftype x))) + (when locn + (format t (intl:gettext "~&The type is defined in:~&~A") + (c::file-source-location-pathname locn))))) ===================================== src/i18n/locale/cmucl.pot ===================================== @@ -13132,7 +13132,7 @@ msgid "~&It names a type specifier." msgstr "" #: src/code/describe.lisp -msgid "~& Lambda list: ~S" +msgid "~& Lambda list: ~S" msgstr "" #: src/code/describe.lisp @@ -13140,7 +13140,11 @@ msgid "~& Sample expansion: ~S: ~S" msgstr "" #: src/code/describe.lisp -msgid "~& Internal type: ~S" +msgid "~&It names a primitive type specifier." +msgstr "" + +#: src/code/describe.lisp +msgid "~& Internal type: ~S" msgstr "" #: src/code/describe.lisp @@ -13151,6 +13155,10 @@ msgstr "" msgid "~&It is defined in:~&~A" msgstr "" +#: src/code/describe.lisp +msgid "~&The type is defined in:~&~A" +msgstr "" + #: src/code/tty-inspect.lisp msgid "~%That slot is unbound.~%" msgstr "" View it on GitLab: https://gitlab.common-lisp.net/cmucl/cmucl/-/compare/a91d9848fac43732869599… -- View it on GitLab: https://gitlab.common-lisp.net/cmucl/cmucl/-/compare/a91d9848fac43732869599… You're receiving this email because of your account on gitlab.common-lisp.net. Manage all notifications: https://gitlab.common-lisp.net/-/profile/notifications | Help: https://gitlab.common-lisp.net/help

1 0

[Git][cmucl/cmucl] Pushed new branch issue-495-describe-deftypes
by Raymond Toy (＠rtoy) 30 Apr '26

30 Apr '26

Raymond Toy pushed new branch issue-495-describe-deftypes at cmucl / cmucl -- View it on GitLab: https://gitlab.common-lisp.net/cmucl/cmucl/-/tree/issue-495-describe-deftyp… You're receiving this email because of your account on gitlab.common-lisp.net. Manage all notifications: https://gitlab.common-lisp.net/-/profile/notifications | Help: https://gitlab.common-lisp.net/help

1 0

[Git][cmucl/cmucl] Pushed new branch issue-436-function-type-assertion
by Raymond Toy (＠rtoy) 26 Apr '26

26 Apr '26

Raymond Toy pushed new branch issue-436-function-type-assertion at cmucl / cmucl -- View it on GitLab: https://gitlab.common-lisp.net/cmucl/cmucl/-/tree/issue-436-function-type-a… You're receiving this email because of your account on gitlab.common-lisp.net. Manage all notifications: https://gitlab.common-lisp.net/-/profile/notifications | Help: https://gitlab.common-lisp.net/help

1 0

[Git][cmucl/cmucl][master] 2 commits: Fix #494: Add/update docstrings for xref functions
by Raymond Toy (＠rtoy) 26 Apr '26

26 Apr '26

Raymond Toy pushed to branch master at cmucl / cmucl Commits: 1fd68bd3 by Raymond Toy at 2026-04-26T09:22:38-07:00 Fix #494: Add/update docstrings for xref functions - - - - - 17d9a062 by Raymond Toy at 2026-04-26T09:22:38-07:00 Merge branch 'issue-494-add-xref-docstrings' into 'master' Fix #494: Add/update docstrings for xref functions Closes #494 See merge request cmucl/cmucl!369 - - - - - 2 changed files: - src/compiler/xref.lisp - src/i18n/locale/cmucl.pot Changes: ===================================== src/compiler/xref.lisp ===================================== @@ -66,8 +66,25 @@ (defstruct (xref-context (:print-function %print-xref-context) (:make-load-form-fun :just-dump-it-normally)) + ;; The name identifies the program site that originated the + ;; cross-reference and is one of: a symbol naming a global + ;; function; a list (SETF foo); a list (:MACRO foo) for a macro; + ;; a list (:INTERNAL outer inner) for an inner function (FLET, + ;; LABELS, or anonymous lambda); a list (:METHOD foo (specializer + ;; ...)) for a method; the string "Top-Level Form" for a reference + ;; from a top-level form; or a string such as "defun foo" or + ;; "DEFSTRUCT FOO" identifying a reference from compiler-generated + ;; code. name + ;; The truename (in the sense of *COMPILE-FILE-TRUENAME*) of the + ;; source file the referencing forms were compiled from, or NIL + ;; if compiled from a stream or interactively. (file *compile-file-truename*) + ;; A list of positive integers identifying the form that contains + ;; the cross-reference. The first integer is the number of the + ;; top-level form in the source file (1-based); subsequent + ;; integers identify nested subforms. Always NIL when FILE is + ;; NIL. (source-path nil)) (defun %print-xref-context (s stream d) @@ -82,6 +99,18 @@ (xref-context-name s) (xref-context-file s))))) +(setf (documentation 'xref-context-name 'function) + _N"Return the name slot of an xref-context, identifying the program +site that originated the cross-reference.") + +(setf (documentation 'xref-context-file 'function) + _N"Return the source file truename of an xref-context, or NIL if +the code was not compiled from a file.") + +(setf (documentation 'xref-context-source-path 'function) + _N"Return the source-path of an xref-context, a list of positive +integers identifying the form that contains the cross-reference.") + ;; program contexts where a globally-defined function may be called at runtime (defvar *who-calls* (make-hash-table :test #'eq)) @@ -153,21 +182,30 @@ may be referenced at runtime." ;; WHO-BINDS -- interface ;; (defun who-binds (global-variable) - "Return a list of those program contexts where GLOBAL-VARIABLE may -be bound at runtime." + "Return a list of those program contexts where GLOBAL-VARIABLE may be bound at runtime. + + A binding is recorded whenever the compiler emits a special binding + for the form -- including cases that look lexical in source, such as (LET (FOO) + ...), if FOO has been proclaimed special earlier in the compiling + image. WHO-BINDS reflects what the compiler did, not what the source + text appears to say." (declare (type symbol global-variable)) (gethash global-variable *who-binds*)) ;; WHO-SETS -- interface ;; (defun who-sets (global-variable) - "Return a list of those program contexts where GLOBAL-VARIABLE may -be set at runtime." + "Return a list of those program contexts where GLOBAL-VARIABLE may be + set at runtime." (declare (type symbol global-variable)) (gethash global-variable *who-sets*)) (defun who-macroexpands (macro) + "Return a list of those program contexts where MACRO may be expanded at + compile time. The caller name in each context is the form whose + compilation triggered the macroexpansion (a function, a method, or + the string \"Top-Level Form\")." (declare (type symbol macro)) (gethash macro *who-macroexpands*)) @@ -177,22 +215,35 @@ be set at runtime." ;; WHO-SUBCLASSES -- interface ;; (defun who-subclasses (class) + "Return the list of direct subclasses of CLASS. Only direct subclasses + are returned; transitive subclasses are not. CLASS is a class + metaobject, not a class-name symbol; use FIND-CLASS to convert a + name." (pcl::class-direct-subclasses class)) ;; WHO-SUPERCLASSES -- interface ;; (defun who-superclasses (class) + "Return the list of direct superclasses of CLASS. Only direct + superclasses are returned; transitive superclasses are not. CLASS + is a class metaobject, not a class-name symbol; use FIND-CLASS to + convert a name." (pcl::class-direct-superclasses class)) ;; WHO-SPECIALIZES -- interface ;; -;; generic functions defined for this class (defun who-specializes (class) + "Return the list of methods that specialize directly on CLASS. CLASS is + a class metaobject, not a class-name symbol; use FIND-CLASS to + convert a name." (pcl::specializer-direct-methods class)) ;; Go through all the databases and remove entries from that that ;; reference the given Namestring. (defun invalidate-xrefs-for-namestring (namestring) + "Remove from every cross-reference database all xref-contexts whose + source file is NAMESTRING. Used to clear stale entries before + recompiling a file." (labels ((matching-context (ctx) (equal namestring (if (pathnamep (xref-context-file ctx)) (namestring (xref-context-file ctx)) @@ -212,6 +263,17 @@ be set at runtime." ;; return a list of all the matches. Each element of the list is a ;; list of the target followed by the entries. (defun find-xrefs-for-pathname (db pathname) + "Return entries from cross-reference database DB whose source file + matches PATHNAME. DB is one of :CALLS, :CALLED, :REFERENCES, + :BINDS, :SETS, or :MACROEXPANDS. + + Each entry is a two-element list (TARGET CONTEXTS), where TARGET is + the the symbol (or (SETF foo) form for setf functions) being + cross-referenced — a function name for :CALLS, :CALLED, and + :MACROEXPANDS, a variable name for :REFERENCES, :BINDS, and :SETS. + and CONTEXTS is the list of xref-contexts (the program sites + originating the cross-reference) for TARGET whose file slot matches + PATHNAME." (let ((entries '())) (maphash #'(lambda (target contexts) (let ((matches '())) ===================================== src/i18n/locale/cmucl.pot ===================================== @@ -19854,6 +19854,24 @@ msgstr "" msgid "Return the Nth VOP in the IR2-Block pointed to by Thing." msgstr "" +#: src/compiler/xref.lisp +msgid "" +"Return the name slot of an xref-context, identifying the program\n" +"site that originated the cross-reference." +msgstr "" + +#: src/compiler/xref.lisp +msgid "" +"Return the source file truename of an xref-context, or NIL if\n" +"the code was not compiled from a file." +msgstr "" + +#: src/compiler/xref.lisp +msgid "" +"Return the source-path of an xref-context, a list of positive\n" +"integers identifying the form that contains the cross-reference." +msgstr "" + #: src/compiler/xref.lisp msgid "Reinitialize the cross-reference database." msgstr "" @@ -19872,14 +19890,74 @@ msgstr "" #: src/compiler/xref.lisp msgid "" -"Return a list of those program contexts where GLOBAL-VARIABLE may\n" -"be bound at runtime." +"Return a list of those program contexts where GLOBAL-VARIABLE may be bound " +"at runtime.\n" +"\n" +" A binding is recorded whenever the compiler emits a special binding\n" +" for the form -- including cases that look lexical in source, such as (LET " +"(FOO)\n" +" ...), if FOO has been proclaimed special earlier in the compiling\n" +" image. WHO-BINDS reflects what the compiler did, not what the source\n" +" text appears to say." +msgstr "" + +#: src/compiler/xref.lisp +msgid "" +"Return a list of those program contexts where GLOBAL-VARIABLE may be\n" +" set at runtime." +msgstr "" + +#: src/compiler/xref.lisp +msgid "" +"Return a list of those program contexts where MACRO may be expanded at\n" +" compile time. The caller name in each context is the form whose\n" +" compilation triggered the macroexpansion (a function, a method, or\n" +" the string \"Top-Level Form\")." +msgstr "" + +#: src/compiler/xref.lisp +msgid "" +"Return the list of direct subclasses of CLASS. Only direct subclasses\n" +" are returned; transitive subclasses are not. CLASS is a class\n" +" metaobject, not a class-name symbol; use FIND-CLASS to convert a\n" +" name." +msgstr "" + +#: src/compiler/xref.lisp +msgid "" +"Return the list of direct superclasses of CLASS. Only direct\n" +" superclasses are returned; transitive superclasses are not. CLASS\n" +" is a class metaobject, not a class-name symbol; use FIND-CLASS to\n" +" convert a name." +msgstr "" + +#: src/compiler/xref.lisp +msgid "" +"Return the list of methods that specialize directly on CLASS. CLASS is\n" +" a class metaobject, not a class-name symbol; use FIND-CLASS to\n" +" convert a name." +msgstr "" + +#: src/compiler/xref.lisp +msgid "" +"Remove from every cross-reference database all xref-contexts whose\n" +" source file is NAMESTRING. Used to clear stale entries before\n" +" recompiling a file." msgstr "" #: src/compiler/xref.lisp msgid "" -"Return a list of those program contexts where GLOBAL-VARIABLE may\n" -"be set at runtime." +"Return entries from cross-reference database DB whose source file\n" +" matches PATHNAME. DB is one of :CALLS, :CALLED, :REFERENCES,\n" +" :BINDS, :SETS, or :MACROEXPANDS.\n" +"\n" +" Each entry is a two-element list (TARGET CONTEXTS), where TARGET is\n" +" the the symbol (or (SETF foo) form for setf functions) being\n" +" cross-referenced ? a function name for :CALLS, :CALLED, and\n" +" :MACROEXPANDS, a variable name for :REFERENCES, :BINDS, and :SETS.\n" +" and CONTEXTS is the list of xref-contexts (the program sites\n" +" originating the cross-reference) for TARGET whose file slot matches\n" +" PATHNAME." msgstr "" #: src/compiler/dyncount.lisp View it on GitLab: https://gitlab.common-lisp.net/cmucl/cmucl/-/compare/314c203fcac726efc947ad… -- View it on GitLab: https://gitlab.common-lisp.net/cmucl/cmucl/-/compare/314c203fcac726efc947ad… You're receiving this email because of your account on gitlab.common-lisp.net. Manage all notifications: https://gitlab.common-lisp.net/-/profile/notifications | Help: https://gitlab.common-lisp.net/help

1 0

[Git][cmucl/cmucl] Pushed new branch issue-494-add-xref-docstrings
by Raymond Toy (＠rtoy) 26 Apr '26

26 Apr '26

Raymond Toy pushed new branch issue-494-add-xref-docstrings at cmucl / cmucl -- View it on GitLab: https://gitlab.common-lisp.net/cmucl/cmucl/-/tree/issue-494-add-xref-docstr… You're receiving this email because of your account on gitlab.common-lisp.net. Manage all notifications: https://gitlab.common-lisp.net/-/profile/notifications | Help: https://gitlab.common-lisp.net/help

1 0

[Git][cmucl/cmucl] Pushed new branch isue-493-xref-record-top-level-macroexpansion
by Raymond Toy (＠rtoy) 25 Apr '26

25 Apr '26

Raymond Toy pushed new branch isue-493-xref-record-top-level-macroexpansion at cmucl / cmucl -- View it on GitLab: https://gitlab.common-lisp.net/cmucl/cmucl/-/tree/isue-493-xref-record-top-… You're receiving this email because of your account on gitlab.common-lisp.net. Manage all notifications: https://gitlab.common-lisp.net/-/profile/notifications | Help: https://gitlab.common-lisp.net/help

1 0