summaryrefslogtreecommitdiff
path: root/src/tools/tool-options.h
diff options
context:
space:
mode:
Diffstat (limited to 'src/tools/tool-options.h')
-rw-r--r--src/tools/tool-options.h13
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";
}