From 6af67f4dcfe48ca4d15304f529aaf6325544e34b Mon Sep 17 00:00:00 2001 From: JF Bastien Date: Mon, 7 Nov 2016 08:37:02 -0800 Subject: Clarify which zero is used to initialize locals (#864) `-0.` doesn't seem like an "appropriate zero". --- Semantics.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'Semantics.md') 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 -- cgit v1.2.3