I'm using pandoc (not the executable on the command line but the haskell library), and I'm generating HTML output. I cannot make the table of contents appear in the output. Roughly, I have this:

... writeHtml (def {writerTOCDepth = 4, writerTableOfContents = True} m) where m = [ Header 1 ("myIdentifier",[],[]) [Str "Vulnerabilities"] , Div nullAttr otherStuff ]

I feel like this alone should be sufficient to get HTML output with a simple table of contents (one that has only a link to the Vulnerabilities section). If anyone sees what I've missed, I would appreciate the help.

EDIT