diff options
| author | Daniel Wirtz <dcode@dcode.io> | 2020-09-09 03:40:09 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-09-09 03:40:09 +0200 |
| commit | 916ce6f1a9f7c85102a8c69f593b301c8df5d19d (patch) | |
| tree | 93b22be9f2c0718248528d140b05221cb6878600 /test/ctor-eval | |
| parent | 0fdcf5b51a0c8c379b2d3ad8262aa22bb234f0e9 (diff) | |
| download | binaryen-916ce6f1a9f7c85102a8c69f593b301c8df5d19d.tar.gz binaryen-916ce6f1a9f7c85102a8c69f593b301c8df5d19d.tar.bz2 binaryen-916ce6f1a9f7c85102a8c69f593b301c8df5d19d.zip | |
Update reference types (#3084)
Align with the current state of the reference types proposal:
* Remove `nullref`
* Remove `externref` and `funcref` subtyping
* A `Literal` of a nullable reference type can now represent `null` (previously was type `nullref`)
* Update the tests and temporarily comment out those tests relying on subtyping
Diffstat (limited to 'test/ctor-eval')
| -rw-r--r-- | test/ctor-eval/bad-indirect-call3.wast | 2 | ||||
| -rw-r--r-- | test/ctor-eval/bad-indirect-call3.wast.out | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/test/ctor-eval/bad-indirect-call3.wast b/test/ctor-eval/bad-indirect-call3.wast index cadff8097..7a16889ce 100644 --- a/test/ctor-eval/bad-indirect-call3.wast +++ b/test/ctor-eval/bad-indirect-call3.wast @@ -9,7 +9,7 @@ ) (func $sig_mismatch (call_indirect (type $funcref_=>_none) ;; unsafe to call, signature mismatch - (ref.null) + (ref.null func) (i32.const 0) ) ) diff --git a/test/ctor-eval/bad-indirect-call3.wast.out b/test/ctor-eval/bad-indirect-call3.wast.out index 9e4881344..28a7c5ed5 100644 --- a/test/ctor-eval/bad-indirect-call3.wast.out +++ b/test/ctor-eval/bad-indirect-call3.wast.out @@ -15,7 +15,7 @@ ) (func $sig_mismatch (call_indirect (type $funcref_=>_none) - (ref.null) + (ref.null func) (i32.const 0) ) ) |