ToDo.md

   1 - [ ] Error messages also based upon: [A Parsing Machine for Parsing Expression Grammars with Labeled Failures](https://dl.acm.org/doi/10.1145/2851613.2851750)
   2
   3 - [ ] Golden tests using more complex grammars.
   4
   5 - [ ] Concerning the unusual `pure :: H.Term pure a -> repr a`,
   6   it may be acceptable to use `H.Term` only internally.
   7
   8 - [ ] Move the `Symantic.Univariant.*` modules into a separate package, maybe `symantic-base`.
   9
  10 - [ ] Golden tests for TH splices as in `singleton`.
  11       Note that the custom `Setup.hs` to get `ghcFlags` requires `cabal-install-3.4` which does not compile in Nixpkgs yet.
  12
  13 - [ ] Support parsing tree inputs (eg. RelaxNG in `symantic-xml` or HTTP routing in `symantic-http-server`).
  14
  15 - [ ] Consider introducing registers like in ParsleyHaskell.
  16       The custom `Setup.hs` requires `cabal-install-3.4`
  17       which does not compile in Nixpkgs yet.
  18
  19 - [ ] Study if the generated parser can easily and without much costs be made reentrant like `attoparsec`.
  20       In which case it could maybe replace `attoparsec` in `pipes`.