Grammar.ebnf

@@ -12,7 +12,7 @@ bold ::= '__' text_no_newline '__'
 monospace ::= '@' text_content '@'
 
 link ::= module_link | hyperlink | markdown_link
-module_link ::= '"' module_name ( '#' anchor_name )? '"'
+module_link ::= '"' module_name ( ('#' | '\#')  anchor_name )? '"'
 hyperlink ::= '<' url ( ' ' link_text )? '>'
 markdown_link ::= '[' link_text '](' ( url | module_link ) ')'
 

src/Lexer.hs

@@ -94,7 +94,7 @@ lexText = go
                                 , link
                                 , labeledLink
                                 , modules
-                                , anchors
+                                , anchor
                                 , textElement
                                 , quotes
                                 , birdTrack
@@ -152,9 +152,6 @@ delimitedSymmetric s t1 t2 = delimited s s t1 t2
 eol :: Parser ()
 eol = void "\n" <|> void "\r\n" <|> Parsec.eof
 
-anchorHash :: Parser Text
-anchorHash = "#" <|> try "\\#"
-
 header1 :: Lexer
 header1 = delimitedNoTrailing "= " eol (Header One)
 
@@ -174,11 +171,10 @@ header6 :: Lexer
 header6 = delimitedNoTrailing "====== " eol (Header Six)
 
 -- #anchors#
-anchors :: Lexer
-anchors =
-    tokenise
-        [ between anchorHash anchorHash (Anchor <$> anyUntil anchorHash)
-        ]
+anchor :: Lexer
+anchor = do
+    x <- located $ between "#" "#" (Anchor <$> anyUntil "#")
+    pure [x]
 
 
 moduleNames :: Parser Text
@@ -192,7 +188,7 @@ identifierChar = satisfy (\c -> isAlphaNum c || c == '_')
 
 -- "Module.Name"
 -- "Module.Name#anchor"
--- "Module.Name\#anchor" -- this has been deprecated for 9 years, thanks Ben
+-- "Module.Name\#anchor" -- known as "old anchor". this has been deprecated for 9 years, thanks Ben
 modules :: Lexer
 modules = between (char '"') (char '"') inner
   where
@@ -203,6 +199,9 @@ modules = between (char '"') (char '"') inner
             Just anchor -> [module_, anchor]
             Nothing -> [module_]
 
+    anchorHash :: Parser Text
+    anchorHash = "#" <|> try "\\#"
+
     anchorText :: Parser Text
     anchorText = Text.pack <$> many (satisfy (\c -> c /= '"' && not (isSpace c)))