HigherOrderCO/Bend
1
1
Fork 0
mirror of https://github.com/HigherOrderCO/Bend.git synced 2024-10-26 05:50:18 +03:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #456 from HigherOrderCO/improve-switch-doc

Browse Source 
Improve switch predecessor variable doc
This commit is contained in:
Nicolas Abril 2024-05-23 19:38:57 +02:00 committed by GitHub
commit 200ff1558f
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 6 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
docs/syntax.md
View File

@ -196,7 +196,7 @@ The condition must return a `u24` number, where 0 will run the `else` branch and
### Switch
```python
switch x = 4:
switch x = 5:
case 0:
return 6
case 1:
@ -211,7 +211,7 @@ catches all values not explicitly enumerated. Switches may only be used with nat
In the last case, the predecessor value is available with the name `bound_var-next_num`, where `bound_var` is the variable
set by the condition and `next_num` is the expected value of the next case. For example, the above example code returns
`5`, since `x-2` is bound to `5` and the value of `x` doesn't match any explicit case.
`3`, since `x-2` is bound to `5 - 2` and the value of `x` doesn't match any explicit case.
This switch statement is equivalent to the `if` from the previous section:
@ -815,6 +815,10 @@ A switch for native numbers, it can hold a name binding if the matching term is
The cases need to be typed from `0` to a wildcard `_` in sequence.
In the last case, the predecessor value is available with the name `bound_var-next_num`, where `bound_var` is the variable
set by the condition and `next_num` is the expected value of the next case. For example, the above example code returns
`1`, since `x-1` is bound to `(+ 1 1) - 1` and the value of `x` doesn't match any explicit case.
Using `;` is optional.
### Match