fix token extend bug

hazelgrove · Jul 28, 2024 · 4eefb8b · 4eefb8b
1 parent 424d06f
commit 4eefb8b
Showing 1 changed file with 2 additions and 3 deletions.
diff --git a/src/core/editor/Insert.re b/src/core/editor/Insert.re
@@ -85,8 +85,9 @@ let extend_tok = (~side=Dir.R, s: string, tok: Token.t) =>
 let try_extend_tok = (s: string, ctx: Ctx.t): option(Ctx.t) => {
   open Options.Syntax;
   let* () = Options.of_bool(!Strings.is_empty(s));
+  let (l, ctx) = Ctx.pull_opt(~from=L, ctx);
+  let (r, ctx) = Ctx.pull_opt(~from=R, ctx);
   let/ () = {
-    let (l, ctx) = Ctx.pull_opt(~from=L, ctx);
     let* tok = l;
     let+ tok = extend_tok(~side=R, s, tok);
     let (l, _, r) = Token.unzip(tok);
@@ -97,8 +98,6 @@ let try_extend_tok = (s: string, ctx: Ctx.t): option(Ctx.t) => {
     | Some(_) => ctx |> Ctx.push(~onto=L, tok) |> Ctx.push(~onto=R, tok)
     };
   };
-
-  let (r, ctx) = Ctx.pull_opt(~from=R, ctx);
   let* tok = r;
   let+ tok = extend_tok(~side=L, s, tok);
   let (l, _, r) = Token.unzip(tok);