diff options
| author | Thomas Lively <7121787+tlively@users.noreply.github.com> | 2021-03-11 13:53:19 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-03-11 21:53:19 +0000 |
| commit | 484563771dbca78e5323cc3f5129890aea03aed5 (patch) | |
| tree | 50c869eb9ebd43cba0c5a7bd11c57129ccf61e6e /test/example/stack-utils.txt | |
| parent | d369cd6474364e5797e40af94676339af03723a9 (diff) | |
| download | binaryen-484563771dbca78e5323cc3f5129890aea03aed5.tar.gz binaryen-484563771dbca78e5323cc3f5129890aea03aed5.tar.bz2 binaryen-484563771dbca78e5323cc3f5129890aea03aed5.zip | |
Remove LUB calculation (#3669)
Since correct LUB calculation for recursive types is complicated, stop depending
on LUBs throughout the code base. This also fixes a validation bug in which the
validator required blocks to be typed with the LUB of all the branch types, when
in fact any upper bound should have been valid. In addition to fixing that bug,
this PR simplifies the code for break handling by not storing redundant
information about the arity of types.
Diffstat (limited to 'test/example/stack-utils.txt')
| -rw-r--r-- | test/example/stack-utils.txt | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/test/example/stack-utils.txt b/test/example/stack-utils.txt index d24119aab..a61ed9ac5 100644 --- a/test/example/stack-utils.txt +++ b/test/example/stack-utils.txt @@ -14,5 +14,4 @@ ;; Test stack signatures ;; Test stack signature composition ;; Test stack signature subtyping -;; Test stack signature lub ;; Test stack flow |