Merge remote-tracking branch 'origin/dev' into coverage

dune-project

@@ -33,10 +33,10 @@
   bisect_ppx
   (omd (>= 2.0.0~alpha4))
   ezjs_idb
-  virtual_dom
+  bonsai
   ppx_deriving
   ptmap
-  uuidm
+  (uuidm (= 0.9.8)) ; 0.9.9 has breaking deprecated changes
   unionFind
   ocamlformat
   (junit_alcotest :with-test)

dune-workspace

@@ -0,0 +1,9 @@
+(lang dune 3.16)
+
+(env
+ (dev
+  (flags
+   (:standard -warn-error -A)))
+ (release
+  (flags
+   (:standard -warn-error +A-58))))

src/haz3lcore/lang/term/IdTagged.re

@@ -14,6 +14,11 @@ type t('a) = {
   term: 'a,
 };
 
+// To be used if you want to remove the id from the debug output
+// let pp: ((Format.formatter, 'a) => unit, Format.formatter, t('a)) => unit =
+//   (fmt_a, formatter, ta) => {
+//     fmt_a(formatter, ta.term);
+//   };
 let fresh = term => {
   {ids: [Id.mk()], copied: false, term};
 };

src/haz3lweb/Editors.re

@@ -56,7 +56,6 @@ let perform_action =
       CoreSettings.on
     | _ => settings
     };
-  print_endline("action: " ++ Action.show(a));
   switch (Perform.go(~settings, a, get_editor(editors))) {
   | Error(err) => Error(FailedToPerform(err))
   | Ok(ed) => Ok(put_editor(ed, editors))

src/haz3lweb/Keyboard.re

@@ -227,7 +227,7 @@ let shortcuts = (sys: Key.sys): list(shortcut) =>
   ]
   @ (if (ExerciseSettings.show_instructor) {instructor_shortcuts} else {[]});
 
-let handle_key_event = (k: Key.t): option(Update.t) => {
+let handle_key_event = (k: Key.t): option(UpdateAction.t) => {
   let now = (a: Action.t): option(UpdateAction.t) =>
     Some(PerformAction(a));
   switch (k) {

src/haz3lweb/Log.re

@@ -12,7 +12,8 @@ let is_action_logged: UpdateAction.t => bool =
   | FinishImportAll(_)
   | FinishImportScratchpad(_)
   | Benchmark(_)
-  | DebugConsole(_) => false
+  | DebugConsole(_)
+  | Startup => false
   | Reset
   | TAB
   | Set(_)