restore enter map read and rm red herring debugging

hazelgrove · Jan 7, 2025 · f5f17af · f5f17af
1 parent 78d974c
commit f5f17af
Show file tree

Hide file tree

Showing 3 changed files with 9 additions and 38 deletions.
diff --git a/src/core/editor/Frame.re b/src/core/editor/Frame.re
@@ -97,7 +97,7 @@ module Open = {
       | _ =>
         open Stds;
         P.show("(dn, up)", show((dn, up)));
-        failwith("");
+        failwith("failed Frame.Open.zip_step");
       };
       Some((Eq(), zip_eq(l, zipped, r), (dn, up)));
     };

diff --git a/src/core/material/Walker.re b/src/core/material/Walker.re
@@ -64,7 +64,7 @@ let swing_over = (w: Walk.t, ~from: Dir.t) =>
            | _ =>
              P.show("sym", Grammar.Sym.show(sym));
              P.show("rctx", RCtx.show(Grammar.Sym.pp, rctx));
-             failwith("");
+             failwith("failed Walker.swing_over");
            }
          ),
        )
@@ -441,9 +441,9 @@ let read_warmed = () => {
        }
      );
   Gc.full_major();
-  // read_warmed_enter();
-  // print_endline("read warmed entered");
-  // Gc.full_major();
+  read_warmed_enter();
+  print_endline("read warmed entered");
+  Gc.full_major();
 };
 
 let walk_all_precompiled =

diff --git a/src/core/parser/Melder.re b/src/core/parser/Melder.re
@@ -70,39 +70,10 @@ let complete_bounded =
   //   P.log("--- Melder.complete_bounded");
   //   P.show("completed slope", Cell.show(fill));
   // };
-  try(
-    Walker.walk_eq(~from=onto, fc_onto, fc_from)
-    |> Grouter.pick(~repair=true, [fill], ~from=onto)
-    |> Option.map(grouted => snd(Chain.hd(grouted)))
-    |> Options.get_fail("hmmm")
-  ) {
-  | _ =>
-    P.log("--- Melder.complete_bounded/failed");
-    P.show("onto", Dir.show(onto));
-    P.show("fc_onto", Bound.show(Mtrl.T.pp, fc_onto));
-    P.show("fc_from", Bound.show(Mtrl.T.pp, fc_from));
-    P.show("fill", Cell.show(fill));
-    Walker.walk_eq(~from=onto, fc_onto, fc_from)
-    |> List.iter(w => {
-         P.show("walk", Walk.show(w));
-         let sw = Chain.hd(w);
-         let nt = Chain.hd(sw);
-         P.show("entering precompiled nt", Mtrl.NT.show(nt));
-         Walker.enter_all_precompiled(~from=L, nt)
-         |> Walk.Index.iter((dst, w) => {
-              P.show("dst", Walk.End.show(dst));
-              P.show("walk", Walk.show(w));
-            });
-         P.show("entering nt", Mtrl.NT.show(nt));
-         Walker.enter_all(~from=L, nt)
-         |> Walk.Index.iter((dst, w) => {
-              P.show("dst", Walk.End.show(dst));
-              P.show("walk", Walk.show(w));
-            });
-       });
-    // P.sexp("fill", Cell.sexp_of_t(fill));
-    failwith("");
-  };
+  Walker.walk_eq(~from=onto, fc_onto, fc_from)
+  |> Grouter.pick(~repair=true, [fill], ~from=onto)
+  |> Option.map(grouted => snd(Chain.hd(grouted)))
+  |> Options.get_fail("hmmm");
 };
 
 let connect_eq =