Commit 08ee3403 authored by POTTIER Francois's avatar POTTIER Francois

Code movement.

parent 423e6ac2
......@@ -31,11 +31,6 @@ let exists_char (f : Char.t -> bool) : bool =
with Exists ->
true
(* A tabulator for functions of type [char -> _] is used several times. *)
module T =
Tabulate.ForHashedType(Char)(Char)
(* -------------------------------------------------------------------------- *)
(* See Scott Owens, John Reppy, Aaron Turon, "Regular-expression derivatives
......@@ -308,6 +303,11 @@ let nullable : regexp -> bool =
star.) More precisely, for every character [a], [delta a] is a function of
type [regexp -> regexp]: we memoize every function [delta a] separately. *)
(* A tabulator for functions of type [char -> _] is used for this purpose. *)
module T =
Tabulate.ForHashedType(Char)(Char)
let delta : Char.t -> regexp -> regexp =
T.tabulate (fun a ->
M.fix (fun delta e ->
......
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