diff --git a/src/Idris/Parser.idr b/src/Idris/Parser.idr index ee1ac4fa4..605ea3af4 100644 --- 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 index e60cd2f98..857be51c6 100644 --- 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 index 063f2d3cb..2dc7d7161 100644 --- 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