diff options
| author | Luke Wagner <mail@lukewagner.name> | 2015-09-14 10:48:17 -0500 |
|---|---|---|
| committer | Luke Wagner <mail@lukewagner.name> | 2015-09-15 11:27:22 -0500 |
| commit | 18d1aa32c1648d3bab2c8fb394b1da61b6edc057 (patch) | |
| tree | 146d239f69d6a7cde480ab32ec5ff79793cc59e0 /TextFormat.md | |
| parent | c931978df51cf3d71b7e67e90629beaf470bb0c9 (diff) | |
| download | nanowasm-design-18d1aa32c1648d3bab2c8fb394b1da61b6edc057.tar.gz | |
Mention debug symbol section
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. |