diff options
Diffstat (limited to 'src/passes/SignaturePruning.cpp')
| -rw-r--r-- | src/passes/SignaturePruning.cpp | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/src/passes/SignaturePruning.cpp b/src/passes/SignaturePruning.cpp index 4e6334057..e6a7aa44e 100644 --- a/src/passes/SignaturePruning.cpp +++ b/src/passes/SignaturePruning.cpp @@ -52,8 +52,9 @@ struct SignaturePruning : public Pass { if (!module->features.hasGC()) { return; } - if (getTypeSystem() != TypeSystem::Nominal) { - Fatal() << "SignaturePruning requires nominal typing"; + if (getTypeSystem() != TypeSystem::Nominal && + getTypeSystem() != TypeSystem::Isorecursive) { + Fatal() << "SignaturePruning requires nominal/isorecursive typing"; } if (!module->tables.empty()) { |