comment

hazelgrove · Dec 23, 2024 · 1ea8c83 · 1ea8c83
1 parent 5effdc3
commit 1ea8c83
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/src/core/parser/Melder.re b/src/core/parser/Melder.re
@@ -204,6 +204,8 @@ let rec unzip_tok = (~frame=Frame.Open.empty, path: Path.t, cell: Cell.t) => {
   };
 };
 
+// no_eq indicates whether to disallow matching the stack bound, as may be
+// desirable for tokens getting remolded/melded in the suffix of a modification
 let rec push =
         (
           ~no_eq=false,