fix Format.juvix test

anoma · Sep 5, 2024 · 96947e8 · 96947e8
1 parent 9adc45d
commit 96947e8
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;