@@ -79,6 +79,7 @@ type OrgBlockAttributes = M.Map String String
7979-- | Org-mode parser state
8080data OrgParserState = OrgParserState
8181 { orgStateOptions :: ReaderOptions
82+ , orgStateAnchorIds :: [String]
8283 , orgStateBlockAttributes :: OrgBlockAttributes
8384 , orgStateEmphasisCharStack :: [Char]
8485 , orgStateEmphasisNewlines :: Maybe Int
@@ -105,6 +106,7 @@ instance Default OrgParserState where
105106defaultOrgParserState :: OrgParserState
106107defaultOrgParserState = OrgParserState
107108 { orgStateOptions = def
109+ , orgStateAnchorIds = []
108110 , orgStateBlockAttributes = M.empty
109111 , orgStateEmphasisCharStack = []
110112 , orgStateEmphasisNewlines = Nothing
@@ -116,6 +118,10 @@ defaultOrgParserState = OrgParserState
116118 , orgStateNotes' = []
117119 }
118120
121+recordAnchorId :: String -> OrgParser ()
122+recordAnchorId i = updateState $ \s ->
123+ s{ orgStateAnchorIds = i : (orgStateAnchorIds s) }
124+
119125addBlockAttribute :: String -> String -> OrgParser ()
120126addBlockAttribute key val = updateState $ \s ->
121127 let attrs = orgStateBlockAttributes s
@@ -848,17 +854,14 @@ explicitOrImageLink = try $ do
848854 title <- enclosedRaw (char '[') (char ']')
849855 title' <- parseFromString (mconcat <$> many inline) title
850856 char ']'
851− return $ B.link src "" <$>
852− if isImageFilename src && isImageFilename title
853− then return $ B.image title mempty mempty
854− else title'
857+ return $ if isImageFilename src && isImageFilename title
858+ then pure $ B.link src "" $ B.image title mempty mempty
859+ else linkToInlinesF src =<< title'
855860
856861selflinkOrImage :: OrgParser (F Inlines)
857862selflinkOrImage = try $ do
858863 src <- char '[' *> linkTarget <* char ']'
859− returnF $ if isImageFilename src
860− then B.image src "" ""
861− else B.link src "" (B.str src)
864+ return $ linkToInlinesF src (B.str src)
862865
863866plainLink :: OrgParser (F Inlines)
864867plainLink = try $ do
@@ -878,6 +881,26 @@ selfTarget = try $ char '[' *> linkTarget <* char ']'
878881linkTarget :: OrgParser String
879882linkTarget = enclosed (char '[') (char ']') (noneOf "\n\r[]")
880883
884+linkToInlinesF :: String -> Inlines -> F Inlines
885+linkToInlinesF s@('#':_) = pure . B.link s ""
886+linkToInlinesF s
887+ | isImageFilename s = const . pure $ B.image s "" ""
888+ | isUri s = pure . B.link s ""
889+ | isRelativeUrl s = pure . B.link s ""
890+linkToInlinesF s = \title -> do
891+ anchorB <- (s `elem`) <$> asksF orgStateAnchorIds
892+ if anchorB
893+ then pure $ B.link ('#':s) "" title
894+ else pure $ B.emph title
895+
896+isRelativeUrl :: String -> Bool
897+isRelativeUrl s = (':' `notElem` s) && ("./" `isPrefixOf` s)
898+
899+isUri :: String -> Bool
900+isUri s = let (scheme, path) = break (== ':') s
901+ in all (\c -> isAlphaNum c || c `elem` ".-") scheme
902+ && not (null path)
903+
881904isImageFilename :: String -> Bool
882905isImageFilename filename =
883906 any (\x -> ('.':x) `isSuffixOf` filename) imageExtensions &&
@@ -894,12 +917,15 @@ isImageFilename filename =
894917-- an anchor.
895918
896919anchor :: OrgParser (F Inlines)
897−anchor = try $ pure <$> (B.spanWith <$> attributes <*> pure mempty)
920+anchor = try $ do
921+ anchorId <- parseAnchor
922+ recordAnchorId anchorId
923+ returnF $ B.spanWith (solidify anchorId, [], []) mempty
898924 where
899− name = string "<<"
900− *> many1 (noneOf "\t\n\r<>\"' ")
901− <* string ">>"
902− attributes = name >>= \n -> return (solidify n, [], [])
925+ parseAnchor = string "<<"
926+ *> many1 (noneOf "\t\n\r<>\"' ")
927+ <* string ">>"
928+ <* skipSpaces
903929
904930-- | Replace every char but [a-zA-Z0-9_.-:] with a hypen '-'. This mirrors
905931-- the org function @org-export-solidify-link-text@.