diff options
| author | Thomas Lively <tlively@google.com> | 2022-11-22 23:41:49 -0600 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-11-23 05:41:49 +0000 |
| commit | 2c0fb8c513b3534576383d250c593a9bd28347e3 (patch) | |
| tree | 993b23de3e8e5007fd3a32242cda95e7172ad765 /src/passes/GlobalRefining.cpp | |
| parent | 853b31ec89416bef0014e06f2defaef74f47b81e (diff) | |
| download | binaryen-2c0fb8c513b3534576383d250c593a9bd28347e3.tar.gz binaryen-2c0fb8c513b3534576383d250c593a9bd28347e3.tar.bz2 binaryen-2c0fb8c513b3534576383d250c593a9bd28347e3.zip | |
Remove equirecursive typing (#5240)
Equirecursive is no longer standards track and its implementation is extremely
complex. Remove it.
Diffstat (limited to 'src/passes/GlobalRefining.cpp')
| -rw-r--r-- | src/passes/GlobalRefining.cpp | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/src/passes/GlobalRefining.cpp b/src/passes/GlobalRefining.cpp index f994d4082..0576e3285 100644 --- a/src/passes/GlobalRefining.cpp +++ b/src/passes/GlobalRefining.cpp @@ -38,10 +38,6 @@ struct GlobalRefining : public Pass { if (!module->features.hasGC()) { return; } - if (getTypeSystem() != TypeSystem::Nominal && - getTypeSystem() != TypeSystem::Isorecursive) { - Fatal() << "GlobalRefining requires nominal/isorecursive typing"; - } // First, find all the global.sets. |