fix scoping

anoma · Dec 7, 2024 · 4c243b2 · 4c243b2
1 parent 6b5ab5f
commit 4c243b2
Showing 1 changed file with 7 additions and 9 deletions.
diff --git a/src/Juvix/Compiler/Concrete/Translation/FromParsed/Analysis/Scoping.hs b/src/Juvix/Compiler/Concrete/Translation/FromParsed/Analysis/Scoping.hs
@@ -745,15 +745,13 @@ lookupSymbolAux modules final = do
           path1 = topPath ^. modulePathDir ++ [topPath ^. modulePathName]
           path2 = path0 ^. S.absLocalPath
           pref = commonPrefix path2 modules
-      if
-          | isPrefixOf path1 modules -> do
-              let modules' = drop (length path1) modules
-                  pref' = commonPrefix path2 modules'
-              lookPrefix pref' path2 modules'
-          | not (null pref) ->
-              lookPrefix pref path2 modules
-          | otherwise ->
-              lookupLocalSymbolAux (const True) modules final
+      when (isPrefixOf path1 modules) $ do
+        let modules' = drop (length path1) modules
+            pref' = commonPrefix path2 modules'
+        lookPrefix pref' path2 modules'
+      when (not (null pref)) $
+        lookPrefix pref path2 modules
+      lookupLocalSymbolAux (const True) modules final
 
     lookPrefix :: [Symbol] -> [Symbol] -> [Symbol] -> Sem r ()
     lookPrefix pref path modules' = do