Skip to content

Commit f0487b2

Browse files
committed
Belatedly address comment in #263, updating Binary.md to match the impl
Fix typo
1 parent ae48649 commit f0487b2

File tree

1 file changed

+3
-3
lines changed

1 file changed

+3
-3
lines changed

Diff for: design/mvp/Binary.md

+3-3
Original file line numberDiff line numberDiff line change
@@ -211,8 +211,8 @@ instancedecl ::= 0x00 t:<core:type> => t
211211
| 0x01 t:<type> => t
212212
| 0x02 a:<alias> => a
213213
| 0x04 ed:<exportdecl> => ed
214-
importdecl ::= in:<importname> ed:<externdesc> => (import in ed)
215-
exportdecl ::= en:<exportname> ed:<externdesc> => (export en ed)
214+
importdecl ::= in:<importname'> ed:<externdesc> => (import in ed)
215+
exportdecl ::= en:<exportname'> ed:<externdesc> => (export en ed)
216216
externdesc ::= 0x00 0x11 i:<core:typeidx> => (core module (type i))
217217
| 0x01 i:<typeidx> => (func (type i))
218218
| 0x02 t:<valtype> => (value t) 🪙
@@ -310,7 +310,7 @@ flags are set.
310310
(See [Import and Export Definitions](Explainer.md#import-and-export-definitions)
311311
in the explainer.)
312312
```ebnf
313-
import ::= en:<importname'> ed:<externdesc> => (import in ed)
313+
import ::= in:<importname'> ed:<externdesc> => (import in ed)
314314
export ::= en:<exportname'> si:<sortidx> ed?:<externdesc>? => (export en si ed?)
315315
importname' ::= 0x00 len:<u32> in:<importname> => in (if len = |in|)
316316
exportname' ::= 0x00 len:<u32> en:<exportname> => en (if len = |en|)

0 commit comments

Comments
 (0)