From f248c8e5273a81b3afccc786deb132e28df8ccf0 Mon Sep 17 00:00:00 2001
From: Caleb Maclennan <caleb@alerque.com>
Date: Thu, 12 Nov 2015 09:52:39 +0200
Subject: [PATCH 1/9] Add myself to contributors list

---
 AUTHORS.md | 1 +
 1 file changed, 1 insertion(+)

diff --git a/AUTHORS.md b/AUTHORS.md
index 2c6d3e1d18ba..123896eff8af 100644
--- a/AUTHORS.md
+++ b/AUTHORS.md
@@ -56,6 +56,7 @@
 - Brent Yorgey
 - Brian Leung
 - Bryan O'Sullivan
+- Caleb Maclennan
 - Caleb McDaniel
 - Caleb Mclennan
 - Calvin Beck

From 4ef465b563155966f50009b76a42e83287dd10cb Mon Sep 17 00:00:00 2001
From: Caleb Maclennan <caleb@alerque.com>
Date: Mon, 27 Jan 2020 12:55:29 +0300
Subject: [PATCH 2/9] Document the existence of a SILE Writer and its options
 in the manual

---
 MANUAL.txt | 62 ++++++++++++++++++++++++++++++++++++++++++------------
 1 file changed, 48 insertions(+), 14 deletions(-)

diff --git a/MANUAL.txt b/MANUAL.txt
index 079583e77e98..282262f9f658 100644
--- a/MANUAL.txt
+++ b/MANUAL.txt
@@ -348,6 +348,7 @@ header when requesting a document from a URL:
     - `rtf` ([Rich Text Format])
     - `texinfo` ([GNU Texinfo])
     - `textile` ([Textile])
+    - `sile` ([SILE])
     - `slideous` ([Slideous] HTML and JavaScript slide show)
     - `slidy` ([Slidy] HTML and JavaScript slide show)
     - `dzslides` ([DZSlides] HTML5 + JavaScript slide show)
@@ -477,6 +478,7 @@ header when requesting a document from a URL:
 [MultiMarkdown]: https://fletcherpenney.net/multimarkdown/
 [reStructuredText]: https://docutils.sourceforge.io/docs/ref/rst/introduction.html
 [S5]: https://meyerweb.com/eric/tools/s5/
+[SILE]: https://www.sile-typesetter.org/
 [Slidy]: https://www.w3.org/Talks/Tools/Slidy2/
 [Slideous]: https://goessner.net/articles/slideous/
 [HTML]: https://www.w3.org/html/
@@ -1103,7 +1105,7 @@ header when requesting a document from a URL:
 `--top-level-division=default`|`section`|`chapter`|`part`
 
 :   Treat top-level headings as the given division type in
-    LaTeX, ConTeXt, DocBook, and  TEI output. The hierarchy
+    LaTeX, ConTeXt, SILE, DocBook, and  TEI output. The hierarchy
     order is part, chapter, then section; all headings are
     shifted such that the top-level heading becomes the
     specified type. The default behavior is to determine the
@@ -1118,7 +1120,7 @@ header when requesting a document from a URL:
 
 `-N`, `--number-sections=[true|false]`
 
-:   Number section headings in LaTeX, ConTeXt, HTML, Docx, ms, or EPUB
+:   Number section headings in LaTeX, ConTeXt, SILE, HTML, Docx, ms, or EPUB
     output.  By default, sections are not numbered.  Sections with class
     `unnumbered` will never be numbered, even if `--number-sections`
     is specified.
@@ -2663,7 +2665,7 @@ Currently the following pipes are predefined:
 
 `title`, `author`, `date`
 :   allow identification of basic aspects of the document.  Included
-    in PDF metadata through LaTeX and ConTeXt.  These can be set
+    in PDF metadata through LaTeX, ConTeXt, and SILE.  These can be set
     through a [pandoc title block][Extension: `pandoc_title_block`],
     which allows for multiple authors, or through a
     [YAML metadata block][Extension: `yaml_metadata_block`]:
@@ -2682,12 +2684,12 @@ Currently the following pipes are predefined:
     is set by `pagetitle`, which is equal to `title` by default.
 
 `subtitle`
-:   document subtitle, included in HTML, EPUB, LaTeX, ConTeXt, and docx
-    documents
+:   document subtitle, included in HTML, EPUB, LaTeX, ConTeXt, SILE,
+    and docx documents
 
 `abstract`
-:   document summary, included in HTML, LaTeX, ConTeXt, AsciiDoc, and docx
-    documents
+:   document summary, included in HTML, LaTeX, ConTeXt, SILE, AsciiDoc,
+    and docx documents
 
 `abstract-title`
 :   title of abstract, currently used only in HTML, EPUB, and docx.
@@ -2708,6 +2710,9 @@ Currently the following pipes are predefined:
 `category`
 :   document category, included in docx and pptx metadata
 
+`rights`
+:   rights string, included in SILE and EPUB metadata
+
 Additionally,
 any root-level string metadata, not included in ODT, docx
 or pptx metadata is added as a *custom property*.
@@ -2737,7 +2742,8 @@ ODT or pptx.
     tags (following the [BCP 47] standard), such as `en` or `en-GB`.
     The [Language subtag lookup] tool can look up or verify these tags.
     This affects most formats, and controls hyphenation in PDF output
-    when using LaTeX (through [`babel`] and [`polyglossia`]) or ConTeXt.
+    when using LaTeX (through [`babel`] and [`polyglossia`]), ConTeXt,
+    or SILE.
 
     Use native pandoc [Divs and Spans] with the `lang` attribute to
     switch the language:
@@ -3274,6 +3280,33 @@ Pandoc uses these variables when [creating a PDF] with ConTeXt.
 [`setupinterlinespace`]: https://wiki.contextgarden.net/Command/setupinterlinespace
 [`setuppagenumbering`]: https://wiki.contextgarden.net/Command/setuppagenumbering
 
+### Variables for SILE
+
+The following variables are placed appropriately in standalone SILE documents.
+
+`classoption`
+:   options for document class; repeat for multiple options:
+
+        ---
+        classoption:
+        - layout: yoko
+        ...
+
+`documentclass`
+:   document class: usually one of the standard classes, [`plain`], or [`book`].
+
+`fontsize`
+:   font size for body text (e.g. `10pt`, `12pt`)
+
+`links-as-notes`
+:   causes links to be printed as footnotes
+
+`mainfont`, `sansfont`, `monofont`
+:   font families: take the name of any system font
+
+`papersize`
+:   paper size, e.g. `letter`, `a4`
+
 ### Variables for `wkhtmltopdf`
 
 Pandoc uses these variables when [creating a PDF] with [`wkhtmltopdf`].
@@ -3548,7 +3581,7 @@ another. A link to this section, for example, might look like this:
     [heading identifiers](#heading-identifiers-in-html-latex-and-context).
 
 Note, however, that this method of providing links to sections works
-only in HTML, LaTeX, and ConTeXt formats.
+only in HTML, LaTeX, ConTeXt, and SILE formats.
 
 If the `--section-divs` option is specified, then each section will
 be wrapped in a `section` (or a `div`, if `html4` was specified),
@@ -3949,7 +3982,7 @@ Note that although this syntax allows assignment of classes and key/value
 attributes, writers generally don't use all of this information.  Identifiers,
 classes, and key/value attributes are used in HTML and HTML-based formats such
 as EPUB and slidy.  Identifiers are used for labels and link anchors in the
-LaTeX, ConTeXt, Textile, Jira markup, and AsciiDoc writers.
+LaTeX, ConTeXt, SILE, Textile, Jira markup, and AsciiDoc writers.
 
 Headings with the class `unnumbered` will not be numbered, even if
 `--number-sections` is specified.  A single hyphen (`-`) in an attribute
@@ -3965,7 +3998,7 @@ is just the same as
 If the `unlisted` class is present in addition to `unnumbered`,
 the heading will not be included in a table of contents.
 (Currently this feature is only implemented for certain
-formats: those based on LaTeX and HTML, PowerPoint, and RTF.)
+formats: those based on LaTeX, SILE, HTML, PowerPoint, and RTF.)
 
 ### Extension: `implicit_header_references` ###
 
@@ -4124,7 +4157,7 @@ Here `mycode` is an identifier, `haskell` and `numberLines` are
 classes, and `startFrom` is an attribute with value `100`. Some
 output formats can use this information to do syntax
 highlighting. Currently, the only output formats that use this
