pandoc: Set readerExtensions instead of readerStrict.

src/Text/Pandoc/Options.hs

@@ -38,10 +38,11 @@ import Data.Default
 
 -- | Individually selectable syntax extensions.
 data Extension = Footnotes
-               | TeX_math
+               | Tex_math
                | Delimited_code_blocks
-               | Markdown_in_HTML_blocks
+               | Markdown_in_html_blocks
                | Fancy_lists
+               | Startnum
                | Definition_lists
                | Header_identifiers
                | All_symbols_escapable

src/pandoc.hs

@@ -58,6 +58,7 @@ import Network.HTTP (simpleHTTP, mkRequest, getResponseBody, RequestMethod(..))
 import Network.URI (parseURI, isURI, URI(..))
 import qualified Data.ByteString.Lazy as B
 import Data.ByteString.Lazy.UTF8 (toString)
+import qualified Data.Set as Set
 import Text.CSL.Reference (Reference(..))
 #if MIN_VERSION_base(4,4,0)
 #else
@@ -936,7 +937,10 @@ main = do
                      then "."
                      else takeDirectory (head sources)
 
-  let readerOpts = def{ readerStrict = strict
+  let readerOpts = def{ readerExtensions =
+                           if strict
+                           then Set.empty
+                           else Set.fromList [minBound..maxBound]
                       , readerSmart = smart || (texLigatures &&
                           (laTeXOutput || writerName' == "context"))
                       , readerStandalone = standalone'