Use dev pandoc-types.

This fixes a regression with toJSONFilter, which in 1.23.0.1 no longer worked on pure values of type `a -> [a]`. Closes #8976.
jgm · Aug 5, 2023 · 9c1147f · 9c1147f
1 parent 0873895
commit 9c1147f
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 2 deletions.
diff --git a/cabal.project b/cabal.project
@@ -6,3 +6,8 @@ tests: True
 flags: +embed_data_files
 constraints: skylighting-format-blaze-html >= 0.1.1,
              skylighting-format-context >= 0.1.0.2
+
+source-repository-package
+  type: git
+  location: https://github.com/jgm/pandoc-types
+  tag: 6f2a868a83642d24a76f998e7b720a53a88868f5
diff --git a/stack.yaml b/stack.yaml
@@ -22,13 +22,13 @@ extra-deps:
 - commonmark-0.2.3
 - typst-symbols-0.1.2
 - toml-parser-1.2.1.0
-- pandoc-types-1.23.0.1
 - xml-conduit-1.9.1.3
 - commonmark-extensions-0.2.3.5
 - typst-0.3.1.0
 - skylighting-core-0.13.4.1
 - skylighting-0.13.4.1
-
+- git: https://github.com/jgm/pandoc-types
+  commit: 6f2a868a83642d24a76f998e7b720a53a88868f5
 ghc-options:
    "$locals": -fhide-source-paths -Wno-missing-home-modules
 resolver: lts-21.0