Previous: Getting Existing Programs to Run, Up: Handling of Types


4.2.4 Implementation Limitations

Ideally, the compiler would consider all type declarations to be assertions, so that adding type declarations to a program, no matter how incorrect they might be, would never cause undefined behavior. However, the compiler is known to fall short of this goal in two areas:

These are important issues, but are not necessarily easy to fix, so they may, alas, remain in the system for a while.