mirror of
https://github.com/Mercury-Language/mercury.git
synced 2026-04-15 17:33:38 +00:00
b492978134
compiler/options_file.m:
Stop putting entries for environment variables into the map for
options variables, since the hit on the variable name in the environment
variable map will cause them to always be ignored.
After the above change, all entries in the map for options variables
actually come from options files (some of which are called configuration
files), so stop recording a source kind for each entry.
Document the updated relationship between the two maps.
Document the choice the two possible ways we can handle errors in
the values of environment variables that represent Mercury options.
tests/options_file/basic_test.optfile_exp:
Stop expecting the now-deleted source kind flags.