Cosmetic changes

CQCL · Dec 3, 2024 · e88aea9 · e88aea9
1 parent 980fc2c
commit e88aea9
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 4 deletions.
diff --git a/brat/Brat/Checker.hs b/brat/Brat/Checker.hs
@@ -722,9 +722,9 @@ checkBody :: (CheckConstraints m UVerb, EvMode m, ?my :: Modey m)
 checkBody fnName body cty = do
   (tm, (absFC, tmFC)) <- case body of
     NoLhs tm -> pure (tm, (fcOf tm, fcOf tm))
-    Clauses (c :| cs) -> do
+    Clauses (c@(abs, tm) :| cs) -> do
       fc <- req AskFC
-      pure (WC fc (Lambda c cs), bimap fcOf fcOf c)
+      pure (WC fc (Lambda c cs), (fcOf abs, fcOf tm))
     Undefined -> err (InternalError "Checking undefined clause")
   ((src, _), _) <- makeBox (fnName ++ ".box") cty $ \conns@(_, unders) -> do
     (((), ()), leftovers) <- check tm conns

diff --git a/brat/Brat/Checker/Helpers.hs b/brat/Brat/Checker/Helpers.hs
@@ -250,14 +250,14 @@ getThunks :: Modey m
 getThunks _ [] = pure ([], [], [])
 getThunks Braty ((src, Right ty):rest) = do
   ty <- eval S0 ty
-  (src, (ss :->> ts)) <- vectorise Braty (src, ty)
+  (src, ss :->> ts) <- vectorise Braty (src, ty)
   (node, unders, overs, _) <- let ?my = Braty in
                                 anext "Eval" (Eval (end src)) (S0, Some (Zy :* S0)) ss ts
   (nodes, unders', overs') <- getThunks Braty rest
   pure (node:nodes, unders <> unders', overs <> overs')
 getThunks Kerny ((src, Right ty):rest) = do
   ty <- eval S0 ty
-  (src, (ss :->> ts)) <- vectorise Kerny (src,ty)
+  (src, ss :->> ts) <- vectorise Kerny (src,ty)
   (node, unders, overs, _) <- let ?my = Kerny in anext "Splice" (Splice (end src)) (S0, Some (Zy :* S0)) ss ts
   (nodes, unders', overs') <- getThunks Kerny rest
   pure (node:nodes, unders <> unders', overs <> overs')