Skip to content

Commit

Permalink
Minor fixes in effects docs
Browse files Browse the repository at this point in the history
  • Loading branch information
Anabra committed Jun 23, 2019
1 parent c9ab95d commit d5e557d
Showing 1 changed file with 4 additions and 5 deletions.
9 changes: 4 additions & 5 deletions notes/effects.md
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand All @@ -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

Expand All @@ -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
Expand Down

0 comments on commit d5e557d

Please sign in to comment.