@@ -58,6 +58,7 @@ data Extension = Ext_footnotes
58 | Ext_pipe_tables
58 | Ext_pipe_tables
59 | Ext_citations
59 | Ext_citations
60 | Ext_raw_tex
60 | Ext_raw_tex
61 | Ext_tex_math_dollars
62 | Ext_tex_math_dollars
62 | Ext_tex_math_single_backslash
63 | Ext_tex_math_single_backslash
63 | Ext_tex_math_double_backslash
64 | Ext_tex_math_double_backslash
@@ -97,6 +98,7 @@ pandocExtensions = Set.fromList
97 , Ext_pipe_tables
98 , Ext_pipe_tables
98 , Ext_citations
99 , Ext_citations
99 , Ext_raw_tex
100 , Ext_raw_tex
100 , Ext_tex_math_dollars
102 , Ext_tex_math_dollars
101 , Ext_latex_macros
103 , Ext_latex_macros
102 , Ext_delimited_code_blocks
104 , Ext_delimited_code_blocks
@@ -119,7 +121,8 @@ pandocExtensions = Set.fromList
121strictExtensions :: Set Extension
123strictExtensions :: Set Extension
122−strictExtensions = Set.empty
124+strictExtensions = Set.fromList
124data ReaderOptions = ReaderOptions{
127data ReaderOptions = ReaderOptions{
125 readerExtensions :: Set Extension -- ^ Syntax extensions
128 readerExtensions :: Set Extension -- ^ Syntax extensions