Skip to content

Commit 73f4050

Browse files
rvolosatovslukewagner
authored andcommitted
use uninterpreted integers in value definition text format
Uninterpreted integers can be written as either signed or unsigned and therefore elliminate the need for distinction between the two rules Signed-off-by: Roman Volosatovs <rvolosatovs@riseup.net>
1 parent ecc7093 commit 73f4050

File tree

1 file changed

+2
-3
lines changed

1 file changed

+2
-3
lines changed

design/mvp/Explainer.md

Lines changed: 2 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1364,8 +1364,7 @@ Components may define values in the value index space using following syntax:
13641364
```ebnf
13651365
value ::= (value <id>? <valtype> <val>)
13661366
val ::= false | true
1367-
| <core:u64>
1368-
| <core:s64>
1367+
| <core:i64>
13691368
| <f64canon>
13701369
| nan
13711370
| '<core:stringchar>'
@@ -2088,7 +2087,7 @@ and will be added over the coming months to complete the MVP proposal:
20882087
[Index Space]: https://webassembly.github.io/spec/core/syntax/modules.html#indices
20892088
[Abbreviations]: https://webassembly.github.io/spec/core/text/conventions.html#abbreviations
20902089

2091-
[`core:i64`]: https://webassembly.github.io/spec/core/syntax/values.html#integers
2090+
[`core:i64`]: https://webassembly.github.io/spec/core/text/values.html#text-int
20922091
[`core:f64`]: https://webassembly.github.io/spec/core/syntax/values.html#floating-point
20932092
[`core:char`]: https://webassembly.github.io/spec/core/syntax/values.html#syntax-name
20942093
[`core:name`]: https://webassembly.github.io/spec/core/syntax/values.html#syntax-name

0 commit comments

Comments
 (0)