File tree Expand file tree Collapse file tree 2 files changed +7
-5
lines changed
Expand file tree Collapse file tree 2 files changed +7
-5
lines changed Original file line number Diff line number Diff line change @@ -214,7 +214,7 @@ label' ::= len:<u32> l:<label> => l (if len = |l|)
214214valtype ::= i:<typeidx> => i
215215 | pvt:<primvaltype> => pvt
216216resourcetype ::= 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)?)) 🚝
218218functype ::= 0x40 ps:<paramlist> rs:<resultlist> => (func ps rs)
219219paramlist ::= lt*:vec(<labelvaltype>) => (param lt)*
220220resultlist ::= 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)) 🔀
Original file line number Diff line number Diff line change @@ -566,7 +566,8 @@ defvaltype ::= bool
566566 | (future <typeidx>?) 🔀
567567valtype ::= <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>)?)?) 🚝
570571functype ::= (func (param "<label>" <valtype>)* (result <valtype>)?)
571572componenttype ::= (component <componentdecl>*)
572573instancetype ::= (instance <instancedecl>*)
@@ -1411,7 +1412,8 @@ dynamically interact with Canonical ABI entities like resources,
14111412``` ebnf
14121413canon ::= ...
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| -------------------------- | ---------------------------------- |
You can’t perform that action at this time.
0 commit comments