[asl] Annotate internal parse nodes

herd · Jan 23, 2025 · 6941721 · 6941721
1 parent 8958e2e
commit 6941721
Showing 1 changed file with 18 additions and 5 deletions.
diff --git a/asllib/Parser.mly b/asllib/Parser.mly
@@ -34,6 +34,19 @@
     - In some cases, rules ending with <> are not implemented in the AST yet.
  *)
 
+(*
+  Paresr Attributes:
+    * [@internal: bool] - marks which parse nodes, productions or symbols are not
+      a documented part of the ASL language.
+
+  Notes:
+    * While attributes can be attached to productions, this appears to
+      not aloways propagate when a production is wrapped by a
+      parametarized production. In such cases the attribute has been
+      attached to an arbitrary symbol inside the production as a
+      workaround as those remain after the inlining completes.
+*)
+
 (* ------------------------------------------------------------------------
 
                                Parser Config
@@ -186,7 +199,7 @@ let nlist(x) :=
 
 let end_semicolon ==
   | END; SEMI_COLON; <>
-  | END; {
+  | END [@internal true]; {
       if not Config.allow_no_end_semicolon then
           Error.fatal_here $startpos $endpos @@ Error.ObsoleteSyntax "Missing ';' after 'end' keyword.";
   }
@@ -238,7 +251,7 @@ let binop ==
   | POW         ; { POW    }
   | COLON_COLON ; { BV_CONCAT }
   | unimplemented_binop(
-    | CONCAT; <>
+    | CONCAT [@internal true]; <>
   )
 
 (* ------------------------------------------------------------------------
@@ -541,7 +554,7 @@ let stmt :=
         { desugar_elided_parameter LDK_Var lhs ty call}
       | PRINTLN; args=plist(expr);                           { S_Print { args; newline = true; debug = false } }
       | PRINT; args=plist(expr);                             { S_Print { args; newline = false; debug = false } }
-      | DEBUG; args=plist(expr);                             { S_Print { args; newline = true; debug = true } }
+      | DEBUG [@internal true]; args=plist(expr);            { S_Print { args; newline = true; debug = true } }
       | UNREACHABLE; LPAR; RPAR;                             { S_Unreachable }
       | REPEAT; ~=stmt_list; UNTIL; ~=expr; ~=loop_limit;    < S_Repeat >
       | ARROBASE_LOOPLIMIT; looplimit=pared(expr); REPEAT; body=stmt_list; UNTIL; cond=expr;
@@ -690,7 +703,7 @@ let decl :=
 let spec := terminated(list(decl), EOF)
 (* End *)
 
-let opn := body=stmt; EOF;
+let opn [@internal true] := body=stmt; EOF;
     {
       [
         D_Func
@@ -708,4 +721,4 @@ let opn := body=stmt; EOF;
       ]
     }
 
-let stmts := terminated(stmt_list,EOF)
+let stmts [@internal true] := terminated(stmt_list,EOF)