done refactoring tests

2025-08-20 13:50:57 +01:00
parent 0dd7a69777
commit 4d77aed6ef
5 changed files with 319 additions and 299 deletions
--- a/fcore/app-with.sml
+++ b/fcore/app-with.sml
@@ -137,6 +137,7 @@ struct
      }
    end

+  (* this function exists only for testing *)
  fun idx (app, newIdx) =
    let
      val