1. Dmitry Grebeniuk
  2. amall

Commits

Dmitry Grebeniuk  committed 4a5cf2c

Filepath: + t 'a aliases

  • Participants
  • Parent commits 8557804
  • Branches default

Comments (0)

Files changed (2)

File src/filepath.ml

View file
 type t +'kind = ('kind * list string)
 ;
 
+type t_abs = t abs
+ and t_rel = t rel
+ and t_unk = t unk
+;
+
 
 open Am_String
 ;

File src/filepath.mli

View file
 type t +'kind = private ('kind * list string)
 ;
 
+(* алиасы типов, чтобы избежать [Filepath.t Filepath.abs]. *)
+type t_abs = t abs
+ and t_rel = t rel
+ and t_unk = t unk
+;
+
 (* создать путь из списка сегментов: *)
 value of_segs : list string -> t unk;