src/Pure/PIDE/command.ML
changeset 56034 1c59b555ac4a
parent 55798 985bd3a325ab
child 56265 785569927666
     1.1 --- a/src/Pure/PIDE/command.ML	Mon Mar 10 20:27:08 2014 +0100
     1.2 +++ b/src/Pure/PIDE/command.ML	Mon Mar 10 21:15:29 2014 +0100
     1.3 @@ -91,6 +91,7 @@
     1.4  
     1.5  fun read_file master_dir pos src_path =
     1.6    let
     1.7 +    val _ = Position.report pos Markup.language_path;
     1.8      val full_path = File.check_file (File.full_path master_dir src_path);
     1.9      val _ = Position.report pos (Markup.path (Path.implode full_path));
    1.10      val text = File.read full_path;
    1.11 @@ -117,7 +118,7 @@
    1.12            fun make_file src_path (Exn.Res (_, NONE)) =
    1.13                  Exn.interruptible_capture (fn () => read_file master_dir pos src_path) ()
    1.14              | make_file src_path (Exn.Res (file, SOME (digest, lines))) =
    1.15 -               (Position.report pos (Markup.path file);
    1.16 +               (Position.reports [(pos, Markup.language_path), (pos, Markup.path file)];
    1.17                  Exn.Res (blob_file src_path lines digest file))
    1.18              | make_file _ (Exn.Exn e) = Exn.Exn e;
    1.19            val src_paths = Keyword.command_files cmd path;