[ fix ] Fix issue parsing __LOC__ arguments

idris-lang · May 14, 2023 · edc000c · edc000c
1 parent 7221c99
commit edc000c
Show file tree

Hide file tree

Showing 3 changed files with 4 additions and 1 deletion.
diff --git a/src/Idris/Parser.idr b/src/Idris/Parser.idr
@@ -220,7 +220,6 @@ mutual
     <|> lazy fname indents
     <|> if_ fname indents
     <|> with_ fname indents
-    <|> debugString fname
     <|> do b <- bounds (MkPair <$> simpleExpr fname indents <*> many (argExpr q fname indents))
            (f, args) <- pure b.val
            pure (applyExpImp (start b) (end b) f (concat args))
@@ -530,6 +529,7 @@ mutual
           pure $ case projs of
             [] => root
             _  => PPostfixApp (boundToFC fname b) root projs
+    <|> debugString fname
     <|> do b <- bounds (forget <$> some (bounds postfixProj))
            pure $ let projs = map (\ proj => (boundToFC fname proj, proj.val)) b.val in
                   PPostfixAppPartial (boundToFC fname b) projs

diff --git a/tests/idris2/basic069/DebugInfo.idr b/tests/idris2/basic069/DebugInfo.idr
@@ -17,3 +17,5 @@ main = do
 
            __LOC__}
       """
+
+  putStrLn __FILE__
diff --git a/tests/idris2/basic069/expected b/tests/idris2/basic069/expected
@@ -3,3 +3,4 @@ file: DebugInfo
 line: 7
 col:      24
 loc further down the file: File DebugInfo, line 17, characters 11-18
+DebugInfo