diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/tools/tool-options.h | 11 |
1 files changed, 9 insertions, 2 deletions
diff --git a/src/tools/tool-options.h b/src/tools/tool-options.h index 4b589b5b2..a73d72d09 100644 --- a/src/tools/tool-options.h +++ b/src/tools/tool-options.h @@ -112,11 +112,18 @@ struct ToolOptions : public Options { }) .add("--nominal", "", - "Use the prototype nominal type system instead of the normal " - "equirecursive type system.", + "Force all GC type definitions to be parsed as nominal.", Options::Arguments::Zero, [](Options* o, const std::string& argument) { setTypeSystem(TypeSystem::Nominal); + }) + .add("--structural", + "", + "Force all GC type definitions to be parsed as structural " + "(i.e. equirecursive). This is the default.", + Options::Arguments::Zero, + [](Options* o, const std::string& argument) { + setTypeSystem(TypeSystem::Equirecursive); }); } |