mirror of
https://github.com/idris-lang/Idris2.git
synced 2024-12-24 20:23:11 +03:00
[ fix ] Fix issue parsing __LOC__ arguments
This commit is contained in:
parent
7221c99e93
commit
edc000c568
@ -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
|
||||
|
@ -17,3 +17,5 @@ main = do
|
||||
|
||||
__LOC__}
|
||||
"""
|
||||
|
||||
putStrLn __FILE__
|
||||
|
@ -3,3 +3,4 @@ file: DebugInfo
|
||||
line: 7
|
||||
col: 24
|
||||
loc further down the file: File DebugInfo, line 17, characters 11-18
|
||||
DebugInfo
|
||||
|
Loading…
Reference in New Issue
Block a user