grin-compiler/grin
1
1
Fork 0
mirror of https://github.com/grin-compiler/grin.git synced 2024-10-03 19:17:42 +03:00
Code Issues Projects Releases Wiki Activity

Minor fixes in effects docs

Browse Source
This commit is contained in:
anabra 2019-06-21 22:23:36 +01:00
parent c9ab95d987
commit d5e557dde9
1 changed files with 4 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
notes/effects.md
View File

@ -52,7 +52,7 @@ x <- <lhs>
f x =
<body>
```
- flow the result of <body> into `f`'s result register
- flow the result of `<body>` into `f`'s result register
- return nothing
### Case expression
@ -63,9 +63,8 @@ case x of
...
<alt n> -> <rhs n>
```
- forall i in [1..n]. flow the result of `<rhs i>` into the case expression
- result register
- return result register of the case expression
- forall i in [1..n]. flow the result of `<rhs i>` into the case expression's result register
- return the result register of the case expression
### External application
@ -82,7 +81,7 @@ p x -- p is an external function
f x
```
- create a new register `r`
- flow f's result into `r`
- flow `f`'s result into `r`
- return `r`
Some examples