Run statics on results again

hazelgrove · Aug 21, 2024 · 92b9c7b · 92b9c7b
1 parent 2da492e
commit 92b9c7b
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 0 deletions.
diff --git a/src/haz3lweb/app/editors/code/CodeSelectable.re b/src/haz3lweb/app/editors/code/CodeSelectable.re
@@ -50,6 +50,8 @@ module Update = {
     | Undo
     | Redo
     | DebugConsole(_) => None;
+
+  let calculate = CodeEditable.Update.calculate;
 };
 
 module Selection = {

diff --git a/src/haz3lweb/app/editors/result/EvalResult.re b/src/haz3lweb/app/editors/result/EvalResult.re
@@ -124,6 +124,10 @@ module Update = {
                   |> CodeSelectable.Model.mk_from_exp(
                        ~settings=settings.core,
                      )
+                  |> CodeSelectable.Update.calculate(
+                       ~is_edited=true, ~settings=settings.core, ~stitch=x =>
+                       x
+                     )
                   |> (x => (x, s)),
                 update,
               ),
-Original file line number
+Diff line change
@@ Expand Up / @@ -50,6 +50,8 @@ module Update = { @@
         | Undo
         | Redo
         | DebugConsole(_) => None;
+      let calculate = CodeEditable.Update.calculate;
     };
     module Selection = {
@@ Expand Down @@