Skip to content

Commit c86bb48

Browse files
committed
Clarify and regularize text format index parsing rules
Resolves #648
1 parent 3019908 commit c86bb48

4 files changed

Lines changed: 415 additions & 198 deletions

File tree

design/mvp/Binary.md

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -323,8 +323,8 @@ canon ::= 0x00 0x00 f:<core:funcidx> opts:<opts> ft:<typeidx> => (canon lift
323323
| 0x1d opts:<opts> => (canon error-context.debug-message opts (core func)) 📝
324324
| 0x1e => (canon error-context.drop (core func)) 📝
325325
| 0x1f => (canon waitable-set.new (core func)) 🔀
326-
| 0x20 cancel?:<cancel?> m:<core:memidx> => (canon waitable-set.wait cancel? (memory m) (core func)) 🔀
327-
| 0x21 cancel?:<cancel?> m:<core:memidx> => (canon waitable-set.poll cancel? (memory m) (core func)) 🔀
326+
| 0x20 cancel?:<cancel?> m:<core:memoryidx> => (canon waitable-set.wait cancel? (memory m) (core func)) 🔀
327+
| 0x21 cancel?:<cancel?> m:<core:memoryidx> => (canon waitable-set.poll cancel? (memory m) (core func)) 🔀
328328
| 0x22 => (canon waitable-set.drop (core func)) 🔀
329329
| 0x23 => (canon waitable.join (core func)) 🔀
330330
| 0x26 => (canon thread.index (core func)) 🧵
@@ -346,7 +346,7 @@ opts ::= opt*:vec(<canonopt>) => opt*
346346
canonopt ::= 0x00 => string-encoding=utf8
347347
| 0x01 => string-encoding=utf16
348348
| 0x02 => string-encoding=latin1+utf16
349-
| 0x03 m:<core:memidx> => (memory m)
349+
| 0x03 m:<core:memoryidx> => (memory m)
350350
| 0x04 f:<core:funcidx> => (realloc f)
351351
| 0x05 f:<core:funcidx> => (post-return f)
352352
| 0x06 => async 🔀

0 commit comments

Comments
 (0)