make same-unison-file check go faster

unisonweb · Nov 29, 2023 · 6ffe0fa · 6ffe0fa
1 parent 011718f
commit 6ffe0fa
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/unison-cli/src/Unison/Codebase/Editor/HandleInput/Update2.hs b/unison-cli/src/Unison/Codebase/Editor/HandleInput/Update2.hs
@@ -134,10 +134,10 @@ handleUpdate2 = do
     let smallUf = UF.discardTypes tuf
     let noChanges =
           and
-            [ UF.dataDeclarations smallUf == UF.dataDeclarations bigUf,
-              UF.effectDeclarations smallUf == UF.effectDeclarations bigUf,
-              UF.terms smallUf == UF.terms bigUf, -- no need to sort these, though it wouldn't hurt
-              UF.watches smallUf == UF.watches bigUf
+            [ Map.size (UF.dataDeclarations smallUf) == Map.size (UF.dataDeclarations bigUf),
+              Map.size (UF.effectDeclarations smallUf) == Map.size (UF.effectDeclarations bigUf),
+              length @[] (UF.terms smallUf) == length @[] (UF.terms bigUf),
+              Map.size (UF.watches smallUf) == Map.size (UF.watches bigUf)
             ]
     if noChanges
       then pure tuf