diff options
| author | JF Bastien <github@jfbastien.com> | 2016-11-07 08:37:02 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-11-07 08:37:02 -0800 |
| commit | 6af67f4dcfe48ca4d15304f529aaf6325544e34b (patch) | |
| tree | 766a415b8d722e9558e14108e45bb8dff81b02be /Semantics.md | |
| parent | 3b2f136b595bb249640c4b7f777840c2de73f3ac (diff) | |
| download | nanowasm-design-6af67f4dcfe48ca4d15304f529aaf6325544e34b.tar.gz | |
Clarify which zero is used to initialize locals (#864)
`-0.` doesn't seem like an "appropriate zero".
Diffstat (limited to 'Semantics.md')
| -rw-r--r-- | Semantics.md | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Semantics.md b/Semantics.md index 74697f5..2d1edd1 100644 --- a/Semantics.md +++ b/Semantics.md @@ -289,8 +289,8 @@ Each function has a fixed, pre-declared number of *local variables* which occupy index space local to the function. Parameters are addressed as local variables. Local variables do not have addresses and are not aliased by linear memory. Local variables have [value types](#types) and are initialized to the appropriate zero value for their -type at the beginning of the function, except parameters which are initialized to the values -of the arguments passed to the function. +type (`0` for integers, `+0.` for floating-point) at the beginning of the function, +except parameters which are initialized to the values of the arguments passed to the function. * `get_local`: read the current value of a local variable * `set_local`: set the current value of a local variable |