diff options
| author | JF Bastien <github@jfbastien.com> | 2015-09-16 15:11:18 -0700 |
|---|---|---|
| committer | JF Bastien <github@jfbastien.com> | 2015-09-16 15:11:18 -0700 |
| commit | 7b1477ee443a7f697bcb2c1d43091e8c52ab16b2 (patch) | |
| tree | 48b7ca357388a123012cfb46fde4f1a0b1ecb66f /TextFormat.md | |
| parent | 9b177b62e11b16369c6f06f6e2664d2c032dc52c (diff) | |
| parent | 18d1aa32c1648d3bab2c8fb394b1da61b6edc057 (diff) | |
| download | nanowasm-design-7b1477ee443a7f697bcb2c1d43091e8c52ab16b2.tar.gz | |
Merge pull request #344 from WebAssembly/rm-globals
Move globals out of the MVP
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. |