package ocamlmig
OCaml source code rewriting tool
Install
Dune Dependency
Authors
Maintainers
Sources
ocamlmig-5.2-20250228.tbz
sha256=b62e6316ed39461c814320282d42484bd8b7a412b861a6f14d2853ceed423005
sha512=112b09f4ee3c9305c162cb7061d3f84e6017e22f990c60f69bc8ca9a3d0344d2793f6d38b08f43b761a5b2d0d430d7e0d9b71bfe3de2f80a65ce23ce47c8fe06
Description
Ocamlmig is a command line tool to rewrite ocaml source code, especially to make updating to newer interfaces easier.
Published: 02 Mar 2025
README
ocamlmig is a command line tool for rewriting ocaml source code with access to scope and type information.
As a simple example of what it can do, let's say an opam-installed library A provides this interface:
val new_name : int -> int
val old_name : int -> int
[@@migrate { repl = Rel.new_name }]
and your repository contains a file b.ml:
let _ = A.old_name 1
then you could do:
$ git diff b.ml
$ ocamlmig migrate -w
$ git diff b.ml
-let _ = A.old_name 1
+let _ = A.new_name 1
Examples of real rewrites:
- Renaming operators (not trivial because the operators change precedence)
- Switching code using both Stdlib and Core to mostly Core
- Switching code using Cmdliner's
$
tolet+
, in three parts: switch to let+ proper, removing tags, and inlining flag terms. ocamlmig also checks that variables in moved code keep pointing to the same value.
If that piqued your interest, you can find more information about what ocamlmig does, and using it.
This is work in progress, so many things are only partially implemented, but the existing functionality as is should still be interesting.
Dependencies (29)
-
re
>= "1.10.3"
- camlp-streams
- astring
-
csexp
>= "1.4.0"
-
uutf
>= "1.0.1"
-
uuseg
>= "10.0.0"
- stdio
-
ocp-indent
>= "1.8.0" | "1" = "0" & >= "1.8.1"
-
ocamlformat-rpc-lib
"1" = "0" & = version
-
ocaml-version
>= "3.5.0"
-
menhirSdk
>= "20201216"
-
menhirLib
>= "20201216"
-
menhir
>= "20201216"
-
fpath
>= "0.7.3"
- fix
- either
- dune-build-info
- dune
-
cmdliner
>= "1.1.0"
-
base
>= "v0.12.0"
-
alcotest
"1" = "0" & >= "1.3.0"
-
ocaml
>= "4.08"
- ppx_partial
- csexp
- core_unix
- core
- base
-
dune
>= "3.15"
-
ocaml
>= "5.2" & < "5.3"
Dev Dependencies (1)
-
odoc
with-doc
Used by
None
Conflicts
None
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page