Note on Conditional Compilation in Standard ML
Abstract
In the Fox project we make frequent use of conditional code within Standard ML functors: code which depends on the functor arguments. The canonical example is instrumentation code for testing or debugging, only present when flags in the functor arguments are set. We would like the object code of instantiations of these functors to be as efficient as possible, i.e., to omit the code when the argument flags are not set. This note considers compilation techniques to achieve this goal, and code styles which do well in the absence of such techniques.
Document Details
- Document Type
- Technical Report
- Publication Date
- Jun 01, 1993
- Accession Number
- ADA267529
Entities
People
- Brian G. Milnes
- Edoardo Biagioni
- Nicholas Haines
- Robert Harper
Organizations
- Carnegie Mellon University