Skip to content

Commit

Permalink
Add support for 4.11 (#92)
Browse files Browse the repository at this point in the history
Signed-off-by: Jeremie Dimino <[email protected]>
  • Loading branch information
jeremiedimino authored Apr 9, 2020
1 parent 93444db commit 2e8057b
Show file tree
Hide file tree
Showing 12 changed files with 7,534 additions and 3 deletions.
5 changes: 3 additions & 2 deletions README.md
Original file line number Diff line number Diff line change
Expand Up @@ -130,8 +130,9 @@ signature and implementation with the code from the compiler. For the
`Config` sub-module, update the two variables with the values in
`utils/config.mlp` in the compiler source tree.

Once this is done, call `tools/add_special_comments.native` on the
file.
Once this is done, call:

$ dune exec tools/add_special_comments.exe src/ast_<new_version>.ml

Then diff the `src/ast_xxx.ml` and `src/ast_<new_version>.ml` and go
over the diff to make sure the difference are relevant. The `ast_...`
Expand Down
Loading

0 comments on commit 2e8057b

Please sign in to comment.