Commit 055eab2c authored by POTTIER Francois's avatar POTTIER Francois

Renamed [Maps.ConsecutiveIntegerKeysToImperativeMaps] to [Maps.ArrayAsImperativeMaps].

parent b392d19b
......@@ -86,7 +86,7 @@ module ImperativeMapsToImperativeMap
end
module ConsecutiveIntegerKeysToImperativeMaps
module ArrayAsImperativeMaps
(K : sig val n: int end)
: IMPERATIVE_MAPS with type key = int
and type 'data t = 'data option array
......
......@@ -58,7 +58,7 @@ module ImperativeMapsToImperativeMap
(* An implementation of imperative maps as arrays is possible if keys
are consecutive integers. *)
module ConsecutiveIntegerKeysToImperativeMaps
module ArrayAsImperativeMaps
(K : sig val n: int end)
: IMPERATIVE_MAPS with type key = int
and type 'data t = 'data option array
......
......@@ -849,7 +849,7 @@ end = struct
module F =
Fix.Make
(Maps.ConsecutiveIntegerKeysToImperativeMaps(Nonterminal))
(Maps.ArrayAsImperativeMaps(Nonterminal))
(P)
let nonterminal =
......@@ -904,7 +904,7 @@ let solve (eqs : equations) : Nonterminal.t -> TerminalSet.t =
let module F =
Fix.Make
(Maps.ConsecutiveIntegerKeysToImperativeMaps(Nonterminal))
(Maps.ArrayAsImperativeMaps(Nonterminal))
(TerminalSet)
in
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment