diff options
Diffstat (limited to 'src/passes/GlobalStructInference.cpp')
| -rw-r--r-- | src/passes/GlobalStructInference.cpp | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/src/passes/GlobalStructInference.cpp b/src/passes/GlobalStructInference.cpp index d0810a7fa..4d39768e2 100644 --- a/src/passes/GlobalStructInference.cpp +++ b/src/passes/GlobalStructInference.cpp @@ -68,8 +68,9 @@ struct GlobalStructInference : public Pass { if (!module->features.hasGC()) { return; } - if (getTypeSystem() != TypeSystem::Nominal) { - Fatal() << "GlobalStructInference requires nominal typing"; + if (getTypeSystem() != TypeSystem::Nominal && + getTypeSystem() != TypeSystem::Isorecursive) { + Fatal() << "GlobalStructInference requires nominal/isorecursive typing"; } // First, find all the information we need. We need to know which struct |