X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=src%2Fyard.icl;h=7b74454c8b203d1a55d73693084dc4e5c299fa7c;hb=0deec3b5e205945dc8cf8a00ca8cff4c96f42552;hp=a78dcbb4a45fd4d33c000bf5e4cd6fb01fd74b61;hpb=1ff731746e0ca7be7ae4dc09bb7e86e15b5ce42c;p=cc1516.git diff --git a/src/yard.icl b/src/yard.icl index a78dcbb..7b74454 100644 --- a/src/yard.icl +++ b/src/yard.icl @@ -17,7 +17,8 @@ import Data.Void instance toString Error where toString ParseError = "General parse error" toString (LexError e) = "Lexer error: " +++ e - toString (Unexpected e pos) = "Unexpected " +++ e +++ " at position " +++ (toString pos) + toString (Unexpected e (l,c)) = "Unexpected " +++ e +++ " at " + +++ (toString l) +++ ":" +++ (toString c) runParser :: (Parser a b) [a] -> (Either Error b, [a]) runParser (Parser f) i = f i @@ -48,9 +49,9 @@ instance Alternative (Parser a) where (Right r, rest) = (Right r, rest) //Try the parser, if it fails decorate the error with Expected of the given String and position -() :: (Parser a b) (String, Int) -> Parser a b -() p (e,pos) = Parser \i -> case runParser p i of - (Left e1, rest) = (Left $ e1 + Unexpected e pos, rest) +() :: (Parser a b) Error -> Parser a b +() p e = Parser \i -> case runParser p i of + (Left e1, rest) = (Left $ e1 + e, rest) (Right r, rest) = (Right r, rest) fail :: Parser a b