git.iko.soy/Idris-dev
on master help sign in
error messages with possible fixes
ed85b4eraichoo
src/Idris/Parser.hs+3
compare with master
unifiedsplit
@@ -55,6 +55,9 @@ strlit = PTok.stringLiteral lexer
55chlit = PTok.charLiteral lexer
55chlit = PTok.charLiteral lexer
56lchar = lexeme.char
56lchar = lexeme.char
57
57
58+fixErrorMsg :: String -> [String] -> String
59+fixErrorMsg msg fixes = msg ++ ", possible fixes:\n" ++ (concat $ intersperse "\n\nor\n\n" fixes)
60+
58-- Loading modules
61-- Loading modules
59
62
60loadModule :: FilePath -> Idris String
63loadModule :: FilePath -> Idris String