Skip to content

Commit e99106e

Browse files
committed
use to 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 <[email protected]>
1 parent a56e792 commit e99106e

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
@@ -1371,8 +1371,7 @@ Components may define values in the value index space using following syntax:
13711371
```ebnf
13721372
value ::= (value <id>? <valtype> <val>)
13731373
val ::= false | true
1374-
| <core:u64>
1375-
| <core:s64>
1374+
| <core:i64>
13761375
| <f64canon>
13771376
| nan
13781377
| '<core:stringchar>'
@@ -2095,7 +2094,7 @@ and will be added over the coming months to complete the MVP proposal:
20952094
[Index Space]: https://webassembly.github.io/spec/core/syntax/modules.html#indices
20962095
[Abbreviations]: https://webassembly.github.io/spec/core/text/conventions.html#abbreviations
20972096

2098-
[`core:i64`]: https://webassembly.github.io/spec/core/syntax/values.html#integers
2097+
[`core:i64`]: https://webassembly.github.io/spec/core/text/values.html#text-int
20992098
[`core:f64`]: https://webassembly.github.io/spec/core/syntax/values.html#floating-point
21002099
[`core:char`]: https://webassembly.github.io/spec/core/syntax/values.html#syntax-name
21012100
[`core:name`]: https://webassembly.github.io/spec/core/syntax/values.html#syntax-name

0 commit comments

Comments
 (0)