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

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

[Tom Ridge]

[-- Attachment #1: Type: text/plain, Size: 586 bytes --]

Dear All,

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 rs = exec re "caba"

let [|(1,3)|] = get_all_ofs rs

let true = execp re "cab"

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?

Thanks

Tom

[-- Attachment #2: Type: text/html, Size: 1042 bytes --]

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

[Jérôme Vouillon]

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