tests/errors.rst:20: (WARNING/2) Inline emphasis start-string without end-string.
tests/errors.rst:29: (ERROR/3) In :coqid:`A`: 'A' is not a fully-qualified name.
tests/errors.rst:32: (ERROR/3) In :coqid:`Lib.A`: Not sure where to find documentation for Lib.A.
   Make sure that ‘Lib.A’ is fully qualified and that Alectryon knows where to find it.
   Known prefixes: ['Coq']
   (Add prefixes to alectryon.docutils.COQ_IDENT_DB_URLS or derive a new role from ‘coqid’ with a custom :url:).
tests/errors.rst:38: (ERROR/3) In :mref:`...`: Cannot parse marker-placement expression ``...``.
tests/errors.rst:39: (ERROR/3) In :mref:`.io`: Missing search pattern for key ``.io`` in expression ``.io``. (maybe an invalid pattern?)
tests/errors.rst:40: (ERROR/3) In :mref:`.abc`: Cannot parse marker-placement expression ``.abc``.
tests/errors.rst:41: (ERROR/3) In :mref:`.s()`: Cannot parse marker-placement expression ``.s()``.
tests/errors.rst:42: (ERROR/3) In :mref:`.s.g`: Missing search pattern for key ``.s`` in expression ``.s.g``. (maybe an invalid pattern?)
tests/errors.rst:43: (ERROR/3) In :mref:`.io{*}.g`: Unsupported search pattern {*} for key ``.io`` in expression ``.io{*}.g``.
tests/errors.rst:44: (ERROR/3) In :mref:`.s[a-z]`: Missing search pattern for key ``.s`` in expression ``.s[a-z]``. (maybe an invalid pattern?)
tests/errors.rst:45: (ERROR/3) In :mref:`.s(abc)[a-z]`: Cannot parse marker-placement expression ``[a-z]``.
tests/errors.rst:46: (ERROR/3) Error in "massert" directive:
   Cannot parse marker-placement expression ``<.s(Goal)>``.

   .. massert:: <.s(Goal)>
tests/errors.rst:49: (ERROR/3) In :mref:`.s(Goal).g#0.name`: ``.name`` is not supported in ``:mref:`` queries.
tests/errors.rst:52: (ERROR/3) In :mref:`.g#0.in`: Missing .s(…) sentence component in path.
tests/errors.rst:55: (ERROR/3) In :mref:`.s(Goal).in.ccl`: Incompatible components in path ``.s(Goal).in.ccl``: not sure what to do with ``in``.
tests/errors.rst:58: (ERROR/3) In :mquote:`.s(Goal)`: Cannot quote a full sentence (``.s``) inline.
tests/errors.rst:59: (ERROR/3) In :mquote:`.s(Goal).g#1`: Cannot quote a full goal (``.g``) inline.
tests/errors.rst:60: (ERROR/3) Error in "mquote" directive:
   Cannot quote a full sentence (``.s``) inline.

   .. mquote:: .s(Goal)
tests/errors.rst:61: (ERROR/3) Error in "mquote" directive:
   Cannot quote a full goal (``.g``) inline.

   .. mquote:: .s(Goal).g#1
tests/errors.rst:64: (ERROR/3) In :mquote:`test <.s(Goal)>`: Title syntax (``… <…>``) not supported with ``:mquote:``.
tests/errors.rst:65: (ERROR/3) Error in "mquote" directive:
   Title syntax (``… <…>``) not supported with ``:mquote:``.

   .. mquote:: test <.s(Goal)>
tests/errors.rst:66: (ERROR/3) Error in "massert" directive:
   Title syntax (``… <…>``) not supported with ``:massert:``.

   .. massert::

      test <.s(Goal)>
tests/errors.rst:71: (ERROR/3) Error in "role" directive:
   invalid option value: (option: "prefix"; value: None)
   argument required but none supplied.

   .. role:: mq2(mquote)
      :prefix:
