From dd9a4dfb4748f32b2fdf2d9e983e290444e73c00 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Suzanne=20Dup=C3=A9ron?= Date: Mon, 6 Jan 2020 19:00:05 +0100 Subject: [PATCH] update union-find library (part 2: adjust module names) --- src/passes/4-typer-new/dune | 2 +- src/passes/4-typer-new/solver.ml | 2 +- vendors/UnionFind/dune | 2 +- vendors/UnionFind/unionFind.ml | 2 ++ 4 files changed, 5 insertions(+), 3 deletions(-) create mode 100644 vendors/UnionFind/unionFind.ml 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