Merge branch 'dev' into labeled-tuple-rewrite

dune-project

@@ -29,13 +29,12 @@
   reason
   ppx_yojson_conv_lib
   ppx_yojson_conv
-  incr_dom
   (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,10 @@
+(lang dune 3.16)
+
+; List of warning codes found at https://ocaml.org/manual/5.2/comp.html#s:comp-options
+(env
+ (dev
+  (flags
+   (:standard -warn-error +A-26-27-K-58))) ; Disable some unused warnings.
+ (release
+  (flags
+   (:standard -warn-error +A-58))))

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(_)