@@ -399,6 +399,9 @@ NameTimesList ::=
399399@
400400-}
401401-- FIXME: Check compatability for function options (i.e. partal/total)
402+--
403+-- Issue #1574 on the issue tracker.
404+-- https://github.com/idris-lang/Idris-dev/issues/1574
402405fnOpts :: [FnOpt] -> IdrisParser [FnOpt]
403406fnOpts opts
404407 = do reserved "total"; fnOpts (TotalFn : opts)
@@ -914,7 +917,7 @@ clause syn
914917
915918{-| Parses with pattern
916919
917−@
920+@
918921WExpr ::= '|' Expr';
919922@
920923-}
@@ -1161,6 +1164,8 @@ parseProg syn fname input mrk
11611164 case runparser mainProg i fname input of
11621165 Failure doc -> do -- FIXME: Get error location from trifecta
11631166 -- this can't be the solution!
1167+ -- Issue #1575 on the issue tracker.
1168+ -- https://github.com/idris-lang/Idris-dev/issues/1575
11641169 let (fc, msg) = findFC doc
11651170 i <- getIState
11661171 case idris_outputmode i of
@@ -1272,7 +1277,7 @@ loadSource lidr f toline
12721277 putIState (i { default_access = Hidden, module_aliases = modAliases })
12731278 clearIBC -- start a new .ibc file
12741279 -- record package info in .ibc
1275− imps <- allImportDirs
1280+ imps <- allImportDirs
12761281 mapM_ addIBC (map IBCImportDir imps)
12771282 mapM_ (addIBC . IBCImport) [realName | (realName, alias, fc) <- imports]
12781283 let syntax = defaultSyntax{ syn_namespace = reverse mname,