From f337c589e1e0163ca3841e4b7c1eb33b39d17e07 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Franc=CC=A7ois=20Pottier?= <francois.pottier@inria.fr>
Date: Thu, 3 Oct 2019 21:45:55 +0200
Subject: [PATCH] Rename the module [Number] to [GraphNumbering].
---
CHANGES.md | 5 ++++-
README.md | 6 +++---
demos/brz/Brzozowski.ml | 2 +-
src/Fix.ml | 14 +++++++-------
src/{Number.ml => GraphNumbering.ml} | 0
src/{Number.mli => GraphNumbering.mli} | 0
6 files changed, 15 insertions(+), 12 deletions(-)
rename src/{Number.ml => GraphNumbering.ml} (100%)
rename src/{Number.mli => GraphNumbering.mli} (100%)
diff --git a/CHANGES.md b/CHANGES.md
index 1025388..d60f2e7 100644
--- a/CHANGES.md
+++ b/CHANGES.md
@@ -9,10 +9,13 @@
which not only returns a memoized function,
but also provides outside access to the memoization table.
-* New signature `ONGOING_NUMBERING`
+* New signatures `ONGOING_NUMBERING` and `TWO_PHASE_NUMBERING`
and new module `Numbering`,
which provides facilities for numbering things.
+* Breaking change: the module `Fix.Number`
+ is renamed `Fix.GraphNumbering`.
+
## 2018/11/30
* New release, including new modules (`Gensym`, `Memoize`,
diff --git a/README.md b/README.md
index 14960f6..00e04bb 100644
--- a/README.md
+++ b/README.md
@@ -25,13 +25,13 @@ This gives you access to the following submodules:
at every point in its domain, so as to obtain an equivalent
function that can be queried in constant time.
-* [`Number`](src/Number.mli) offers a facility for
- **discovering and numbering the reachable vertices** in a directed graph.
-
* [`Numbering`](src/Numbering.mli) offers a facility for
**assigning a unique number** to each value in a certain finite set
and translating (both ways) between values and their numbers.
+* [`GraphNumbering`](src/GraphNumbering.mli) offers a facility for
+ **discovering and numbering the reachable vertices** in a finite directed graph.
+
* [`HashCons`](src/HashCons.mli) offers support for
**setting up a hash-consed data type**, that is, a data type whose
values carry unique integer identifiers.
diff --git a/demos/brz/Brzozowski.ml b/demos/brz/Brzozowski.ml
index 5c54ee3..a3409e7 100644
--- a/demos/brz/Brzozowski.ml
+++ b/demos/brz/Brzozowski.ml
@@ -430,7 +430,7 @@ let dfa (e : regexp) : dfa =
let foreach_root yield =
if nonempty e then yield e
end in
- let module N = Number.ForHashedType(R)(G) in
+ let module N = GraphNumbering.ForHashedType(R)(G) in
(* We have [n] states which are mapped to nonempty expressions by [decode]. *)
let n, decode = N.n, N.decode in
(* A nonempty expression is represented by a state,
diff --git a/src/Fix.ml b/src/Fix.ml
index d9a4410..2e76193 100644
--- a/src/Fix.ml
+++ b/src/Fix.ml
@@ -23,13 +23,13 @@ include Sigs
declared [open Fix], then she can use [Glue], [Memoize], etc. If she
hasn't, then she must use [Fix.Glue], [Fix.Memoize], etc. *)
-module Glue = Glue
-module Memoize = Memoize
-module Number = Number
-module Numbering = Numbering
-module Tabulate = Tabulate
-module Gensym = Gensym
-module HashCons = HashCons
+module Glue = Glue
+module Memoize = Memoize
+module Numbering = Numbering
+module GraphNumbering = GraphNumbering
+module Tabulate = Tabulate
+module Gensym = Gensym
+module HashCons = HashCons
module Prop = struct
(* A number of ready-made implementations of the signature [PROPERTY]. *)
diff --git a/src/Number.ml b/src/GraphNumbering.ml
similarity index 100%
rename from src/Number.ml
rename to src/GraphNumbering.ml
diff --git a/src/Number.mli b/src/GraphNumbering.mli
similarity index 100%
rename from src/Number.mli
rename to src/GraphNumbering.mli
--
GitLab