Espressioni regolari in OCaml

Question

Desidero utilizzare espressioni regolari in OCaml e sembra che il modulo Str fornisca queste funzionalità.

Così ho provato con un semplice programma:

open Str 
let regx = regexp "." 

ma mi dà il seguente errore

File "lol.ml", line 1, characters 0-1: Error: Error while linking lol.cmo: Reference to undefined global `Str'

Come se il modulo non è presente, ma se tolgo open Str si dice che regexp è un valore non associato.

Non capisco che tipo di problema si tratta, Str dovrebbe essere un modulo standard (secondo http://caml.inria.fr/pub/docs/old-311/libref/Str.html) quindi sono incompetenti .. l'unica cosa che ho pensato è che la firma (mli) è presente ma l'attuazione (ml) non lo è.

Sono in esecuzione Objective Caml version 3.11.0 in base allo strumento ocaml.

Qualcuno può aiutarmi a capirlo? Grazie in anticipo

Answer 1

Da the manual:

Programs that use the str library must be linked as follows:

ocamlc other options str.cma other files 
ocamlopt other options str.cmxa other files 

Answer 2

Oppure si può mettere

#load "str.cma";; 

se si sta facendo l'interprete

Answer 3

In alternativa al modulo Str c'è anche Re2.

1. installarlo utilizzando opam install re2

2. Usa il modulo in your_file.ml come questo:

   open Re2.Std 
   open Re2.Infix 
   let change input_text = Re2.rewrite_exn ~/"change this" "to that" input_text 
   let() = printf "%s" (change "change this") 
   

3. Compila con ocamlbuild -use-ocamlfind -package re2 -package core -tag thread your_file.byte