Comment author: administrator

Full_Name: Vladimir Támara Patiño

if (Str.string_match (Str.regexp "^[ -0-9]*$") "41" 0) then
print_endline ("Here enters with Ocaml 3.06")
else
print_endline ("And here with Ocaml 3.07")

(* Works fine in both with ^[- 0-9]*$ *)

Hello,

This is clearly a bug in 3.06, and we are glad that it is fixed in 3.07.
The O'Caml documentation refers to GNU emacs for the syntax of
regular expressions. The GNU emacs documentation specifies that
a '-' in a character set stands for itself if it is the first or last character
in the set, or if it follows a range.

Thus your regexp is parsed as:
^ (beginning of line)
[ (starting a character set)
(space)-0 (a range of characters that doesn't include 1 nor 4)

• (one character)
  9 (one character)
  ] (ending the character set)
  $ (end of line)

Hence it should not match the string "41".

Thanks for the report,

-- Damien

Comment author: administrator

bug in 3.06 fixed in 3.07 -- DD 2003-06-11

Comment author: administrator

On Thu, Nov 06, 2003 at 04:41:13PM +0100, Damien Doligez wrote:

Full_Name: Vladimir Támara Patiño

if (Str.string_match (Str.regexp "^[ -0-9]*$") "41" 0) then
print_endline ("Here enters with Ocaml 3.06")
else
print_endline ("And here with Ocaml 3.07")

(* Works fine in both with ^[- 0-9]*$ *)

Hello,

This is clearly a bug in 3.06, and we are glad that it is fixed in 3.07.
The O'Caml documentation refers to GNU emacs for the syntax of
regular expressions.

Ok. Thank you. Sorry I didn't read the emacs documentation.

--
Que Dios nos ilumine para hacer su voluntad. Información de dominio público.

Vladimir Támara Patiño.
http://www.geocities.com/v-tamara