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