ref(lexer): simplify labeledLink

This commit is contained in:
Primrose 2025-09-24 22:31:59 +08:00
parent 29c015b793
commit 2597e693f1
Signed by: primrose
GPG key ID: 4E887A4CA9714ADA

View file

@ -226,20 +226,12 @@ link = do
labeledLink :: Lexer
labeledLink = do
pos <- getPosition
void $ string "<"
link' <- linkRaw
pos7 <- getPosition
label' <- anyUntil $ string ">"
pos8 <- getPosition
void $ ">"
open <- located $ LabeledLinkOpen <$ "<"
linkRes <- linkRaw
labelRes <- located $ Token <$> anyUntil ">"
close <- located $ LabeledLinkClose <$ ">"
pure $
(pos, LabeledLinkOpen)
: link'
<> [ (pos7, Token label')
, (pos8, LabeledLinkClose)
]
open : linkRes <> [ labelRes , close ]
mathMultiline :: Lexer
mathMultiline = delimited "\\[" "\\]" MathMultilineOpen MathMultilineClose