]> matita.cs.unibo.it Git - helm.git/blob - helm/ocaml/mathql_interpreter/func.ml
First very-very-very-very-alfa release of a MathQL Interpreter implemented
[helm.git] / helm / ocaml / mathql_interpreter / func.ml
1
2 (*
3  *
4  *)
5
6 (*
7  * implementazione della funzione NAME
8  *)
9 let func_name value =
10  try (
11   let i = Str.search_forward (Str.regexp "[^/]*\.") value 0 in
12    let s = Str.matched_string value in 
13     let retVal = Str.string_before s ((String.length s) - 1) in
14      retVal
15  ) with
16   Not_found -> ""
17 ;;
18
19 (** TEST **)
20
21 (*
22 print_endline (func_name Sys.argv.(1));;
23 *)