diff options
Diffstat (limited to 'TextFormat.md')
| -rw-r--r-- | TextFormat.md | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/TextFormat.md b/TextFormat.md index 6619f6f..316b065 100644 --- a/TextFormat.md +++ b/TextFormat.md @@ -33,3 +33,12 @@ binary format are considered invalid text. Floating-point numbers are therefore represented as hexadecimal floating-point as specified by the C99 standard, which IEEE-754-2008 section 5.12.3 also specifies. The textual format may be improved to also support more human-readable representations, but never at the cost of accurate representation. + +## Debug symbol integration + +The binary format inherently strips names from functions, locals, globals, etc, +reducing each of these to dense indices. Without help, the text format must +therefore synthesize new names. However, as part of the [tooling](Tooling.md) +story, a lightweight, optional "debug symbol" global section may be defined +which associates names with each indexed entity and, when present, these names +will be used in the text format projected from a binary WebAssembly module. |