-information are HTML, LaTeX, Docx, Ms, and PowerPoint. If
+information are HTML, LaTeX, SILE, Docx, Ms, and PowerPoint. If
 highlighting is supported for your output format and language,
 then the code block above will appear highlighted, with numbered
 lines. (To see which languages are supported, type `pandoc
@@ -5533,7 +5566,7 @@ or
     [Introduction]: #introduction
 
 Internal links are currently supported for HTML formats (including
-HTML slide shows and EPUB), LaTeX, and ConTeXt.
+HTML slide shows and EPUB), LaTeX, ConTeXt, and SILE.
 
 ## Images
 
@@ -5610,9 +5643,10 @@ For example:
     (If you're using a custom template, you need to configure `graphicx`
     as in the default template.)
   - ConTeXt: `\externalfigure[file.jpg][width=0.5\textwidth]`
+  - SILE: `\img[src=file.jpg][width=50%lw]`
 - Some output formats have a notion of a class
   ([ConTeXt](https://wiki.contextgarden.net/Using_Graphics#Multiple_Image_Settings))
-  or a unique identifier (LaTeX `\caption`), or both (HTML).
+  or a unique identifier (LaTeX `\caption`), or both (HTML, SILE).
 - When no `width` or `height` attributes are specified, the fallback
   is to look at the image resolution and the dpi metadata embedded in
   the image file.

From d54bf8fb306e5abf9bf2366ae72078fe7e852b6c Mon Sep 17 00:00:00 2001
From: Caleb Maclennan <caleb@alerque.com>
Date: Mon, 3 Aug 2015 14:44:27 +0300
Subject: [PATCH 3/9] Add standalone document template for the SILE Writer

---
 data/templates/default.sile | 68 +++++++++++++++++++++++++++++++++++++
 1 file changed, 68 insertions(+)
 create mode 100644 data/templates/default.sile

diff --git a/data/templates/default.sile b/data/templates/default.sile
new file mode 100644
index 000000000000..b0162cb9a677
--- /dev/null
+++ b/data/templates/default.sile
@@ -0,0 +1,68 @@
+\begin[$if(papersize)$papersize=$papersize$,$endif$class=$documentclass$$if(classoptions)$,$classoptions$$endif$]{document}
+\use[module=packages.pandoc]
+$if(lang)$
+\language[main=$lang$]
+\font[language=$lang$]
+$endif$
+$if(langscript)$
+\font[script=$langscript$]
+$endif$
+$if(mainfont)$
+\font[family=$mainfont$]
+$endif$
+$if(fontsize)$
+\font[size=$fontsize$]
+$endif$
+\begin{lua}
+local base = require("packages.base")
+local package = pl.class(base)
+package._name = "pandoc_document"
+function package:registerCommands ()
+$if(links-as-notes)$
+  self:registerCommand("href", function(options, content)
+    SILE.call("url", options, content)
+    SILE.call("footnote", options, content)
+  end)
+$else$
+  self:registerCommand("href", function(options, content)
+    SILE.call("url", options, content)
+  end)
+$endif$
+end
+return package
+\end{lua}
+$for(include)$
+\script[src=$include$]
+$endfor$
+$for(script)$
+\script[src=$script$]
+$endfor$
+\set[parameter=linebreak.emergencyStretch,value=1em]
+$if(sansfont)$
+\define[command=book:chapterfont]{\font[family=$sansfont$,weight=800,size=20pt]{\process}}
+\define[command=book:sectionfont]{\font[family=$sansfont$,weight=800]{\process}}
+$endif$
+$if(monofont)$
+\define[command=verbatim:font]{\font[family=$monofont$]}
+$endif$
+$if(title)$
+\title{$title$}
+$endif$
+$if(subtitle)$
+\subtitle{$subtitle$}
+$endif$
+$if(author)$
+\author{$author$}
+$endif$
+$if(rights)$
+\rights{$rights$}
+$endif$
+$if(date)$
+\date{$date$}
+$endif$
+$body$
+$for(include-after)$
+$include-after$
+\script[src=$include-after$]
+$endfor$
+\end{document}

From 566bfc9ede22b6cc9bffec5157b781c6a027f73c Mon Sep 17 00:00:00 2001
From: Caleb Maclennan <caleb@alerque.com>
Date: Mon, 27 Jan 2020 14:27:28 +0300
Subject: [PATCH 4/9] Add a SILE Writer module

---
 src/Text/Pandoc/Writers/SILE.hs       | 493 ++++++++++++++++++++++++++
 src/Text/Pandoc/Writers/SILE/Types.hs |  33 ++
 2 files changed, 526 insertions(+)
 create mode 100644 src/Text/Pandoc/Writers/SILE.hs
 create mode 100644 src/Text/Pandoc/Writers/SILE/Types.hs

diff --git a/src/Text/Pandoc/Writers/SILE.hs b/src/Text/Pandoc/Writers/SILE.hs
new file mode 100644
index 000000000000..71e437545864
--- /dev/null
+++ b/src/Text/Pandoc/Writers/SILE.hs
@@ -0,0 +1,493 @@
+{-# LANGUAGE NoImplicitPrelude #-}
+{-# LANGUAGE OverloadedStrings   #-}
+{-# LANGUAGE PatternGuards       #-}
+{-# LANGUAGE ScopedTypeVariables #-}
+{-# LANGUAGE ViewPatterns        #-}
+{- |
+   Module      : Text.Pandoc.Writers.SILE
+   Copyright   : Copyright (C) 2015-2020 Caleb Maclennan <caleb@alerque.com>
+   License     : GNU GPL, version 2 or above
+
+   Maintainer  : Caleb Maclennan <caleb@alerque.com>
+   Stability   : alpha
+   Portability : portable
+
+Conversion of 'Pandoc' format into SILE.
+-}
+module Text.Pandoc.Writers.SILE (
+    writeSILE
+  ) where
+import Prelude
+import Control.Monad.State.Strict
+    ( MonadState(get, put),
+      gets,
+      modify,
+      evalStateT )
+import Control.Monad
+    ( MonadPlus(mplus),
+      liftM,
+      when )
+import Data.Char (isAscii, isDigit, isLetter, isPunctuation, ord)
+import Data.List (foldl', intersperse)
+import Data.Text (Text)
+import qualified Data.Text as T
+import Network.URI (unEscapeString)
+import Text.DocTemplates (FromContext(lookupContext), renderTemplate)
+import Text.Pandoc.Class (PandocMonad, report) -- , toLang)
+import Text.Pandoc.Definition
+import Text.Pandoc.Logging
+import Text.Pandoc.Options
+import Text.DocLayout
+import Text.Pandoc.Shared
+import Text.Pandoc.URI
+import Text.Pandoc.Walk
+import Text.Pandoc.Writers.SILE.Types (LW, WriterState (..), startingState)
+import Text.Pandoc.Writers.Shared
+import Text.Printf (printf)
+
+-- | Convert Pandoc to SILE.
+writeSILE :: PandocMonad m => WriterOptions -> Pandoc -> m Text
+writeSILE options document =
+  evalStateT (pandocToSILE options document) $
+    startingState options
+
+pandocToSILE :: PandocMonad m
+              => WriterOptions -> Pandoc -> LW m Text
+pandocToSILE options (Pandoc meta blocks) = do
+  let blocks' = blocks
+  let colwidth = if writerWrapText options == WrapAuto
+                    then Just $ writerColumns options
+                    else Nothing
+  metadata <- metaToContext options
+              blockListToSILE
+              (fmap chomp . inlineListToSILE)
+              meta
+  let chaptersClasses = ["book","jbook","markdown","bible","triglot","docbook"]
+  let documentClass =
+        case lookupContext "documentclass" (writerVariables options) `mplus`
+              (stringify <$> lookupMeta "documentclass" meta) of
+                 Just x -> x
+                 Nothing -> case writerTopLevelDivision options of
+                                 TopLevelPart    -> "book"
+                                 TopLevelChapter -> "book"
+                                 _               -> "plain"
+  when (documentClass `elem` chaptersClasses) $
+     modify $ \s -> s{ stHasChapters = True }
+  main <- blockListToSILE blocks'
+  st <- get
+  titleMeta <- stringToSILE TextString $ stringify $ docTitle meta
+  authorsMeta <- mapM (stringToSILE TextString . stringify) $ docAuthors meta
+  dateMeta <- mapM (stringToSILE TextString . stringify) $ docDate meta
+
+  let context  =  defField "toc" (writerTableOfContents options) $
+                  defField "toc-depth" (tshow
+                                        (writerTOCDepth options -
+                                              if stHasChapters st
+                                                 then 1
+                                                 else 0)) $
+                  defField "body" main $
+                  defField "title" titleMeta $
+                  defField "date" dateMeta $
+                  defField "author"
+                        (T.intercalate "; " authorsMeta) $
+                  defField "documentclass" documentClass $
+                  defField "numbersections" (writerNumberSections options) $
+                  defField "has-chapters" (stHasChapters st) $
+                  (case T.uncons . render Nothing <$>
+                        getField "papersize" metadata of
+                        -- uppercase a4, a5, etc.
+                      Just (Just ('A', ds))
+                        | not (T.null ds) && T.all isDigit ds
+                          -> resetField "papersize" ("a" <> ds)
+                      _   -> id)
+                  metadata
+  return $ render colwidth $
+    case writerTemplate options of
+        Nothing  -> main
+        Just tpl -> renderTemplate tpl context
+
+data StringContext = TextString
+                   | URLString
+                   | CodeString
+                   deriving (Eq)
+
+-- escape things as needed for SILE
+stringToSILE :: PandocMonad m => StringContext -> Text -> LW m Text
+stringToSILE  context zs = do
+  opts <- gets stOptions
+  return $ T.pack $
+    foldr (go opts context) mempty $ T.unpack $ zs
+ where
+  go :: WriterOptions -> StringContext -> Char -> String -> String
+  go _ ctx x xs   =
+    let isUrl = ctx == URLString
+        emits s = s <> xs
+        emitc c = c : xs
+    in case x of
+         '{' -> emits "\\{"
+         '}' -> emits "\\}"
+         '%' -> emits "\\%"
+         '\\'| isUrl     -> emitc '/' -- NB. / works as path sep even on Windows
+             | otherwise -> emits "\\\\"
+         _ -> emitc x
+
+toLabel :: PandocMonad m => Text -> LW m Text
+toLabel z = go `fmap` stringToSILE URLString z
+ where
+   go = T.concatMap $ \x -> case x of
+     _ | (isLetter x || isDigit x) && isAscii x -> T.singleton x
+       | T.any(== x) "_-+=:;." -> T.singleton x
+       | otherwise -> T.pack $ "ux" <> printf "%x" (ord x)
+
+toOptions :: PandocMonad m => Text -> [Text] -> [(Text, Text)] -> LW m [Text]
+toOptions ident classes kvs = do
+  ref <- toLabel ident
+  let classes' = [ val | (val) <- classes ]
+  let classes'' = T.intercalate "," classes'
+  let options = (if T.null ident
+                  then []
+                  else [ "id=" <> ref ]) <>
+                (if null classes'
+                    then []
+                    else [ "classes=\"" <> classes'' <> "\"" ] ) <>
+                (if null kvs
+                    then []
+                    else [ key <> "=" <> attr | (key, attr) <- kvs ])
+  return options
+
+inCmd :: Text -> Doc Text -> Doc Text
+inCmd cmd content = do
+  char '\\' <> literal cmd <> braces content
+
+inOptCmd :: Text -> [Text] -> Doc Text -> Doc Text
+inOptCmd cmd args content = do
+  let args' = if null args
+                 then empty
+                 else brackets $ hcat (intersperse "," (map literal args))
+  char '\\' <> literal cmd <> args' <> (if isEmpty content then empty else braces content)
+
+inOptEnv :: Text -> [Text] -> Doc Text -> Doc Text
+inOptEnv cmd args content = do
+  let args' = if null args
+                 then empty
+                 else brackets $ hcat (intersperse "," (map literal args))
+      cmd' = braces (literal cmd)
+  literal "\\begin" <> args' <> cmd'
+        $$ content
+        $$ literal "\\end" <> cmd'
+
+-- | Convert Pandoc block element to SILE.
+blockToSILE :: PandocMonad m
+             => Block     -- ^ Block to convert
+             -> LW m (Doc Text)
+blockToSILE (Div (ident,classes,kvs) bs) = do
+  options <- toOptions ident classes kvs
+  content <- blockListToSILE bs
+  return $ inOptEnv "Div" options content
+blockToSILE (Plain lst) =
+  inlineListToSILE lst
+blockToSILE (Para [Str ".",Space,Str ".",Space,Str "."]) = do
+  inlineListToSILE [Str ".",Space,Str ".",Space,Str "."]
+blockToSILE (Para lst) =
+  inlineListToSILE lst
+blockToSILE (LineBlock lns) =
+  blockToSILE $ linesToPara lns
+blockToSILE (BlockQuote lst) = do
+  content <- blockListToSILE lst
+  return $ inOptEnv "BlockQuote" [] content
+blockToSILE (CodeBlock (ident,classes,kvs) str) = do
+  options <- toOptions ident classes kvs
+  content <- liftM literal $ stringToSILE CodeString str
+  return $ inOptEnv "CodeBlock" options content
+blockToSILE b@(RawBlock f x)
+  | f == Format "sile" || f == Format "sil"
+                        = return $ literal x
+  | otherwise           = do
+      report $ BlockNotRendered b
+      return empty
+blockToSILE (BulletList lst) = do
+  items <- mapM listItemToSILE lst
+  let content = vcat items
+  let opts = [("tight", "true") | isTightList lst]
+  options <- toOptions "" [] opts
+  return $ inOptEnv "BulletList" options content
+blockToSILE (OrderedList _ []) = return empty -- otherwise error
+blockToSILE (OrderedList (start, numstyle, _) lst) = do
+  st <- get
+  let oldlevel = stOLLevel st
+  put $ st {stOLLevel = oldlevel + 1}
+  items <- mapM listItemToSILE lst
+  let content = vcat items
+  modify (\s -> s {stOLLevel = oldlevel})
+  let numstyle' = case numstyle of
+                      Decimal      -> "arabic"
+                      UpperRoman   -> "Roman"
+                      LowerRoman   -> "roman"
+                      UpperAlpha   -> "Alpha"
+                      LowerAlpha   -> "alpha"
+                      Example      -> "arabic"
+                      DefaultStyle -> "arabic"
+  let start' = T.pack $ show start
+  let opts =  [("numberstyle", numstyle')] ++
+              [("start", start') | start > 1] ++
+              [("tight", "true") | isTightList lst]
+  options <- toOptions "" [] opts
+  return $ inOptEnv "OrderedList" options content
+blockToSILE (DefinitionList []) = return empty
+blockToSILE (DefinitionList lst) = do
+  items <- mapM defListItemToSILE lst
+  let content = vcat items
+  let opts = [("tight", "true") | all isTightList (map snd lst)]
+  options <- toOptions "" [] opts
+  return $ inOptEnv "DefinitionList" options content
+blockToSILE HorizontalRule =
+  return "\\HorizontalRule"
+blockToSILE (Header level (id',classes,_) lst) = do
+  hdr <- sectionHeader classes id' level lst
+  return hdr
+blockToSILE Table{} =
+  return "\\lua{SU.warn(\"Unimplemented, tables!\")}"
+
+blockListToSILE :: PandocMonad m => [Block] -> LW m (Doc Text)
+blockListToSILE lst =
+  vsep `fmap` mapM (\b -> setEmptyLine True >> blockToSILE b) lst
+
+listItemToSILE :: PandocMonad m => [Block] -> LW m (Doc Text)
+listItemToSILE lst =
+  inCmd "ListItem" <$> blockListToSILE lst
+
+defListItemToSILE :: PandocMonad m => ([Inline], [[Block]]) -> LW m (Doc Text)
+defListItemToSILE (term, defs) = do
+    term' <- inlineListToSILE term
+    def'  <- liftM vsep $ mapM blockListToSILE defs
+    return $ inCmd "ListItemTerm" term' $$
+             inCmd "ListItemDefinition" def'
+
+sectionHeader :: PandocMonad m
+              => [Text]  -- classes
+              -> Text
+              -> Int
+              -> [Inline]
+              -> LW m (Doc Text)
+sectionHeader classes id' level lst = do
+  content <- inlineListToSILE lst
+  book <- gets stHasChapters
+  opts <- gets stOptions
+  let topLevelDivision = if book && writerTopLevelDivision opts == TopLevelDefault
+                         then TopLevelChapter
+                         else writerTopLevelDivision opts
+  let level' = case topLevelDivision of
+                      TopLevelPart    -> level - 2
+                      TopLevelChapter -> level - 1
+                      TopLevelSection -> level
+                      TopLevelDefault -> level
+  let level'' = T.pack $ show level'
+  let sectionType = case level' of
+                          -1 -> "part"
+                          0  -> "chapter"
+                          1  -> "section"
+                          2  -> "subsection"
+                          _  -> ""
+  options <- toOptions id' classes [ ("level", level''), ("type", sectionType) ]
+  return $ inOptCmd "Header" options content
+
+-- | Convert list of inline elements to SILE.
+inlineListToSILE :: PandocMonad m
+                  => [Inline]  -- ^ Inlines to convert
+                  -> LW m (Doc Text)
+inlineListToSILE lst = hcat <$>
+  mapM inlineToSILE (fixLineInitialSpaces $ lst)
+ where fixLineInitialSpaces [] = []
+       fixLineInitialSpaces (LineBreak : Str s : xs)
+         | Just ('\160', _) <- T.uncons s
+         = LineBreak : fixNbsps s <> fixLineInitialSpaces xs
+       fixLineInitialSpaces (x:xs) = x : fixLineInitialSpaces xs
+       fixNbsps s = let (ys,zs) = T.span (=='\160') s
+                    in  replicate (T.length ys) hspace <> [Str zs]
+       hspace = RawInline "sile" "\\Nbsp{}" -- TODO: use U+00A0
+
+-- | Convert inline element to SILE
+inlineToSILE :: PandocMonad m
+              => Inline    -- ^ Inline to convert
+              -> LW m (Doc Text)
+inlineToSILE (Span (id',classes,kvs) ils) = do
+  content <- inlineListToSILE ils
+  let classToCommand = [ "csl-no-emph", "csl-no-strong", "csl-no-smallcaps" ]
+  let cmds = filter (`elem` classToCommand) classes
+  let classes' = filter (`notElem` classToCommand) classes
+  options <- toOptions id' classes' kvs
+  return $ if null cmds
+            then inOptCmd "Span" options content
+            else inOptCmd "Span" options $ foldr inCmd content cmds
+
+inlineToSILE (Emph lst) =
+  inCmd "Emph" <$> inlineListToSILE lst
+inlineToSILE (Strong lst) =
+  inCmd "Strong" <$> inlineListToSILE lst
+inlineToSILE (Strikeout lst) =
+  inCmd "Strikeout" <$> inlineListToSILE lst
+inlineToSILE (Superscript lst) =
+  inCmd "Superscript" <$> inlineListToSILE lst
+inlineToSILE (Subscript lst) =
+  inCmd "textsubscript" <$> inlineListToSILE lst
+inlineToSILE (SmallCaps lst) =
+  inCmd "SmallCaps" <$> inlineListToSILE lst
+inlineToSILE (Cite cits lst) = do
+  st <- get
+  let opts = stOptions st
+  case writerCiteMethod opts of
+     Natbib   -> citationsToNatbib cits
+     _        -> inlineListToSILE lst
+
+inlineToSILE (Code (_,_,_) str) = do
+  content <- liftM literal $ stringToSILE TextString str
+  return $ inCmd "code" content
+inlineToSILE (Quoted SingleQuote lst) = do
+  opts <- gets stOptions
+  content <- inlineListToSILE lst
+  return $ if isEnabled Ext_smart opts
+              then "‘" <> content <> "’"
+              else "'" <> content <> "'"
+inlineToSILE (Quoted DoubleQuote lst) = do
+  opts <- gets stOptions
+  content <- inlineListToSILE lst
+  return $ if isEnabled Ext_smart opts
+              then "“" <> content <> "”"
+              else "\"" <> content <> "\""
+inlineToSILE (Str str) = do
+  setEmptyLine False
+  liftM literal $ stringToSILE TextString str
+inlineToSILE (Math _ str) = do
+  content <- liftM literal $ stringToSILE TextString str
+  return $ inCmd "Math" content
+inlineToSILE (RawInline _ str) = do
+  setEmptyLine False
+  return $ literal str
+inlineToSILE LineBreak = return $ "\\hfill\\break" <> cr
+inlineToSILE SoftBreak = do
+  wrapText <- gets (writerWrapText . stOptions)
+  case wrapText of
+       WrapAuto     -> return space
+       WrapNone     -> return space
+       WrapPreserve -> return cr
+inlineToSILE Space = return space
+inlineToSILE (Link (ident,classes,kvs) txt (src,_))
+  | Just ('#', ident') <- T.uncons src = do
+      content <- inlineListToSILE txt
+      options <- toOptions ident' classes kvs
+      let options' = map (T.replace "id=" "dest=") options
+      return $ inOptCmd "pdf:link" options' content
+  | otherwise = do
+      content <- inlineListToSILE txt
+      src' <- stringToSILE URLString (escapeURI src)
+      options <- toOptions ident classes (kvs ++ [("src", src')])
+      return $ inOptCmd "href" options content
+inlineToSILE il@(Image _ _ (src, _))
+  | Just _ <- T.stripPrefix "data:" src = do
+  report $ InlineNotRendered il
+  return empty
+inlineToSILE (Image (ident,classes,kvs) txt (source, tit)) = do
+  setEmptyLine False
+  content <- inlineListToSILE txt
+  let source' = if isURI source
+                   then source
+                   else T.pack $ unEscapeString $ T.unpack source
+  source'' <- stringToSILE URLString source'
+  let opts = kvs ++
+              [("src", source'')] ++
+              [("title", tit) | not (T.null tit)]
+  options <- toOptions ident classes opts
+  return $ inOptCmd "img" options content
+inlineToSILE (Note content) = do
+  setEmptyLine False
+  contents' <- blockListToSILE content
+  let optnl = case reverse content of
+                   (CodeBlock _ _ : _) -> cr
+                   _                   -> empty
+  let noteContents = nest 2 contents' <> optnl
+  return $ "\\footnote" <> braces noteContents
+
+setEmptyLine :: PandocMonad m => Bool -> LW m ()
+setEmptyLine b = modify $ \st -> st{ stEmptyLine = b }
+
+citationsToNatbib :: PandocMonad m => [Citation] -> LW m (Doc Text)
+citationsToNatbib
+            [one]
+  = citeCommand c p s k
+  where
+    Citation { citationId = k
+             , citationPrefix = p
+             , citationSuffix = s
+             , citationMode = m
+             }
+      = one
+    c = case m of
+             AuthorInText   -> "citet"
+             SuppressAuthor -> "citeyearpar"
+             NormalCitation -> "citep"
+
+citationsToNatbib cits
+  | noPrefix (tail cits) && noSuffix (init cits) && ismode NormalCitation cits
+  = citeCommand "citep" p s ks
+  where
+     noPrefix  = all (null . citationPrefix)
+     noSuffix  = all (null . citationSuffix)
+     ismode m  = all ((==) m  . citationMode)
+     p         = citationPrefix  $
+                 head cits
+     s         = citationSuffix  $
+                 last cits
+     ks        = T.intercalate ", " $ map citationId cits
+
+citationsToNatbib (c:cs) | citationMode c == AuthorInText = do
+     author <- citeCommand "citeauthor" [] [] (citationId c)
+     cits   <- citationsToNatbib (c { citationMode = SuppressAuthor } : cs)
+     return $ author <+> cits
+
+citationsToNatbib cits = do
+  cits' <- mapM convertOne cits
+  return $ text "\\citetext{" <> foldl' combineTwo empty cits' <> text "}"
+  where
+    combineTwo a b | isEmpty a = b
+                   | otherwise = a <> text "; " <> b
+    convertOne Citation { citationId = k
+                        , citationPrefix = p
+                        , citationSuffix = s
+                        , citationMode = m
+                        }
+        = case m of
+               AuthorInText   -> citeCommand "citealt"  p s k
+               SuppressAuthor -> citeCommand "citeyear" p s k
+               NormalCitation -> citeCommand "citealp"  p s k
+
+citeCommand :: PandocMonad m
+            => Text -> [Inline] -> [Inline] -> Text -> LW m (Doc Text)
+citeCommand c p s k = do
+  args <- citeArguments p s k
+  return $ literal ("\\" <> c) <> args
+
+citeArguments :: PandocMonad m
+              => [Inline] -> [Inline] -> Text -> LW m (Doc Text)
+citeArguments p s k = do
+  let s' = stripLocatorBraces $ case s of
+        (Str t : r) -> case T.uncons t of
+          Just (x, xs)
+            | T.null xs
+            , isPunctuation x -> dropWhile (== Space) r
+            | isPunctuation x -> Str xs : r
+          _ -> s
+        _                -> s
+  pdoc <- inlineListToSILE p
+  sdoc <- inlineListToSILE s'
+  let optargs = case (isEmpty pdoc, isEmpty sdoc) of
+                     (True, True ) -> empty
+                     (True, False) -> brackets sdoc
+                     (_   , _    ) -> brackets pdoc <> brackets sdoc
+  return $ optargs <> braces (literal k)
+
+-- strip off {} used to define locator in pandoc-citeproc; see #5722
+stripLocatorBraces :: [Inline] -> [Inline]
+stripLocatorBraces = walk go
+  where go (Str xs) = Str $ T.filter (\c -> c /= '{' && c /= '}') xs
+        go x        = x
+
diff --git a/src/Text/Pandoc/Writers/SILE/Types.hs b/src/Text/Pandoc/Writers/SILE/Types.hs
new file mode 100644
index 000000000000..33655cd001f3
--- /dev/null
+++ b/src/Text/Pandoc/Writers/SILE/Types.hs
@@ -0,0 +1,33 @@
+module Text.Pandoc.Writers.SILE.Types
+  ( LW
+  , WriterState (..)
+  , startingState
+  ) where
+
+import Control.Monad.State.Strict (StateT)
+import Text.Pandoc.Options
+  ( WriterOptions (writerTopLevelDivision)
+  , TopLevelDivision (..)
+  )
+
+-- | LaTeX writer type. The type constructor @m@ will typically be an
+-- instance of PandocMonad.
+type LW m = StateT WriterState m
+
+data WriterState =
+  WriterState {
+                stOLLevel       :: Int           -- level of ordered list nesting
+              , stOptions       :: WriterOptions -- writer options, so they don't have to be parameter
+              , stHasChapters   :: Bool          -- true if document has chapters
+              , stEmptyLine     :: Bool          -- true if no content on line
+              }
+
+startingState :: WriterOptions -> WriterState
+startingState options = WriterState {
+                  stOLLevel = 1
+                , stOptions = options
+                , stHasChapters = case writerTopLevelDivision options of
+                                TopLevelPart    -> True
+                                TopLevelChapter -> True
+                                _               -> False
+                , stEmptyLine = True }

From 38d828bad94f7a89dc99c835c0d4ab37a403fd91 Mon Sep 17 00:00:00 2001
From: Caleb Maclennan <caleb@alerque.com>
Date: Mon, 3 Aug 2015 12:22:02 +0300
Subject: [PATCH 5/9] Tell Pandoc's internals about the SILE Writer

---
 pandoc.cabal                  | 5 +++++
 src/Text/Pandoc/Extensions.hs | 3 +++
 src/Text/Pandoc/Format.hs     | 1 +
 src/Text/Pandoc/Writers.hs    | 3 +++
 4 files changed, 12 insertions(+)

diff --git a/pandoc.cabal b/pandoc.cabal
index 32ebcd43a6aa..3e4d1e2aebd2 100644
--- a/pandoc.cabal
+++ b/pandoc.cabal
@@ -24,6 +24,7 @@ description:     Pandoc is a Haskell library for converting from one markup
                  - Ebook formats (EPUB v2 and v3, FB2)
                  - Documentation formats (GNU TexInfo, Haddock)
                  - Roff formats (man, ms)
+                 - SILE
                  - TeX formats (LaTeX, ConTeXt)
                  - Typst
                  - XML formats (DocBook 4 and 5, JATS, TEI Simple, OpenDocument)
@@ -72,6 +73,7 @@ data-files:
                  data/templates/default.bibtex
                  data/templates/default.biblatex
                  data/templates/default.context
+                 data/templates/default.sile
                  data/templates/default.texinfo
                  data/templates/default.jira
                  data/templates/default.man
@@ -616,6 +618,7 @@ library
                    Text.Pandoc.Writers.LaTeX,
                    Text.Pandoc.Writers.ConTeXt,
                    Text.Pandoc.Writers.Djot,
+                   Text.Pandoc.Writers.SILE,
                    Text.Pandoc.Writers.Typst,
                    Text.Pandoc.Writers.OpenDocument,
                    Text.Pandoc.Writers.Texinfo,
@@ -750,6 +753,7 @@ library
                    Text.Pandoc.Writers.Markdown.Types,
                    Text.Pandoc.Writers.Markdown.Inline,
                    Text.Pandoc.Writers.Roff,
+                   Text.Pandoc.Writers.SILE.Types,
                    Text.Pandoc.Writers.Blaze,
                    Text.Pandoc.Writers.Powerpoint.Presentation,
                    Text.Pandoc.Writers.Powerpoint.Output,
@@ -834,6 +838,7 @@ test-suite test-pandoc
                   Tests.Readers.DokuWiki
                   Tests.Writers.Native
                   Tests.Writers.ConTeXt
+                  Tests.Writers.SILE
                   Tests.Writers.DocBook
                   Tests.Writers.HTML
                   Tests.Writers.JATS
diff --git a/src/Text/Pandoc/Extensions.hs b/src/Text/Pandoc/Extensions.hs
index 7f1b35c17bfc..8d416f1186dd 100644
--- a/src/Text/Pandoc/Extensions.hs
+++ b/src/Text/Pandoc/Extensions.hs
@@ -447,6 +447,9 @@ getDefaultExtensions "epub"            = extensionsFromList
                                            Ext_epub_html_exts]
 getDefaultExtensions "epub2"           = getDefaultExtensions "epub"
 getDefaultExtensions "epub3"           = getDefaultExtensions "epub"
+getDefaultExtensions "sile"           = extensionsFromList
+                                          [Ext_smart,
+                                           Ext_auto_identifiers]
 getDefaultExtensions "latex"           = extensionsFromList
                                           [Ext_smart,
                                            Ext_latex_macros,
diff --git a/src/Text/Pandoc/Format.hs b/src/Text/Pandoc/Format.hs
index 8182002c4bd9..c901c64fd253 100644
--- a/src/Text/Pandoc/Format.hs
+++ b/src/Text/Pandoc/Format.hs
@@ -214,6 +214,7 @@ formatFromFilePath x =
     ".rst"      -> defFlavor "rst"
     ".rtf"      -> defFlavor "rtf"
     ".s5"       -> defFlavor "s5"
+    ".sil"      -> defFlavor "sile"
     ".t2t"      -> defFlavor "t2t"
     ".tei"      -> defFlavor "tei"
     ".tex"      -> defFlavor "latex"
diff --git a/src/Text/Pandoc/Writers.hs b/src/Text/Pandoc/Writers.hs
index 3e1974ad63de..d62b1837b3eb 100644
--- a/src/Text/Pandoc/Writers.hs
+++ b/src/Text/Pandoc/Writers.hs
@@ -70,6 +70,7 @@ module Text.Pandoc.Writers
     , writeRTF
     , writeRevealJs
     , writeS5
+    , writeSILE
     , writeSlideous
     , writeSlidy
     , writeTEI
@@ -124,6 +125,7 @@ import Text.Pandoc.Writers.Org
 import Text.Pandoc.Writers.Powerpoint
 import Text.Pandoc.Writers.RST
 import Text.Pandoc.Writers.RTF
+import Text.Pandoc.Writers.SILE
 import Text.Pandoc.Writers.TEI
 import Text.Pandoc.Writers.Texinfo
 import Text.Pandoc.Writers.Textile
@@ -169,6 +171,7 @@ writers = [
   ,("latex"        , TextWriter writeLaTeX)
   ,("beamer"       , TextWriter writeBeamer)
   ,("context"      , TextWriter writeConTeXt)
+  ,("sile"         , TextWriter writeSILE)
   ,("texinfo"      , TextWriter writeTexinfo)
   ,("man"          , TextWriter writeMan)
   ,("ms"           , TextWriter writeMs)

From 7d47fa5b98741a8532a0ca4cc51c38f89926184e Mon Sep 17 00:00:00 2001
From: Caleb Maclennan <caleb@alerque.com>
Date: Sat, 25 Jan 2020 22:56:04 +0300
Subject: [PATCH 6/9] Add expected output of SILE Writer test

---
 test/writer.sile | 758 +++++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 758 insertions(+)
 create mode 100644 test/writer.sile

diff --git a/test/writer.sile b/test/writer.sile
new file mode 100644
index 000000000000..3fcb9e94aaea
--- /dev/null
+++ b/test/writer.sile
@@ -0,0 +1,758 @@
+This is a set of tests for pandoc. Most of them are adapted from John
+Gruber’s markdown test suite.
+
+\HorizontalRule
+
+\Header[id=headers,level=1,type=section]{Headers}
+
+\Header[id=level-2-with-an-embedded-link,level=2,type=subsection]{Level
+2 with an \href[src=/url]{embedded link}}
+
+\Header[id=level-3-with-emphasis,level=3,type=]{Level 3 with
+\Emph{emphasis}}
+
+\Header[id=level-4,level=4,type=]{Level 4}
+
+\Header[id=level-5,level=5,type=]{Level 5}
+
+\Header[id=level-1,level=1,type=section]{Level 1}
+
+\Header[id=level-2-with-emphasis,level=2,type=subsection]{Level 2 with
+\Emph{emphasis}}
+
+\Header[id=level-3,level=3,type=]{Level 3}
+
+with no blank line
+
+\Header[id=level-2,level=2,type=subsection]{Level 2}
+
+with no blank line
+
+\HorizontalRule
+
+\Header[id=paragraphs,level=1,type=section]{Paragraphs}
+
+Here’s a regular paragraph.
+
+In Markdown 1.0.0 and earlier. Version 8. This line turns into a list
+item. Because a hard-wrapped line in the middle of a paragraph looked
+like a list item.
+
+Here’s one with a bullet. * criminey.
+
+There should be a hard line break\hfill\break
+here.
+
+\HorizontalRule
+
+\Header[id=block-quotes,level=1,type=section]{Block Quotes}
+
+E-mail style:
+
+\begin{BlockQuote}
+This is a block quote. It is pretty short.
+\end{BlockQuote}
+
+\begin{BlockQuote}
+Code in a block quote:
+
+\begin{CodeBlock}
+sub status \{
+    print "working";
+\}
+\end{CodeBlock}
+
+A list:
+
+\begin[numberstyle=arabic,tight=true]{OrderedList}
+\ListItem{item one}
+\ListItem{item two}
+\end{OrderedList}
+
+Nested block quotes:
+
+\begin{BlockQuote}
+nested
+\end{BlockQuote}
+
+\begin{BlockQuote}
+nested
+\end{BlockQuote}
+\end{BlockQuote}
+
+This should not be a block quote: 2 > 1.
+
+And a following paragraph.
+
+\HorizontalRule
+
+\Header[id=code-blocks,level=1,type=section]{Code Blocks}
+
+Code:
+
+\begin{CodeBlock}
+---- (should be four hyphens)
+
+sub status \{
+    print "working";
+\}
+
+this code block is indented by one tab
+\end{CodeBlock}
+
+And:
+
+\begin{CodeBlock}
+    this code block is indented by two tabs
+
+These should not be escaped:  \\$ \\\\ \\> \\[ \\\{
+\end{CodeBlock}
+
+\HorizontalRule
+
+\Header[id=lists,level=1,type=section]{Lists}
+
+\Header[id=unordered,level=2,type=subsection]{Unordered}
+
+Asterisks tight:
+
+\begin{BulletList}
+\ListItem{asterisk 1}
+\ListItem{asterisk 2}
+\ListItem{asterisk 3}
+\end{BulletList}
+
+Asterisks loose:
+
+\begin{BulletList}
+\ListItem{asterisk 1}
+\ListItem{asterisk 2}
+\ListItem{asterisk 3}
+\end{BulletList}
+
+Pluses tight:
+
+\begin{BulletList}
+\ListItem{Plus 1}
+\ListItem{Plus 2}
+\ListItem{Plus 3}
+\end{BulletList}
+
+Pluses loose:
+
+\begin{BulletList}
+\ListItem{Plus 1}
+\ListItem{Plus 2}
+\ListItem{Plus 3}
+\end{BulletList}
+
+Minuses tight:
+
+\begin{BulletList}
+\ListItem{Minus 1}
+\ListItem{Minus 2}
+\ListItem{Minus 3}
+\end{BulletList}
+
+Minuses loose:
+
+\begin{BulletList}
+\ListItem{Minus 1}
+\ListItem{Minus 2}
+\ListItem{Minus 3}
+\end{BulletList}
+
+\Header[id=ordered,level=2,type=subsection]{Ordered}
+
+Tight:
+
+\begin[numberstyle=arabic,tight=true]{OrderedList}
+\ListItem{First}
+\ListItem{Second}
+\ListItem{Third}
+\end{OrderedList}
+
+and:
+
+\begin[numberstyle=arabic,tight=true]{OrderedList}
+\ListItem{One}
+\ListItem{Two}
+\ListItem{Three}
+\end{OrderedList}
+
+Loose using tabs:
+
+\begin[numberstyle=arabic]{OrderedList}
+\ListItem{First}
+\ListItem{Second}
+\ListItem{Third}
+\end{OrderedList}
+
+and using spaces:
+
+\begin[numberstyle=arabic]{OrderedList}
+\ListItem{One}
+\ListItem{Two}
+\ListItem{Three}
+\end{OrderedList}
+
+Multiple paragraphs:
+
+\begin[numberstyle=arabic]{OrderedList}
+\ListItem{Item 1, graf one.
+
+Item 1. graf two. The quick brown fox jumped over the lazy dog’s back.}
+\ListItem{Item 2.}
+\ListItem{Item 3.}
+\end{OrderedList}
+
+\Header[id=nested,level=2,type=subsection]{Nested}
+
+\begin{BulletList}
+\ListItem{Tab
+
+\begin{BulletList}
+\ListItem{Tab
+
+\begin{BulletList}
+\ListItem{Tab}
+\end{BulletList}}
+\end{BulletList}}
+\end{BulletList}
+
+Here’s another:
+
+\begin[numberstyle=arabic,tight=true]{OrderedList}
+\ListItem{First}
+\ListItem{Second:
+
+\begin{BulletList}
+\ListItem{Fee}
+\ListItem{Fie}
+\ListItem{Foe}
+\end{BulletList}}
+\ListItem{Third}
+\end{OrderedList}
+
+Same thing but with paragraphs:
+
+\begin[numberstyle=arabic]{OrderedList}
+\ListItem{First}
+\ListItem{Second:
+
+\begin{BulletList}
+\ListItem{Fee}
+\ListItem{Fie}
+\ListItem{Foe}
+\end{BulletList}}
+\ListItem{Third}
+\end{OrderedList}
+
+\Header[id=tabs-and-spaces,level=2,type=subsection]{Tabs and spaces}
+
+\begin{BulletList}
+\ListItem{this is a list item indented with tabs}
+\ListItem{this is a list item indented with spaces
+
+\begin{BulletList}
+\ListItem{this is an example list item indented with tabs}
+\ListItem{this is an example list item indented with spaces}
+\end{BulletList}}
+\end{BulletList}
+
+\Header[id=fancy-list-markers,level=2,type=subsection]{Fancy list
+markers}
+
+\begin[numberstyle=arabic,start=2]{OrderedList}
+\ListItem{begins with 2}
+\ListItem{and now 3
+
+with a continuation
+
+\begin[numberstyle=roman,start=4,tight=true]{OrderedList}
+\ListItem{sublist with roman numerals, starting with 4}
+\ListItem{more items
+
+\begin[numberstyle=Alpha,tight=true]{OrderedList}
+\ListItem{a subsublist}
+\ListItem{a subsublist}
+\end{OrderedList}}
+\end{OrderedList}}
+\end{OrderedList}
+
+Nesting:
+
+\begin[numberstyle=Alpha,tight=true]{OrderedList}
+\ListItem{Upper Alpha
+
+\begin[numberstyle=Roman,tight=true]{OrderedList}
+\ListItem{Upper Roman.
+
+\begin[numberstyle=arabic,start=6,tight=true]{OrderedList}
+\ListItem{Decimal start with 6
+
+\begin[numberstyle=alpha,start=3,tight=true]{OrderedList}
+\ListItem{Lower alpha with paren}
+\end{OrderedList}}
+\end{OrderedList}}
+\end{OrderedList}}
+\end{OrderedList}
+
+Autonumbering:
+
+\begin[numberstyle=arabic,tight=true]{OrderedList}
+\ListItem{Autonumber.}
+\ListItem{More.
+
+\begin[numberstyle=arabic,tight=true]{OrderedList}
+\ListItem{Nested.}
+\end{OrderedList}}
+\end{OrderedList}
+
+Should not be a list item:
+
+M.A. 2007
+
+B. Williams
+
+\HorizontalRule
+
+\Header[id=definition-lists,level=1,type=section]{Definition Lists}
+
+Tight using spaces:
+
+\begin[tight=true]{DefinitionList}
+\term{apple}
+\definition{red fruit}
+\term{orange}
+\definition{orange fruit}
+\term{banana}
+\definition{yellow fruit}
+\end{DefinitionList}
+
+Tight using tabs:
+
+\begin[tight=true]{DefinitionList}
+\term{apple}
+\definition{red fruit}
+\term{orange}
+\definition{orange fruit}
+\term{banana}
+\definition{yellow fruit}
+\end{DefinitionList}
+
+Loose:
+
+\begin{DefinitionList}
+\term{apple}
+\definition{red fruit}
+\term{orange}
+\definition{orange fruit}
+\term{banana}
+\definition{yellow fruit}
+\end{DefinitionList}
+
+Multiple blocks with italics:
+
+\begin{DefinitionList}
+\term{\Emph{apple}}
+\definition{red fruit
+
+contains seeds, crisp, pleasant to taste}
+\term{\Emph{orange}}
+\definition{orange fruit
+
+\begin{CodeBlock}
+\{ orange code block \}
+\end{CodeBlock}
+
+\begin{BlockQuote}
+orange block quote
+\end{BlockQuote}}
+\end{DefinitionList}
+
+Multiple definitions, tight:
+
+\begin[tight=true]{DefinitionList}
+\term{apple}
+\definition{red fruit
+
+computer}
+\term{orange}
+\definition{orange fruit
+
+bank}
+\end{DefinitionList}
+
+Multiple definitions, loose:
+
+\begin{DefinitionList}
+\term{apple}
+\definition{red fruit
+
+computer}
+\term{orange}
+\definition{orange fruit
+
+bank}
+\end{DefinitionList}
+
+Blank line after term, indented marker, alternate markers:
+
+\begin{DefinitionList}
+\term{apple}
+\definition{red fruit
+
+computer}
+\term{orange}
+\definition{orange fruit
+
+\begin[numberstyle=arabic,tight=true]{OrderedList}
+\ListItem{sublist}
+\ListItem{sublist}
+\end{OrderedList}}
+\end{DefinitionList}
+
+\Header[id=html-blocks,level=1,type=section]{HTML Blocks}
+
+Simple block on one line:
+
+\begin{Div}
+foo
+\end{Div}
+
+And nested without indentation:
+
+\begin{Div}
+\begin{Div}
+\begin{Div}
+foo
+\end{Div}
+\end{Div}
+
+\begin{Div}
+bar
+\end{Div}
+\end{Div}
+
+Interpreted markdown in a table:
+
+This is \Emph{emphasized}
+
+And this is \Strong{strong}
+
+Here’s a simple block:
+
+\begin{Div}
+foo
+\end{Div}
+
+This should be a code block, though:
+
+\begin{CodeBlock}
+<div>
+    foo
+</div>
+\end{CodeBlock}
+
+As should this:
+
+\begin{CodeBlock}
+<div>foo</div>
+\end{CodeBlock}
+
+Now, nested:
+
+\begin{Div}
+\begin{Div}
+\begin{Div}
+foo
+\end{Div}
+\end{Div}
+\end{Div}
+
+This should just be an HTML comment:
+
+Multiline:
+
+Code block:
+
+\begin{CodeBlock}
+<!-- Comment -->
+\end{CodeBlock}
+
+Just plain comment, with trailing spaces on the line:
+
+Code:
+
+\begin{CodeBlock}
+<hr />
+\end{CodeBlock}
+
+Hr’s:
+
+\HorizontalRule
+
+\Header[id=inline-markup,level=1,type=section]{Inline Markup}
+
+This is \Emph{emphasized}, and so \Emph{is this}.
+
+This is \Strong{strong}, and so \Strong{is this}.
+
+An \Emph{\href[src=/url]{emphasized link}}.
+
+\Strong{\Emph{This is strong and em.}}
+
+So is \Strong{\Emph{this}} word.
+
+\Strong{\Emph{This is strong and em.}}
+
+So is \Strong{\Emph{this}} word.
+
+This is code: \code{>}, \code{$}, \code{\\}, \code{\\$}, \code{<html>}.
+
+\Strikeout{This is \Emph{strikeout}.}
+
+Superscripts: a\Superscript{bc}d a\Superscript{\Emph{hello}}
+a\Superscript{hello there}.
+
+Subscripts: H\textsubscript{2}O, H\textsubscript{23}O,
+H\textsubscript{many of them}O.
+
+These should not be superscripts or subscripts, because of the unescaped
+spaces: a^b c^d, a~b c~d.
+
+\HorizontalRule
+
+\Header[id=smart-quotes-ellipses-dashes,level=1,type=section]{Smart
+quotes, ellipses, dashes}
+
+“Hello,” said the spider. “‘Shelob’ is my name.”
+
+‘A’, ‘B’, and ‘C’ are letters.
+
+‘Oak,’ ‘elm,’ and ‘beech’ are names of trees. So is ‘pine.’
+
+‘He said, “I want to go.”’ Were you alive in the 70’s?
+
+Here is some quoted ‘\code{code}’ and a
+“\href[src=http://example.com/?foo=1&bar=2]{quoted link}”.
+
+Some dashes: one—two — three—four — five.
+
+Dashes between numbers: 5–7, 255–66, 1987–1999.
+
+Ellipses…and…and….
+
+\HorizontalRule
+
+\Header[id=latex,level=1,type=section]{LaTeX}
+
+\begin{BulletList}
+\ListItem{\cite[22-23]{smith.1899}}
+\ListItem{\Math{2+2=4}}
+\ListItem{\Math{x \\in y}}
+\ListItem{\Math{\\alpha \\wedge \\omega}}
+\ListItem{\Math{223}}
+\ListItem{\Math{p}-Tree}
+\ListItem{Here’s some display math:
+\Math{\\frac\{d\}\{dx\}f(x)=\\lim_\{h\\to 0\}\\frac\{f(x+h)-f(x)\}\{h\}}}
+\ListItem{Here’s one that has a line break in it:
+\Math{\\alpha + \\omega \\times x^2}.}
+\end{BulletList}
+
+These shouldn’t be math:
+
+\begin{BulletList}
+\ListItem{To get the famous equation, write \code{$e = mc^2$}.}
+\ListItem{$22,000 is a \Emph{lot} of money. So is $34,000. (It worked if
+“lot” is emphasized.)}
+\ListItem{Shoes ($20) and socks ($5).}
+\ListItem{Escaped \code{$}: $73 \Emph{this should be emphasized} 23$.}
+\end{BulletList}
+
+Here’s a LaTeX table:
+
+\HorizontalRule
+
+\Header[id=special-characters,level=1,type=section]{Special Characters}
+
+Here is some unicode:
+
+\begin{BulletList}
+\ListItem{I hat: Î}
+\ListItem{o umlaut: ö}
+\ListItem{section: §}
+\ListItem{set membership: ∈}
+\ListItem{copyright: ©}
+\end{BulletList}
+
+AT&T has an ampersand in their name.
+
+AT&T is another way to write it.
+
+This & that.
+
+4 < 5.
+
+6 > 5.
+
+Backslash: \\
+
+Backtick: `
+
+Asterisk: *
+
+Underscore: _
+
+Left brace: \{
+
+Right brace: \}
+
+Left bracket: [
+
+Right bracket: ]
+
+Left paren: (
+
+Right paren: )
+
+Greater-than: >
+
+Hash: #
+
+Period: .
+
+Bang: !
+
+Plus: +
+
+Minus: -
+
+\HorizontalRule
+
+\Header[id=links,level=1,type=section]{Links}
+
+\Header[id=explicit,level=2,type=subsection]{Explicit}
+
+Just a \href[src=/url/]{URL}.
+
+\href[src=/url/]{URL and title}.
+
+\href[src=/url/]{URL and title}.
+
+\href[src=/url/]{URL and title}.
+
+\href[src=/url/]{URL and title}
+
+\href[src=/url/]{URL and title}
+
+\href[src=/url/with_underscore]{with_underscore}
+
+\href[src=mailto:nobody@nowhere.net]{Email link}
+
+\href[src=]{Empty}.
+
+\Header[id=reference,level=2,type=subsection]{Reference}
+
+Foo \href[src=/url/]{bar}.
+
+With \href[src=/url/]{embedded [brackets]}.
+
+\href[src=/url/]{b} by itself should be a link.
+
+Indented \href[src=/url]{once}.
+
+Indented \href[src=/url]{twice}.
+
+Indented \href[src=/url]{thrice}.
+
+This should [not][] be a link.
+
+\begin{CodeBlock}
+[not]: /url
+\end{CodeBlock}
+
+Foo \href[src=/url/]{bar}.
+
+Foo \href[src=/url/]{biz}.
+
+\Header[id=with-ampersands,level=2,type=subsection]{With ampersands}
+
+Here’s a \href[src=http://example.com/?foo=1&bar=2]{link with an
+ampersand in the URL}.
+
+Here’s a link with an amersand in the link text:
+\href[src=http://att.com/]{AT&T}.
+
+Here’s an \href[src=/script?foo=1&bar=2]{inline link}.
+
+Here’s an \href[src=/script?foo=1&bar=2]{inline link in pointy braces}.
+
+\Header[id=autolinks,level=2,type=subsection]{Autolinks}
+
+With an ampersand:
+\href[classes="uri",src=http://example.com/?foo=1&bar=2]{http://example.com/?foo=1&bar=2}
+
+\begin{BulletList}
+\ListItem{In a list?}
+\ListItem{\href[classes="uri",src=http://example.com/]{http://example.com/}}
+\ListItem{It should.}
+\end{BulletList}
+
+An e-mail address:
+\href[classes="email",src=mailto:nobody@nowhere.net]{nobody@nowhere.net}
+
+\begin{BlockQuote}
+Blockquoted:
+\href[classes="uri",src=http://example.com/]{http://example.com/}
+\end{BlockQuote}
+
+Auto-links should not occur here: \code{<http://example.com/>}
+
+\begin{CodeBlock}
+or here: <http://example.com/>
+\end{CodeBlock}
+
+\HorizontalRule
+
+\Header[id=images,level=1,type=section]{Images}
+
+From “Voyage dans la Lune” by Georges Melies (1902):
+
+\img[src=lalune.jpg,title=fig:Voyage dans la Lune]{lalune}
+
+Here is a movie \img[src=movie.jpg]{movie} icon.
+
+\HorizontalRule
+
+\Header[id=footnotes,level=1,type=section]{Footnotes}
+
+Here is a footnote reference,\footnote{Here is the footnote. It can go
+  anywhere after the footnote reference. It need not be placed at the
+  end of the document.} and another.\footnote{Here’s the long note. This
+  one contains multiple blocks.
+
+  Subsequent blocks are indented to show that they belong to the
+  footnote (as with list items).
+
+  \begin{CodeBlock}
+    \{ <code> \}
+  \end{CodeBlock}
+
+  If you want, you can indent every line, but you can also be lazy and
+  just indent the first line of each block.} This should \Emph{not} be a
+footnote reference, because it contains a space.[^my note] Here is an
+inline note.\footnote{This is \Emph{easier} to type. Inline notes may
+  contain \href[src=http://google.com]{links} and \code{]} verbatim
+  characters, as well as [bracketed text].}
+
+\begin{BlockQuote}
+Notes can go in quotes.\footnote{In quote.}
+\end{BlockQuote}
+
+\begin[numberstyle=arabic,tight=true]{OrderedList}
+\ListItem{And in list items.\footnote{In list.}}
+\end{OrderedList}
+
+This paragraph should not be part of the note, as it is not indented.

From 7a41c61cba06da6d523eeb92049dca694d46dec0 Mon Sep 17 00:00:00 2001
From: Caleb Maclennan <caleb@alerque.com>
Date: Mon, 27 Jan 2020 14:39:28 +0300
Subject: [PATCH 7/9] Add basic test outline for the SILE Writer

---
 pandoc.cabal               |  1 +
 test/Tests/Writers/SILE.hs | 37 +++++++++++++++++++++++++++++++++++++
 test/test-pandoc.hs        |  2 ++
 3 files changed, 40 insertions(+)
 create mode 100644 test/Tests/Writers/SILE.hs

diff --git a/pandoc.cabal b/pandoc.cabal
index 3e4d1e2aebd2..61800359a077 100644
--- a/pandoc.cabal
+++ b/pandoc.cabal
@@ -850,6 +850,7 @@ test-suite test-pandoc
                   Tests.Writers.LaTeX
                   Tests.Writers.Docx
                   Tests.Writers.RST
+                  Tests.Writers.SILE
                   Tests.Writers.TEI
                   Tests.Writers.Markua
                   Tests.Writers.Muse
diff --git a/test/Tests/Writers/SILE.hs b/test/Tests/Writers/SILE.hs
new file mode 100644
index 000000000000..e85f7b291ac6
--- /dev/null
+++ b/test/Tests/Writers/SILE.hs
@@ -0,0 +1,37 @@
+{-# LANGUAGE NoImplicitPrelude #-}
+{-# LANGUAGE OverloadedStrings #-}
+module Tests.Writers.SILE (tests) where
+
+import Prelude
+import Data.Text (unpack)
+import Test.Tasty
+import Tests.Helpers
+import Text.Pandoc
+import Text.Pandoc.Arbitrary ()
+import Text.Pandoc.Builder
+
+sile :: (ToPandoc a) => a -> String
+sile = sileWithOpts def
+
+sileWithOpts :: (ToPandoc a) => WriterOptions -> a -> String
+sileWithOpts opts = unpack . purely (writeSILE opts) . toPandoc
+
+{-
+  "my test" =: X =?> Y
+
+is shorthand for
+
+  test sile "my test" $ X =?> Y
+
+which is in turn shorthand for
+
+  test sile "my test" (X,Y)
+-}
+
+infix 4 =:
+(=:) :: (ToString a, ToPandoc a)
+     => String -> (a, String) -> TestTree
+(=:) = test sile
+
+tests :: [TestTree]
+tests = []
diff --git a/test/test-pandoc.hs b/test/test-pandoc.hs
index d8c78276b3ec..cf167096d0c6 100644
--- a/test/test-pandoc.hs
+++ b/test/test-pandoc.hs
@@ -48,6 +48,7 @@ import qualified Tests.Writers.Plain
 import qualified Tests.Writers.Powerpoint
 import qualified Tests.Writers.RST
 import qualified Tests.Writers.AnnotatedTable
+import qualified Tests.Writers.SILE
 import qualified Tests.Writers.TEI
 import qualified Tests.Writers.Markua
 import qualified Tests.MediaBag
@@ -73,6 +74,7 @@ tests pandocPath = testGroup "pandoc tests"
           , testGroup "AsciiDoc" Tests.Writers.AsciiDoc.tests
           , testGroup "Docx" Tests.Writers.Docx.tests
           , testGroup "RST" Tests.Writers.RST.tests
+          , testGroup "SILE" Tests.Writers.SILE.tests
           , testGroup "TEI" Tests.Writers.TEI.tests
           , testGroup "markua" Tests.Writers.Markua.tests
           , testGroup "Muse" Tests.Writers.Muse.tests

From 37ab1bc679de3894dc8c598122251e46646a8222 Mon Sep 17 00:00:00 2001
From: Caleb Maclennan <caleb@alerque.com>
Date: Mon, 27 Jan 2020 18:18:26 +0300
Subject: [PATCH 8/9] Add some unit tests for SILE Writer

---
 test/Tests/Writers/SILE.hs | 43 +++++++++++++++++++++++++++++++++++++-
 1 file changed, 42 insertions(+), 1 deletion(-)

diff --git a/test/Tests/Writers/SILE.hs b/test/Tests/Writers/SILE.hs
index e85f7b291ac6..f68eb05af9a8 100644
--- a/test/Tests/Writers/SILE.hs
+++ b/test/Tests/Writers/SILE.hs
@@ -34,4 +34,45 @@ infix 4 =:
 (=:) = test sile
 
 tests :: [TestTree]
-tests = []
+tests = [testGroup "BlockQuote"
+          [ "simple" =: blockQuote (para "foo") =?>
+            "\\begin{BlockQuote}\nfoo\n\\end{BlockQuote}"
+          ]
+        ,testGroup "BulletList"
+          [ "simple" =: bulletList [para "foo", para "bar"] =?>
+            "\\begin{BulletList}\n\\ListItem{foo}\n\\ListItem{bar}\n\\end{BulletList}"
+          ]
+        ,testGroup "CodeBlock"
+          [ "simple" =: codeBlock "foo" =?>
+            "\\begin{CodeBlock}\nfoo\n\\end{CodeBlock}"
+          , "with id" =: codeBlockWith ("bar", ["stuff"], []) "foo" =?>
+            "\\begin[id=bar,classes=\"stuff\"]{CodeBlock}\nfoo\n\\end{CodeBlock}"
+          ]
+        , testGroup "definition lists"
+          [ "with internal link" =: definitionList [(link "#go" "" (str "testing"),
+             [plain (text "hi there")])] =?>
+            "\\begin[tight=true]{DefinitionList}\n\\term{\\pdf:link[id=go]{testing}}\n\\definition{hi there}\n\\end{DefinitionList}"
+          ]
+        , testGroup "Header"
+          [ "chapter" =: header 0 (text "foo") =?>
+            "\\Header[level=0,type=chapter]{foo}"
+          , "section" =: header 1 (text "foo") =?>
+            "\\Header[level=1,type=section]{foo}"
+          , "subsection" =: header 2 (text "foo") =?>
+            "\\Header[level=2,type=subsection]{foo}"
+          -- , "part" =: header 0 (text "foo") =?>
+          --   "\\Header[level=-1,type=part]{foo}"
+          , "unnumbered with id note" =:
+            headerWith ("foo",["unnumbered"],[]) 1
+              (text "foo" <> note (plain $ text "bar")) =?>
+            "\\Header[id=foo,classes=\"unnumbered\",level=1,type=section]{foo\\footnote{bar}}"
+          , "in list item" =: bulletList [header 2 (text "foo")] =?>
+            "\\begin{BulletList}\n\\ListItem{\\Header[level=2,type=subsection]{foo}}\n\\end{BulletList}"
+          , "in definition list item" =:
+            definitionList [(text "foo", [header 2 (text "bar"),
+                                          para $ text "baz"])] =?>
+            "\\begin{DefinitionList}\n\\term{foo}\n\\definition{\\Header[level=2,type=subsection]{bar}\n\nbaz}\n\\end{DefinitionList}"
+          , "containing image" =: header 1 (image "imgs/foo.jpg" "" (text "Alt text")) =?>
+            "\\Header[level=1,type=section]{\\img[src=imgs/foo.jpg]{Alt text}}"
+          ]
+        ]

From db6303e675389e8ccb0d3ee6235b893a339a3154 Mon Sep 17 00:00:00 2001
From: Caleb Maclennan <caleb@alerque.com>
Date: Fri, 15 Nov 2024 18:12:51 +0300
Subject: [PATCH 9/9] Configure CLI options SILE to be used as a PDF engine

---
 MANUAL.txt                                | 5 +++--
 src/Text/Pandoc/App/CommandLineOptions.hs | 1 +
 src/Text/Pandoc/PDF.hs                    | 6 ++++++
 3 files changed, 10 insertions(+), 2 deletions(-)

diff --git a/MANUAL.txt b/MANUAL.txt
index 282262f9f658..82c095ec05a6 100644
--- a/MANUAL.txt
+++ b/MANUAL.txt
@@ -1447,8 +1447,8 @@ header when requesting a document from a URL:
 :   Use the specified engine when producing PDF output.
     Valid values are `pdflatex`, `lualatex`, `xelatex`, `latexmk`,
     `tectonic`, `wkhtmltopdf`, `weasyprint`, `pagedjs-cli`,
-    `prince`, `context`, `pdfroff`, and `typst`. If the engine is not in
-    your PATH, the full path of the engine may be specified here.
+    `prince`, `context`, `pdfroff`, `sile`, and `typst`. If the engine is not
+    in your PATH, the full path of the engine may be specified here.
     If this option is not specified, pandoc uses the following
     defaults depending on the output format specified using
     `-t/--to`:
@@ -1461,6 +1461,7 @@ header when requesting a document from a URL:
         see [print-css.rocks](https://print-css.rocks) for a good
         introduction to PDF generation from HTML/CSS)
     - `-t ms`:  `pdfroff`
+    - `-t sile`: `sile`
     - `-t typst`: `typst`
 
 `--pdf-engine-opt=`*STRING*
diff --git a/src/Text/Pandoc/App/CommandLineOptions.hs b/src/Text/Pandoc/App/CommandLineOptions.hs
index 5e86b6421b54..ff4d962fed7b 100644
--- a/src/Text/Pandoc/App/CommandLineOptions.hs
+++ b/src/Text/Pandoc/App/CommandLineOptions.hs
@@ -222,6 +222,7 @@ engines = map ("html",) htmlEngines ++
           map ("latex",) latexEngines ++
           map ("beamer",) latexEngines ++
           [ ("ms", "pdfroff")
+          , ("sile", "sile")
           , ("typst", "typst")
           , ("context", "context")
           ]
diff --git a/src/Text/Pandoc/PDF.hs b/src/Text/Pandoc/PDF.hs
index 2565b24b8b0e..196d578331bf 100644
--- a/src/Text/Pandoc/PDF.hs
+++ b/src/Text/Pandoc/PDF.hs
@@ -92,6 +92,12 @@ makePDF program pdfargs writer opts doc =
       source <- writer opts doc
       verbosity <- getVerbosity
       liftIO $ toPdfViaTempFile verbosity program pdfargs mkOutArgs source
+    "sile" -> do
+      let mkOutArgs f = ["-o", f]
+      source <- writer opts doc
+      verbosity <- getVerbosity
+      liftIO $
+        toPdfViaTempFile verbosity program pdfargs mkOutArgs source
     "typst" -> do
       source <- writer opts doc
       verbosity <- getVerbosity