diff --git a/src/passes/4-typer-new/dune b/src/passes/4-typer-new/dune index ef18cd078..529c6b3ec 100644 --- a/src/passes/4-typer-new/dune +++ b/src/passes/4-typer-new/dune @@ -7,7 +7,7 @@ ast_simplified ast_typed operators - union_find + partition ) (preprocess (pps ppx_let) diff --git a/src/passes/4-typer-new/solver.ml b/src/passes/4-typer-new/solver.ml index bb7fb3b79..e5f12b144 100644 --- a/src/passes/4-typer-new/solver.ml +++ b/src/passes/4-typer-new/solver.ml @@ -355,7 +355,7 @@ struct end -module UF = Union_find.Partition0.Make(TypeVariable) +module UF = UnionFind.Partition0.Make(TypeVariable) type unionfind = UF.t diff --git a/vendors/UnionFind/dune b/vendors/UnionFind/dune index 8fe8caa93..ca32861e8 100644 --- a/vendors/UnionFind/dune +++ b/vendors/UnionFind/dune @@ -2,7 +2,7 @@ (name UnionFind) (public_name partition) (wrapped false) - (modules Partition0 Partition1 Partition2 Partition3 Partition) + (modules Partition0 Partition1 Partition2 Partition3 Partition UnionFind) (modules_without_implementation Partition)) (test diff --git a/vendors/UnionFind/unionFind.ml b/vendors/UnionFind/unionFind.ml new file mode 100644 index 000000000..17850f743 --- /dev/null +++ b/vendors/UnionFind/unionFind.ml @@ -0,0 +1,2 @@ +module Partition = Partition +module Partition0 = Partition0