Commits

Dmitry Grebeniuk  committed 9dd5067

+ Filepath.segs_of_string

  • Participants
  • Parent commits 8ec2ac6

Comments (0)

Files changed (2)

File src/filepath.ml

 ;
 
 
+value segs_of_string s =
+  String.split_exact ( (=) '/' ) s
+;
+
+
 value of_string s : t unk =
-  of_segs (String.split_exact ( (=) '/' ) s)
+  of_segs (segs_of_string s)
 ;
 
 

File src/filepath.mli

 (* выдать список сегментов пути (для абсолютных путей первый всегда ""): *)
 value to_segs : t 'a -> list string;
 
+(* список сегментов пути из строки *)
+value segs_of_string : string -> list string;
+
 (* [abs ~base path] резолвит [path] относительно абсолютного пути [base],
    если [path] является относительным путём: *)
 value abs : ~base:(t abs) -> t [= abs | rel | unk] -> t abs;