Re: [Caml-list] ocaml-re library, partial match semantics

["Jérôme Vouillon" <vouillon@pps.univ-paris-diderot.fr>]

Hi,

On 09/30/2014 14:35, Tom Ridge wrote:
> I am using the ocaml-re library
> 
> https://github.com/ocaml/ocaml-re
> 
> I have the following code:
> 
> open Re;
> 
> let a = char 'a'
> let b = char 'b'
> 
> let re = seq[a;b] |> compile
[...]
> let _ = assert (exec_partial re "a" = `Mismatch)
> 
> I was expecting that the exec_partial in the final line would return
> `Partial, indicating that a prefix of a match was found. However, a
> `Mismatch was returned instead. What is the meaning/behaviour of
> exec_partial? Can I use it to perform a partial match?

There was a bug in exec_partial, which is fixed in version 1.2.2.
Now, you get the correct result:

# exec_partial re "a";;
- : [ `Full | `Mismatch | `Partial ] = `Partial

-- Jérôme