src/Pure/ML/ml_compiler.ML

       let
         val pos = Exn_Properties.position_of_polyml_location loc;
         val def_pos = Exn_Properties.position_of_polyml_location decl;
       in
         (is_reported pos andalso pos <> def_pos) ?
-          let
-            fun markup () =
-              (Markup.entityN, (Markup.kindN, kind) :: Position.def_properties_of def_pos);
-          in cons (pos, markup, fn () => "") end
+          cons (pos, fn () => Position.entity_markup kind ("", def_pos), fn () => "")
       end;
 
     fun reported_entity_id def id loc =
       let
         val pos = Exn_Properties.position_of_polyml_location loc;