src/Pure/PIDE/protocol.scala
changeset 56447 1e77ed11f2f7
parent 56395 0546e036d1c0
child 56449 f0592485b7fb
     1.1 --- a/src/Pure/PIDE/protocol.scala	Sun Apr 06 21:01:45 2014 +0200
     1.2 +++ b/src/Pure/PIDE/protocol.scala	Mon Apr 07 13:06:34 2014 +0200
     1.3 @@ -352,7 +352,8 @@
     1.4        val encode_blob: T[Command.Blob] =
     1.5          variant(List(
     1.6            { case Exn.Res((a, b)) =>
     1.7 -              (Nil, pair(string, option(string))((a.node, b.map(p => p._1.toString)))) },
     1.8 +              (Nil, triple(string, string, option(string))(
     1.9 +                (a.node, Isabelle_System.posix_path(a.node), b.map(p => p._1.toString)))) },
    1.10            { case Exn.Exn(e) => (Nil, string(Exn.message(e))) }))
    1.11        YXML.string_of_body(list(encode_blob)(command.blobs))
    1.12      }