15:30:01beachIn the SICL specification, I am changing all the entries in the dynamic environment to be ordinary general instances, and rather than chaining them, I am turning them into elements of an ordinary list.
15:30:23beachThe functions to operate on the entries are now specified to be generic functions.
15:30:45beachI hope I can get away with this idea.
15:41:02beachI'll just do what I have done in the past, namely start with what I would like to see, and then, if required, figure out a way to make it efficient.
15:43:29beachClearly, many BLOCK or TAGBODY forms do not need the full power of a dynamic-environment entry. Many BLOCK names are not used at all, and when it is used, many of the corresponding RETURN-FROM are local with no intervening UNWIND-PROTECT. Or at least, that will be the case after inlining.