mirrors/ecl
1
Fork 0
mirror of https://gitlab.com/embeddable-common-lisp/ecl.git synced 2025-12-05 18:30:24 -08:00
Code Issues Projects Releases Packages Wiki Activity

predlib: assert n important property when adding a new type

Browse source 
The property in question is a strict total order within the kingdom.
This commit is contained in:
Daniel Kochmański 2025-08-25 14:08:53 +02:00
parent 6de56d977f
commit 783289c629
1 changed files with 2 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/lsp/predlib.lsp
View file

@ -956,6 +956,8 @@ if not possible."
(setq subtype-tag (logior other-tag subtype-tag)))
(t
(setq disjoint-tag (logior disjoint-tag other-tag))))))))
(unless (logand disjoint-tag subtype-tag)
(error "Some types in the family does not have a strict total order."))
(values (logandc2 supertype-tag (logior disjoint-tag subtype-tag))
subtype-tag)))