diff options
| author | Sam Clegg <sbc@chromium.org> | 2017-06-19 11:37:47 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-06-19 11:37:47 -0700 |
| commit | 79112aed19bd050f9a3e7f43aecfd9a04f040438 (patch) | |
| tree | 963014779b3141679239256c843d8e6feee22556 /BinaryEncoding.md | |
| parent | 8a085cf41845eb46bd24595d781ef28ae0425322 (diff) | |
| download | nanowasm-design-79112aed19bd050f9a3e7f43aecfd9a04f040438.tar.gz | |
Clarify function names subsection (#1096)
Fixes #1094, #1076
Diffstat (limited to 'BinaryEncoding.md')
| -rw-r--r-- | BinaryEncoding.md | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/BinaryEncoding.md b/BinaryEncoding.md index ae566da..bfbef22 100644 --- a/BinaryEncoding.md +++ b/BinaryEncoding.md @@ -496,6 +496,13 @@ The function names subsection is a `name_map` which assigns names to a subset of the [function index space](Modules.md#function-index-space) (both imports and module-defined). +Each function may be named at most once. Naming a function more than once +results in the section being malformed. + +However, names need not be unique. The same name may be given for multiple +functions. This is common for C++ programs where the multiple compilation units +that comprise a binary can contain local functions with the same name. + #### Local names The local names subsection assigns `name_map`s to a subset of functions in the |