QPQ-AG/sophia
10
0
Fork 0
Code Issues 41 Pull Requests 5 Actions Packages Projects Releases 16 Wiki Activity

Fix docs

Browse Source
This commit is contained in:
Gaith Hallak 2021-10-18 12:32:58 +03:00
parent 303ca21317
commit 6fa6dfbbc0
1 changed files with 5 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
docs/sophia_features.md
View File

@ -490,7 +490,7 @@ statements and functions definitions. If a guard expression evaluates to
will be checked:
```sophia
function get_left_if_positive(x : one_or_both('a, 'b)) : option('a) =
function get_left_if_positive(x : one_or_both(int, 'b)) : option(int) =
switch(x)
Left(x) | x > 0 => Some(x)
Both(x, _) | x > 0 => Some(x)
@ -499,10 +499,10 @@ function get_left_if_positive(x : one_or_both('a, 'b)) : option('a) =
```sophia
function
get_left_if_positive : one_or_both('a, 'b) => option('a)
get_left(Left(x)) | x > 0 = Some(x)
get_left(Both(x, _)) | x > 0 = Some(x)
get_left(_) = None
get_left_if_positive : one_or_both(int, 'b) => option(int)
get_left_if_positive(Left(x)) | x > 0 = Some(x)
get_left_if_positive(Both(x, _)) | x > 0 = Some(x)
get_left_if_positive(_) = None
```
Guards cannot be stateful even when used inside a stateful function.