Idris/advent
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

numbers: ParseCharResult refactor

Browse source
This commit is contained in:
Nathan McCarty 2025-01-26 20:51:10 -05:00
parent b1a4e1a941
commit 40251a1455
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
src/Parser/Numbers.md
View file

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