fix Format.juvix test

anoma · Sep 6, 2024 · 6d0f322 · 6d0f322
1 parent c9df828
commit 6d0f322
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 2 deletions.
diff --git a/src/Juvix/Compiler/Internal/Language.hs b/src/Juvix/Compiler/Internal/Language.hs
@@ -669,7 +669,7 @@ instance HasLoc CaseBranch where
   getLoc c = getLoc (c ^. caseBranchPattern) <> getLoc (c ^. caseBranchRhs)
 
 instance HasLoc Case where
-  getLoc c = getLocSpan (c ^. caseBranches)
+  getLoc c = getLoc (c ^. caseExpression) <> getLocSpan (c ^. caseBranches)
 
 instance HasLoc Expression where
   getLoc = \case

diff --git a/tests/positive/Format.juvix b/tests/positive/Format.juvix
@@ -465,7 +465,8 @@ module SideIfConditions;
       | suc (suc n)
         | if 0 < 0 := 3
         | else := n
-      | suc n if 0 < 0 := 3;
+      | suc n if 0 < 0 := 3
+      | suc zero := 5;
 end;
 
 module MultiIf;