From 96173335170f5abfdfd66d7a8dc4a0696cf9657d Mon Sep 17 00:00:00 2001
From: Victor Taelin <victor.taelin@gmail.com>
Date: Wed, 30 Oct 2024 18:06:07 -0300
Subject: [PATCH] improved numeric parser

---
 src/Kind/Parse.hs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/Kind/Parse.hs b/src/Kind/Parse.hs
index 66e5ff0ce..3f18d9782 100644
--- a/src/Kind/Parse.hs
+++ b/src/Kind/Parse.hs
@@ -76,8 +76,8 @@ digit = P.digit
 numeric :: Parser String
 numeric = do
   head <- P.satisfy (`elem` "0123456789")
-  tail <- P.many (P.satisfy (`elem` "0123456789xb_"))
-  return (head : tail)
+  tail <- P.many (P.satisfy (`elem` "bx0123456789abcdefABCDEF_"))
+  return $ show (read (head : tail) :: Word64)
 
 numeric_skp :: Parser String
 numeric_skp = numeric <* skip