diff options
| author | Thomas Lively <tlively@google.com> | 2024-01-04 14:25:18 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-01-04 14:25:18 -0800 |
| commit | a58281ca114359cd6e65f5daaf086636aa18b0b0 (patch) | |
| tree | ff98bd31d1c87b598027c2303b17855a44346515 /CHANGELOG.md | |
| parent | 0ed42cf976ce9a3dfbe9cbb0885122e8fb6a377b (diff) | |
| download | binaryen-a58281ca114359cd6e65f5daaf086636aa18b0b0.tar.gz binaryen-a58281ca114359cd6e65f5daaf086636aa18b0b0.tar.bz2 binaryen-a58281ca114359cd6e65f5daaf086636aa18b0b0.zip | |
Require `then` and `else` with `if` (#6201)
We previously supported (and primarily used) a non-standard text format for
conditionals in which the condition, if-true expression, and if-false expression
were all simply s-expression children of the `if` expression. The standard text
format, however, requires the use of `then` and `else` forms to introduce the
if-true and if-false arms of the conditional. Update the legacy text parser to
require the standard format and update all tests to match. Update the printer to
print the standard format as well.
The .wast and .wat test inputs were mechanically updated with this script:
https://gist.github.com/tlively/85ae7f01f92f772241ec994c840ccbb1
Diffstat (limited to 'CHANGELOG.md')
| -rw-r--r-- | CHANGELOG.md | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/CHANGELOG.md b/CHANGELOG.md index 7fc9847e1..a505a9509 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -16,6 +16,8 @@ Current Trunk ------------- - The `tuple.make` pseudoinstruction now requires an immediate giving its arity. For example, to make a tuple of two elements, use `tuple.make 2`. + - The text format for `if` expressions now requires `then` and `else` to + introduce the two branch arms, matching the spec. v116 ---- |