File tree Expand file tree Collapse file tree 1 file changed +0
-9
lines changed Expand file tree Collapse file tree 1 file changed +0
-9
lines changed Original file line number Diff line number Diff line change @@ -1371,16 +1371,8 @@ Components may define values in the value index space using following syntax:
1371
1371
``` ebnf
1372
1372
value ::= (value <id>? <valtype> <val>)
1373
1373
val ::= false | true
1374
- | <core:u8>
1375
- | <core:u16>
1376
- | <core:u32>
1377
1374
| <core:u64>
1378
- | <core:s8>
1379
- | <core:s16>
1380
- | <core:s32>
1381
1375
| <core:s64>
1382
- | <f32canon>
1383
- | nan
1384
1376
| <f64canon>
1385
1377
| nan
1386
1378
| '<core:stringchar>'
@@ -1394,7 +1386,6 @@ val ::= false | true
1394
1386
| none | (some <val>)
1395
1387
| ok | (ok <val>) | error | (error <val>)
1396
1388
| (binary <core:datastring>)
1397
- f32canon ::= <core:f32> without the `nan:0x` case.
1398
1389
f64canon ::= <core:f64> without the `nan:0x` case.
1399
1390
```
1400
1391
You can’t perform that action at this time.
0 commit comments