From 65865b31867efcdf28c51526797fc1b8ec7685a6 Mon Sep 17 00:00:00 2001
From: John MacFarlane <jgm@berkeley.edu>
Date: Wed, 22 Jul 2020 14:23:26 -0700
Subject: LaTeX reader: support ams proof environment.

---
 src/Text/Pandoc/Readers/LaTeX/Parsing.hs | 10 ++++++++++
 1 file changed, 10 insertions(+)

(limited to 'src/Text/Pandoc/Readers/LaTeX/Parsing.hs')

diff --git a/src/Text/Pandoc/Readers/LaTeX/Parsing.hs b/src/Text/Pandoc/Readers/LaTeX/Parsing.hs
index 06df54116..26a88c13e 100644
--- a/src/Text/Pandoc/Readers/LaTeX/Parsing.hs
+++ b/src/Text/Pandoc/Readers/LaTeX/Parsing.hs
@@ -18,6 +18,7 @@ module Text.Pandoc.Readers.LaTeX.Parsing
   ( DottedNum(..)
   , renderDottedNum
   , incrementDottedNum
+  , TheoremSpec(..)
   , LaTeXState(..)
   , defaultLaTeXState
   , LP
@@ -114,6 +115,13 @@ incrementDottedNum level (DottedNum ns) = DottedNum $
        (x:xs) -> reverse (x+1 : xs)
        []     -> []  -- shouldn't happen
 
+data TheoremSpec =
+  TheoremSpec
+    { theoremName    :: Text
+    , theoremSeries  :: Maybe Text
+    , theoremLastNum :: DottedNum }
+    deriving (Show)
+
 data LaTeXState = LaTeXState{ sOptions       :: ReaderOptions
                             , sMeta          :: Meta
                             , sQuoteContext  :: QuoteContext
@@ -128,6 +136,7 @@ data LaTeXState = LaTeXState{ sOptions       :: ReaderOptions
                             , sLastHeaderNum :: DottedNum
                             , sLastFigureNum :: DottedNum
                             , sLastTableNum  :: DottedNum
+                            , sTheoremMap    :: M.Map Text TheoremSpec
                             , sLastLabel     :: Maybe Text
                             , sLabels        :: M.Map Text [Inline]
                             , sHasChapters   :: Bool
@@ -151,6 +160,7 @@ defaultLaTeXState = LaTeXState{ sOptions       = def
                               , sLastHeaderNum = DottedNum []
                               , sLastFigureNum = DottedNum []
                               , sLastTableNum  = DottedNum []
+                              , sTheoremMap    = M.empty
                               , sLastLabel     = Nothing
                               , sLabels        = M.empty
                               , sHasChapters   = False
-- 
cgit v1.2.3