The specification makes extensive use of the terms compile-time and run-time with the expected meanings in common use in compiler design. The specification should clarify those terms and provide some discussion in the language semantics chapter about what they mean, how they are used in the specification, and how error-handling is expected to work at both compile-time and run-time.