src/Pure/PIDE/resources.ML

   let val entries = get_session_base which in
     (case AList.lookup (op =) entries name of
       SOME entry => (Context_Position.report ctxt pos (markup name entry); name)
     | NONE =>
         let
-          val completion =
-            Completion.make (name, pos) (fn completed =>
+          val completion_report =
+            Completion.make_report (name, pos)
+              (fn completed =>
                 entries
                 |> map #1
                 |> filter completed
                 |> sort_strings
                 |> map (fn a => (a, (kind, a))));
-          val report = Markup.markup_report (Completion.reported_text completion);
-        in error ("Bad " ^ kind ^ " " ^ quote name ^ Position.here pos ^ report) end)
+        in error ("Bad " ^ kind ^ " " ^ quote name ^ Position.here pos ^ completion_report) end)
   end;
 
 fun markup_session name {pos, serial} =
   Markup.properties
     (Position.entity_properties_of false serial pos) (Markup.entity Markup.sessionN name);