From d2cdcb00ef9700c5cf6b2c9dc9fa240a927cb5de Mon Sep 17 00:00:00 2001 From: Derek Schuff Date: Fri, 26 Sep 2025 23:45:45 +0000 Subject: [PATCH 1/2] [interpreter] Fix JS conversion in assertions A refactoring missed the comma before the argument. --- document/core/util/katex | 2 +- interpreter/script/js.ml | 4 ++-- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/document/core/util/katex b/document/core/util/katex index e751278cff..3d5de92fb0 160000 --- a/document/core/util/katex +++ b/document/core/util/katex @@ -1 +1 @@ -Subproject commit e751278cff42fada16dba6df331fda52aaa90f73 +Subproject commit 3d5de92fb0d0511ac64901bb60b5d46c5677eb28 diff --git a/interpreter/script/js.ml b/interpreter/script/js.ml index d9e2b81fc0..dded26baa5 100644 --- a/interpreter/script/js.ml +++ b/interpreter/script/js.ml @@ -776,7 +776,7 @@ let of_action env act = let of_assertion' env act loc name args wrapper_opt = let act_js, act_wrapper_opt = of_action env act in - let js = name ^ "(() => " ^ act_js ^ loc ^ String.concat ", " ("" :: args) ^ ")" in + let js = name ^ "(() => " ^ act_js ^ ", " ^ loc ^ String.concat ", " ("" :: args) ^ ")" in match act_wrapper_opt with | None -> js ^ ";" | Some (act_wrapper, out) -> @@ -784,7 +784,7 @@ let of_assertion' env act loc name args wrapper_opt = match wrapper_opt with | None -> name, run | Some wrapper -> "run", wrapper - in run_name ^ "(() => " ^ act_wrapper (wrapper out) act.at ^ loc ^ "); // " ^ js + in run_name ^ "(() => " ^ act_wrapper (wrapper out) act.at ^ ", " ^ loc ^ "); // " ^ js let of_assertion env ass = let loc = of_loc ass.at in From 992a37becbf8611827562620d85f5b7245000325 Mon Sep 17 00:00:00 2001 From: Derek Schuff Date: Sat, 27 Sep 2025 00:07:30 +0000 Subject: [PATCH 2/2] remove submodule diff --- document/core/util/katex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/document/core/util/katex b/document/core/util/katex index 3d5de92fb0..e751278cff 160000 --- a/document/core/util/katex +++ b/document/core/util/katex @@ -1 +1 @@ -Subproject commit 3d5de92fb0d0511ac64901bb60b5d46c5677eb28 +Subproject commit e751278cff42fada16dba6df331fda52aaa90f73