diff options
Diffstat (limited to 'TYPE_SYSTEM.md')
| -rw-r--r-- | TYPE_SYSTEM.md | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/TYPE_SYSTEM.md b/TYPE_SYSTEM.md index 56baa91..fb45232 100644 --- a/TYPE_SYSTEM.md +++ b/TYPE_SYSTEM.md @@ -17,8 +17,9 @@ SPDX-License-Identifier: CC-BY-NC-SA-4.0 # Declaration and mutability -* Variables and constants need to be declared before being used +* Variables need to be declared before being used * All declarations (including globals and implicit declarations from imports) must be above their first use * Redeclarations ("shadowing") are forbidden * Variables may be changed using the "assign" statement -* Constants cannot be changed +* Constants cannot be changed, but mutables can +* Local mutables are allocated on the stack, local constants are QBE temporaries |