diff options
| author | Thomas Lively <tlively@google.com> | 2024-06-14 16:28:45 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-06-14 16:28:45 -0700 |
| commit | cf2725b434c724fdcac89f5c2a21e09f33f5a121 (patch) | |
| tree | 6beb138f06cd85cd5fdbddb7e8546a3779859735 /test/spec | |
| parent | 2c758c54db0eb730af8fc858ddb42604e26b0a5b (diff) | |
| download | binaryen-cf2725b434c724fdcac89f5c2a21e09f33f5a121.tar.gz binaryen-cf2725b434c724fdcac89f5c2a21e09f33f5a121.tar.bz2 binaryen-cf2725b434c724fdcac89f5c2a21e09f33f5a121.zip | |
[Parser] Fix error message on required reftype (#6666)
Not all uses of the `reftype` parser handled the fact that it returned a
`MaybeResult`. Change its name to `maybeReftype`, add a new `reftype`
parser
that returns an error if there is no reftype, and update all the use
sites.
Fixes #6655.
Diffstat (limited to 'test/spec')
| -rw-r--r-- | test/spec/ref_cast.wast | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/test/spec/ref_cast.wast b/test/spec/ref_cast.wast index b46622a40..927d82ebc 100644 --- a/test/spec/ref_cast.wast +++ b/test/spec/ref_cast.wast @@ -169,3 +169,8 @@ ) "common supertype" ) + +(assert_malformed + (module quote "(func (ref.cast i32 (unreachable)))") + "expected reftype" +) |