Options are required to be known and syntactically parsed. Values of options are not. The language should just treat options as a bunch of meta data any pass can use for whatever pass. This will allow passes to require specific options without requiring the language module to change.
Options are required to be known and syntactically parsed. Values of options are not. The language should just treat options as a bunch of meta data any pass can use for whatever pass. This will allow passes to require specific options without requiring the language module to change.