tests/errors.rst:73: (ERROR/3) Error in "role" directive:
   invalid option value: (option: "prefix"; value: '.s.i')
   Missing search pattern for key ``.s`` in expression ``.s.i``. (maybe an invalid pattern?).

   .. role:: mq2(mquote)
      :prefix: .s.i
tests/errors.rst:109: (ERROR/3) Error in "coq" directive:
   Unknown flag `unknown`.

   .. coq:: unknown

      Check nat.
tests/errors.rst:114: (ERROR/3) Error in "coq" directive:
   Unrecognized directive flags: .xyz

   .. coq:: unfold out .xyz

      Check nat.
tests/errors.rst:119: (ERROR/3) Error in "coq" directive:
   Missing search pattern for key ``.s`` in expression ``.s.g``. (maybe an invalid pattern?)

   .. coq:: .s.g

      Check nat.
tests/errors.rst:5: (WARNING/2) In `:alectryon/pygments/tacn:`: Missing language name (did you mean `:alectryon/pygments/coq/tacn:`?).
tests/errors.rst:6: (ERROR/3) In `:alectryon/pygments/coq/xyz:`: Unknown token kind: xyz
tests/errors.rst:149:39-41: (ERROR/3) Syntax error: '.' expected after [syntax_command] (in [vernac_aux]).
   The offending range is delimited by >>>…<<< below:
     > Abort. (* .msg{*} *)
     > Check nat. (* .fold *)
     > Notation "'🆄🄽🅘ⓒ⒪𝖉∈' α ⊕ ⤋ β" := α >>>++<<< β. (* Bytes vs. str *)
     > Check 1 + true.
     > Definition a
tests/errors.rst:154:15-19: (ERROR/3) The term "true" has type "bool"
   while it is expected to have type "nat".
   The offending range is delimited by >>>…<<< below:
     > Check nat. (* .fold *)
     > Notation "'🆄🄽🅘ⓒ⒪𝖉∈' α ⊕ ⤋ β" := α ++ β. (* Bytes vs. str *)
     > Check 1 + >>>true<<<.
     > Definition a
     >   : true := 1. (* Next line *)
tests/errors.rst:159:7-11: (ERROR/3) The term "true" has type "bool"
   which should be Set, Prop or Type.
   The offending range is delimited by >>>…<<< below:
     > Check 1 + true.
     > Definition a
     >   : >>>true<<< := 1. (* Next line *)
tests/errors.rst:83: (WARNING/2) Long line (107 characters)
     exact I. (* A very long line *) (* whose contents are split *) (* across *) (* multiple *) (* comments *)
tests/errors.rst:124: (ERROR/3) In `.. coq::`:
   Missing search pattern for key ``.io`` in expression ``.io.s``. (maybe an invalid pattern?)
   Unknown flag `xyz`.
tests/errors.rst:130: (ERROR/3) In `.. coq::`:
   ``.io`` not supported in visibility annotations
   ``name`` not supported in visibility annotations.
   ``body`` not supported in visibility annotations.
   No match found for `.g#1` in `Check nat.`
   No match found for `.msg{*}` in `Abort.`
tests/errors.rst:77: (ERROR/3) In :mref:`.s(Goal True)`: Not sure which code block this refers to; add ``.io#…`` to disambiguate.
tests/errors.rst:87: (ERROR/3) In :mref:`.io#nope.s(123)`: Reference to unknown .io block nope.
tests/errors.rst:88: (ERROR/3) In :mref:`.s(Goal).g#25`: No goal matches '25'.
tests/errors.rst:89: (ERROR/3) In :mref:`.s(pose proof).h#n.body`: Target is null
tests/errors.rst:94: (ERROR/3) In assertion `.g{*not found*}`: No goal matches '*not found*'.
tests/errors.rst:96: (ERROR/3) In assertion `.msg`: No message matches ''.
exit: 13
