From ddff54964ec78dd3e2a688f4525b39e41b82b5f0 Mon Sep 17 00:00:00 2001
From: adelon <22380201+adelon@users.noreply.github.com>
Date: Wed, 16 Jul 2025 21:48:35 +0200
Subject: Relax label syntax

---
 source/Syntax/Token.hs | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'source/Syntax/Token.hs')

diff --git a/source/Syntax/Token.hs b/source/Syntax/Token.hs
index 2dad049..8149dee 100644
--- a/source/Syntax/Token.hs
+++ b/source/Syntax/Token.hs
@@ -27,13 +27,13 @@ import Base hiding (many)
 
 import Control.Monad.Combinators
 import Control.Monad.State.Strict
-import Data.Char (isAsciiLower, isDigit)
 import Data.List.NonEmpty qualified as NonEmpty
 import Data.Text qualified as Text
 import Prettyprinter (Pretty(..))
 import Text.Megaparsec hiding (Token, Label, label)
 import Text.Megaparsec.Char qualified as Char
 import Text.Megaparsec.Char.Lexer qualified as Lexer
+import Tptp.UnsortedFirstOrder (isAsciiLetter, isAsciiAlphaNumOrUnderscore)
 
 
 runLexer :: String -> Text -> Either (ParseErrorBundle Text Void) [Located Token]
@@ -418,8 +418,8 @@ ref = lexeme do
 
 marker :: Lexer Text
 marker = do
-    c <- satisfy isAsciiLower
-    cs <- takeWhileP Nothing (\x -> isAsciiLower x || isDigit x || x == '_')
+    c <- satisfy isAsciiLetter
+    cs <- takeWhileP Nothing isAsciiAlphaNumOrUnderscore
     pure (Text.cons c cs)
 
 -- | Parses the end of an environment.
-- 
cgit v1.2.3