X-Git-Url: https://scm.cri.ensmp.fr/git/Faustine.git/blobdiff_plain/c55d1f23d06e85b0e21cdf5cbc5c8efb6ac3bc1a..e9823a113b28e33924bc23b08e1a34a80ffec8ee:/interpreter/aux.ml diff --git a/interpreter/aux.ml b/interpreter/aux.ml index 5321349..0564c30 100644 --- a/interpreter/aux.ml +++ b/interpreter/aux.ml @@ -34,3 +34,9 @@ let remainder_float : float -> float -> float = if (abs_float r) > ((abs_float f2) /. 2.) then (if r *. f2 > 0. then (r -. f2) else (r +. f2)) else r;; + +let format_of_file : string -> string = + fun (path : string) -> + let fragments = Str.split (Str.regexp "\.") path in + let n = List.length fragments in + List.nth fragments (n - 1);;