Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Improve README #41

Open
wants to merge 1 commit into
base: master
Choose a base branch
from
+3 −3
Open

Improve README #41

Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
6 changes: 3 additions & 3 deletions README.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -196,12 +196,12 @@ tail-recursive calls (and also prevents some polymorphism generalization).
To get around these problems, it is recommended to use the other provided
extension around `let ... in` and `let rec ... in`:
```ocaml
let[@landmark] f = body
let[@landmark] f x1 ... xn = body
```
which is expanded in :
```ocaml
let __generated_landmark_2 = Landmark.register "f"
let f = body
let f x1 ... xn = body
let f x1 ... xn =
Landmark.enter __generated_landmark_2;
let r =
Expand All @@ -211,7 +211,7 @@ let f x1 ... xn =
r
```
when the arity `n` of `f` is obtained by counting the shallow occurrences
of `fun ... ->` and `function ... -> ` in `body`. Please note that when using
of `fun ... ->` and `function ... -> ` in `body` in addition to explicit parameters (`f x1 ... xk`). Please note that when using
this annotation with let-rec bindings, only entry-point calls will be recorded.
For instance, in the following piece of code
```ocaml
Expand Down
Loading