Next: Notes, Previous: Inline functions, Up: ICR conversion [Contents]
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.)