mirrors/ecl
1
Fork 0
mirror of https://gitlab.com/embeddable-common-lisp/ecl.git synced 2026-03-07 21:00:39 -08:00
Code Issues Projects Releases Packages Wiki Activity

[wip] minute change

Browse source
This commit is contained in:
Daniel Kochmański 2025-08-27 15:10:25 +02:00
parent 06d9050de0
commit ccf9a0fcec
1 changed files with 7 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

10
src/lsp/predlib.lsp
View file

@ -1400,12 +1400,16 @@ if not possible."
(declare (ignore i1 i2))
(error "There can't be two elements of the same CONS compound."))
(defun register-cons-type (type env)
(defun canonical-cons-type (type env)
(destructuring-bind (&optional (car-type '*) (cdr-type '*)) (rest type)
(when (or (subtypep car-type nil)
(subtypep cdr-type nil))
(return-from register-cons-type
(return-from canonical-cons-type
+built-in-tag-nil+))
(register-cons-type type env)))
(defun register-cons-type (type env)
(destructuring-bind (&optional (car-type '*) (cdr-type '*)) (rest type)
(logior (register-cons-car-compound car-type env)
(register-cons-cdr-compound cdr-type env))))
@ -1668,7 +1672,7 @@ if not possible."
(COMPLEX
(canonical-complex-type type))
(CONS
(register-cons-type type env))
(canonical-cons-type type env))
(ARRAY (logior (register-array-type `(COMPLEX-ARRAY ,@(rest type)) env)
(register-array-type `(SIMPLE-ARRAY ,@(rest type)) env)))
((COMPLEX-ARRAY SIMPLE-ARRAY) (register-array-type type env))