Open rptb1 opened 1 year ago
m. This and other constants in config.h are not justified here or in the design. See https://github.com/Ravenbrook/mps/blob/1d940552cf33ceb46c807288d953e7e308988824/design/config.txt#to-document . Raise an issue?
_Originally posted by @rptb1 in https://github.com/Ravenbrook/mps/pull/119#discussion_r1115543553_
I also note that config.h has two purposes, one undocumented by its leader comment: to define defaults. Perhaps it should be split while resolving the above.
_Originally posted by @rptb1 in https://github.com/Ravenbrook/mps/pull/119#discussion_r1115543553_