Next: Notes, Previous: Inline functions, Up: ICR conversion
We want more sophisticated control of compilation safety than is offered in CL, so that we can emit only those type checks that are likely to discover something (i.e. external interfaces.)