error messages with possible fixes
commited85b4ef6c41a232e73c3111f96ec49a74771b59
authorraichoo <raichoo@googlemail.com>
dateMon 3 Dec 2012, 22:18 (14 years ago)
parent2c58eba
src/Idris/Parser.hs+3
@@ -55,6 +55,9 @@ strlit = PTok.stringLiteral lexer
5555chlit = PTok.charLiteral lexer
5656lchar = lexeme.char
5757
58+fixErrorMsg :: String -> [String] -> String
59+fixErrorMsg msg fixes = msg ++ ", possible fixes:\n" ++ (concat $ intersperse "\n\nor\n\n" fixes)
60+
5861-- Loading modules
5962
6063loadModule :: FilePath -> Idris String