Formal comment #227 (defect)

Remove DEFINE and BEGIN^F from formal semantics
Reported by: 	Andre van Tonder
Version: 	5.92

Keywords: 		Cc: 	

Pages : 61 and on

Summary

DEFINE and BEGINF have no place in the formal semantics, needlessly
complicate the latter, and should be removed.

Description

According to the description of the expansion process in chapter 8, a
fully expanded Scheme program will not contain any occurrences of
DEFINE or BEGINF, /not even at program or library toplevel/.

For this reason, including these as primitives in the formal semantics
does not add any value to the formal semantics. It just needlessly
complicates and bloats it (a lot).  Suggestion

Remove DEFINE and BEGINF from formal semantics.


RESPONSE:

The suggestion will be forwarded to the authors of the formal
semantics appendix.