From 40251a145539f64effbdb27ccedc33da2a5b906a Mon Sep 17 00:00:00 2001
From: Nathan McCarty <thatonelutenist@stranger.systems>
Date: Sun, 26 Jan 2025 20:51:10 -0500
Subject: [PATCH] numbers: ParseCharResult refactor

---
 src/Parser/Numbers.md | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

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