25f825efff
The function MAKE-REGISTERED-TAG calls FIND-TYPE-BOUNDS to determine supertypes that need to be updated with the new bit, and subtypes that need to be included in the new tag. Thiis procedure was bogus because it did not recognize equivalent types. That lead to a situation, where synonymous types could have been added twice with incorrect relation. Consider: type A: 011 type B: 001 We add a type C that is equivalent to A and B is subtype (to both). With the old method the result would be: type A: 111 type B: 001 type C: 101 So if we had later queried wheter A is subtypep to C, then the answer would be incorrectly NIL. The bug was hidden by the fact, that CANONICAL-TYPE expands type aliases when they are symbols, so we had never encountered a situation where equivalent types had different names in *ELEMENTARY-TYPES*. This changes when we introduce the new kingdom for CONS type, because the key is (CONS X Y), and symbols in type names X Y are not expanded, so (CONS (OR FIXNUM BIGNUM)) is not EQUAL to (CONS INTEGER) |
||
|---|---|---|
| contrib | ||
| examples | ||
| msvc | ||
| src | ||
| .gitignore | ||
| .gitlab-ci.yml | ||
| appveyor.yml | ||
| CHANGELOG | ||
| configure | ||
| COPYING | ||
| INSTALL | ||
| LICENSE | ||
| Makefile.in | ||
| README.md | ||
ECL stands for Embeddable Common-Lisp. The ECL project aims to produce an implementation of the Common-Lisp language which complies to the ANSI X3J13 definition of the language.
The term embeddable refers to the fact that ECL includes a Lisp to C compiler, which produces libraries (static or dynamic) that can be called from C programs. Furthermore, ECL can produce standalone executables from Lisp code and can itself be linked to your programs as a shared library. It also features an interpreter for situations when a C compiler isn't available.
ECL supports the operating systems Linux, FreeBSD, NetBSD, DragonFly BSD, OpenBSD, Solaris (at least v. 9), Microsoft Windows (MSVC, MinGW and Cygwin) and OSX, running on top of the Intel, Sparc, Alpha, ARM and PowerPC processors. Porting to other architectures should be rather easy.