Commit c0390942 authored by POTTIER Francois's avatar POTTIER Francois

Another local module.

parent d45c9c76
......@@ -342,10 +342,8 @@ let delta : Char.t -> regexp -> regexp =
memoization), the cost of a sequence of queries is less than the sum of
the costs of each query, considered in isolation; there is shared work. *)
module F =
Fix.ForHashedType(R)(Prop.Boolean)
let nonempty : regexp -> bool =
let module F = Fix.ForHashedType(R)(Prop.Boolean) in
F.lfp (fun e nonempty ->
nullable e || exists_char (fun a -> nonempty (delta a 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