Skip to content

Commit 6c5537d

Browse files
committed
Properly emoji-gate 'async' on resource.drop in Explainer.md
1 parent b3a42b8 commit 6c5537d

File tree

2 files changed

+7
-5
lines changed

2 files changed

+7
-5
lines changed

design/mvp/Binary.md

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -214,7 +214,7 @@ label' ::= len:<u32> l:<label> => l (if len = |l|)
214214
valtype ::= i:<typeidx> => i
215215
| pvt:<primvaltype> => pvt
216216
resourcetype ::= 0x3f 0x7f f?:<funcidx>? => (resource (rep i32) (dtor f)?)
217-
| 0x3e 0x7f f:<funcidx> cb?:<funcidx>? => (resource (rep i32) (dtor async f (callback cb)?))
217+
| 0x3e 0x7f f:<funcidx> cb?:<funcidx>? => (resource (rep i32) (dtor async f (callback cb)?)) 🚝
218218
functype ::= 0x40 ps:<paramlist> rs:<resultlist> => (func ps rs)
219219
paramlist ::= lt*:vec(<labelvaltype>) => (param lt)*
220220
resultlist ::= 0x00 t:<valtype> => (result t)
@@ -288,7 +288,7 @@ canon ::= 0x00 0x00 f:<core:funcidx> opts:<opts> ft:<typeidx> => (canon lift
288288
| 0x01 0x00 f:<funcidx> opts:<opts> => (canon lower f opts (core func))
289289
| 0x02 rt:<typeidx> => (canon resource.new rt (core func))
290290
| 0x03 rt:<typeidx> => (canon resource.drop rt (core func))
291-
| 0x07 rt:<typeidx> => (canon resource.drop rt async (core func)) 🔀
291+
| 0x07 rt:<typeidx> => (canon resource.drop rt async (core func)) 🚝
292292
| 0x04 rt:<typeidx> => (canon resource.rep rt (core func))
293293
| 0x08 => (canon backpressure.set (core func)) 🔀
294294
| 0x09 rs:<resultlist> opts:<opts> => (canon task.return rs opts (core func)) 🔀

design/mvp/Explainer.md

Lines changed: 5 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -566,7 +566,8 @@ defvaltype ::= bool
566566
| (future <typeidx>?) 🔀
567567
valtype ::= <typeidx>
568568
| <defvaltype>
569-
resourcetype ::= (resource (rep i32) (dtor async? <funcidx> (callback <funcidx>)?)?)
569+
resourcetype ::= (resource (rep i32) (dtor <funcidx>)?)
570+
| (resource (rep i32) (dtor async <funcidx> (callback <funcidx>)?)?) 🚝
570571
functype ::= (func (param "<label>" <valtype>)* (result <valtype>)?)
571572
componenttype ::= (component <componentdecl>*)
572573
instancetype ::= (instance <instancedecl>*)
@@ -1411,7 +1412,8 @@ dynamically interact with Canonical ABI entities like resources,
14111412
```ebnf
14121413
canon ::= ...
14131414
| (canon resource.new <typeidx> (core func <id>?))
1414-
| (canon resource.drop <typeidx> async? (core func <id>?))
1415+
| (canon resource.drop <typeidx> (core func <id>?))
1416+
| (canon resource.drop <typeidx> async (core func <id>?)) 🚝
14151417
| (canon resource.rep <typeidx> (core func <id>?))
14161418
| (canon context.get <valtype> <u32> (core func <id>?)) 🔀
14171419
| (canon context.set <valtype> <u32> (core func <id>?)) 🔀
@@ -1478,7 +1480,7 @@ When the `async` immediate is false:
14781480
| Approximate WIT signature | `func<T>(t: T)` |
14791481
| Canonical ABI signature | `[t:i32] -> []` |
14801482

1481-
When the `async` immediate is true:
1483+
🚝 When the `async` immediate is true:
14821484

14831485
| Synopsis | |
14841486
| -------------------------- | ---------------------------------- |

0 commit comments

Comments
 (0)