@@ -51,6 +51,7 @@ instance TokenParsing IdrisParser where
5151 someSpace = many (simpleWhiteSpace <|> singleLineComment <|> multiLineComment) *> pure ()
5252 token p = do s <- get
5353 (FC fn (sl, sc) _) <- getFC --TODO: Update after fixing getFC
54+ -- See Issue #1594
5455 r <- p
5556 (FC fn _ (el, ec)) <- getFC
5657 whiteSpace
@@ -316,7 +317,7 @@ operatorLetter = oneOf opChars
316317-- | Parses an operator
317318operator :: MonadicParsing m => m String
318319operator = do op <- token . some $ operatorLetter
319− when (op `elem` [":", "=>", "->", "<-", "=", "?=", "|"]) $
320+ when (op `elem` [":", "=>", "->", "<-", "=", "?=", "|"]) $
320321 fail $ op ++ " is not a valid operator"
321322 return op
322323
@@ -343,6 +344,8 @@ getFC = do s <- position
343344 let (dir, file) = splitFileName (fileName s)
344345 let f = if dir == addTrailingPathSeparator "." then file else fileName s
345346 return $ FC f (lineNum s, columnNum s) (lineNum s, columnNum s) -- TODO: Change to actual spanning
347+ -- Issue #1594 on the Issue Tracker.
348+ -- https://github.com/idris-lang/Idris-dev/issues/1594
346349
347350{-* Syntax helpers-}
348351-- | Bind constraints to term
@@ -574,4 +577,3 @@ collect (PInstance f s cs n ps t en ds : ds')
574577 = PInstance f s cs n ps t en (collect ds) : collect ds'
575578collect (d : ds) = d : collect ds
576579collect [] = []
577−