Implementation that allow querying for type information seem
to follow cltl2 env access; so if you enrich the lexenv with type
information, people would be able to write similiar code across
implementations. Having to go to deftransform means adding
a whole other code path that uses SBCL *internals*.
Implementation that allow querying for type information seem
to follow cltl2 env access; so if you enrich the lexenv with type
information, people would be able to write similiar code across
implementations. Having to go to deftransform means adding
a whole other code path that uses SBCL *internals*.