src/Pure/PIDE/query_operation.ML

   Command.print_function name
     (fn {args = instance :: args, ...} =>
         SOME {delay = NONE, pri = 0, persistent = false, strict = false,
           print_fn = fn _ => uninterruptible (fn restore_attributes => fn state =>
             let
-              fun result s = Output.result [(Markup.instanceN, instance)] s;
+              fun result s = Output.result [(Markup.instanceN, instance)] [s];
               fun status m = result (Markup.markup_only m);
               fun output_result s = result (Markup.markup (Markup.writelnN, []) s);
               fun toplevel_error exn =
                 result (Markup.markup (Markup.errorN, []) (Runtime.exn_message exn));