diff options
| author | Son Ho | 2022-10-27 09:40:47 +0200 |
|---|---|---|
| committer | Son HO | 2022-10-27 12:58:47 +0200 |
| commit | 1e5103b896d5e843e8c40ec600c0215673c79275 (patch) | |
| tree | 39d4a77052e9dd5f14ab49386e9142fb47249d81 | |
| parent | 7e7d0d67de8285e1d6c589750191bce4f49aacb3 (diff) | |
Update the README and a comment
| -rw-r--r-- | README.md | 6 | ||||
| -rw-r--r-- | compiler/SymbolicToPure.ml | 5 |
2 files changed, 6 insertions, 5 deletions
@@ -40,14 +40,14 @@ You need to install OCaml, together with some packages. We suggest you to follow those [instructions](https://ocaml.org/docs/install.html), and install OPAM on the way (same instructions). +We use **OCaml 4.13.1**: `opam switch create 4.13.1+options` + The dependencies can then be installed with the following command: ``` -opam install ppx_deriving visitors easy_logging zarith yojson core_unix +opam install ppx_deriving visitors easy_logging zarith yojson core_unix odoc ``` -We use **OCaml 4.12.1**. - Finally, building the project simply requires to run `make` in the top directory. ## Usage diff --git a/compiler/SymbolicToPure.ml b/compiler/SymbolicToPure.ml index de4fb4c1..24af578f 100644 --- a/compiler/SymbolicToPure.ml +++ b/compiler/SymbolicToPure.ml @@ -29,8 +29,9 @@ type config = { Also note that in general, backward functions "do more things" than forward functions, and have more opportunities to fail (even though - in the generated code, backward functions should fail exactly when - the forward functions fail). + in the generated code, calls to the backward functions should fail + exactly when the corresponding, previous call to the forward functions + failed). We might want to move this optimization to the micro-passes subsequent to the translation from symbolic to pure, but it is really super easy |