diff options
Diffstat (limited to 'src/tools/tool-options.h')
-rw-r--r-- | src/tools/tool-options.h | 13 |
1 files changed, 1 insertions, 12 deletions
diff --git a/src/tools/tool-options.h b/src/tools/tool-options.h index eb5212c84..0522b5538 100644 --- a/src/tools/tool-options.h +++ b/src/tools/tool-options.h @@ -148,15 +148,6 @@ struct ToolOptions : public Options { [](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.", - ToolOptionsCategory, - Options::Arguments::Zero, - [](Options* o, const std::string& argument) { - setTypeSystem(TypeSystem::Equirecursive); - }) .add("--hybrid", "", "Force all GC type definitions to be parsed using the isorecursive " @@ -196,9 +187,7 @@ struct ToolOptions : public Options { void applyFeatures(Module& module) const { module.features.enable(enabledFeatures); module.features.disable(disabledFeatures); - // Non-default type systems only make sense with GC enabled. TODO: Error on - // non-GC equirecursive types as well once we make isorecursive the default - // if we don't remove equirecursive types entirely. + // Non-default type systems only make sense with GC enabled. if (!module.features.hasGC() && getTypeSystem() == TypeSystem::Nominal) { Fatal() << "Nominal typing is only allowed when GC is enabled"; } |