src/Pure/General/position.ML

   val none: T
   val start: T
   val file_name: string -> Properties.T
   val file_only: string -> T
   val file: string -> T
+  val line_file_only: int -> string -> T
+  val line_file: int -> string -> T
   val line: int -> T
-  val line_file: int -> string -> T
   val id: string -> T
   val id_only: string -> T
   val get_id: T -> string option
   val put_id: string -> T -> T
   val parse_id: T -> int option

   | file_name name = [(Markup.fileN, name)];
 
 fun file_only name = Pos ((0, 0, 0), file_name name);
 fun file name = Pos ((1, 1, 0), file_name name);
 
+fun line_file_only i name = Pos ((i, 0, 0), file_name name);
 fun line_file i name = Pos ((i, 1, 0), file_name name);
 fun line i = line_file i "";
 
 fun id id = Pos ((0, 1, 0), [(Markup.idN, id)]);
 fun id_only id = Pos ((0, 0, 0), [(Markup.idN, id)]);