diff --git a/src/Parser/Numbers.md b/src/Parser/Numbers.md index fb7b780..0c069ec 100644 --- a/src/Parser/Numbers.md +++ b/src/Parser/Numbers.md @@ -63,7 +63,7 @@ nat b = do where parseDigit : Parser Nat parseDigit = do - GotChar char <- parseChar (hasDigit b) id + GotChar char <- parseChar (hasDigit b) | GotError e => throwParseError "\{show e} is not a digit" | EndOfInput => throwParseError "End Of Input" case digitValue b char of @@ -120,7 +120,7 @@ double = do where parseDigit : Parser Char parseDigit = do - GotChar char <- parseChar (hasDigit base10) id + GotChar char <- parseChar (hasDigit base10) | GotError e => throwParseError "\{show e} is not a digit" | EndOfInput => throwParseError "End Of Input" pure char