Format

ollef · Dec 29, 2023 · b8b3294 · b8b3294
1 parent 1ff760c
commit b8b3294
Showing 1 changed file with 8 additions and 7 deletions.
diff --git a/src/Elaboration/Matching.hs b/src/Elaboration/Matching.hs
@@ -754,13 +754,14 @@ splitConstructor outerContext config scrutineeValue scrutineeVar span (Name.Qual
         _ -> do
           typeType <- fetch $ Query.ElaboratedType typeName
           typeType' <- Evaluation.evaluate Environment.empty typeType
-          let -- Ensure the metas don't depend on the scrutineeVar, because that
-              -- is guaranteed to lead to circularity when solving scrutineeVar
-              -- later.
-              contextWithoutScrutineeVar =
-                outerContext
-                  { Context.boundVars = IntSeq.delete scrutineeVar outerContext.boundVars
-                  }
+          let
+            -- Ensure the metas don't depend on the scrutineeVar, because that
+            -- is guaranteed to lead to circularity when solving scrutineeVar
+            -- later.
+            contextWithoutScrutineeVar =
+              outerContext
+                { Context.boundVars = IntSeq.delete scrutineeVar outerContext.boundVars
+                }
           (metas, _) <- Elaboration.insertMetas contextWithoutScrutineeVar Elaboration.UntilTheEnd typeType'
           f <- Unification.tryUnify outerContext (Domain.Neutral (Domain.Global typeName) $ Domain.Apps $ fromList metas) outerType
           result <- goParams (Context.spanned span outerContext) metas mempty tele'