From 1ea8c83e9676bc98367871bb4a0bb56b632b3c05 Mon Sep 17 00:00:00 2001 From: David Moon Date: Mon, 23 Dec 2024 10:48:11 -0500 Subject: [PATCH] comment --- src/core/parser/Melder.re | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/core/parser/Melder.re b/src/core/parser/Melder.re index 64200ad3..6382c5d2 100644 --- 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,