src/Pure/Isar/parse.ML

   val name: string parser
   val name_range: (string * Position.range) parser
   val name_position: (string * Position.T) parser
   val binding: binding parser
   val embedded: string parser
+  val embedded_input: Input.source parser
   val embedded_position: (string * Position.T) parser
   val text: string parser
   val path: string parser
   val path_binding: (string * Position.T) parser
   val session_name: (string * Position.T) parser

 val embedded =
   group (fn () => "embedded content")
     (cartouche || string || short_ident || long_ident || sym_ident ||
       term_var || type_ident || type_var || number);
 
-val embedded_position = input embedded >> Input.source_content;
+val embedded_input = input embedded;
+val embedded_position = embedded_input >> Input.source_content;
 
 val text = group (fn () => "text") (embedded || verbatim);
 
 val path = group (fn () => "file name/path specification") embedded;
 val path_binding = group (fn () => "path binding (strict file name)") (position embedded);