Jim Newton
11/13/2015 10:55:00 AM
What is the correct way to expand a type designator?
I believe the internals of the compiler (sbcl in this case) have ways of doing this,
but for debug purposes I'd like to look at how my type (via a deftype) expands given
different argument lists.
Also what is the correct terminology to use when describing it for documentation purposes?
For example, I may want to say something like the following, but I know it is not really correct.
The type T42 when given an argument X, (T42 X) expands to the type designator
(T41 X string) which in turn expands to (and string (satisfies X))