--- a/src/Pure/Syntax/syntax_phases.ML Sun Sep 29 21:13:17 2024 +0200
+++ b/src/Pure/Syntax/syntax_phases.ML Sun Sep 29 21:16:17 2024 +0200
@@ -188,7 +188,8 @@
fun asts_of_position c tok =
[Ast.Appl [Ast.Constant c, ast_of (Parser.Tip tok), ast_of_position tok]]
- and asts_of (Parser.Markup (markup, pts)) = maps asts_of pts
+ and asts_of (Parser.Markup ({markup, range = (pos, _), ...}, pts)) =
+ (append_reports (map (pair pos) markup); maps asts_of pts)
| asts_of (Parser.Node ({const = "", ...}, pts)) = maps asts_of pts
| asts_of (Parser.Node ({const = "_class_name", ...}, [Parser.Tip tok])) =
let