Sphinx: nicer error reporting

Example: add this to the first block in
canonical-structures.rst:
~~~
Check nat.

Check nat nat.
~~~
Output:
~~~
reading sources... [  2%] addendum/canonical-structures

Extension error:
/home/gaetan/dev/coq/coq/doc/sphinx/addendum/canonical-structures.rst:43: Error while sending the following to coqtop:
    Check nat nat.
  coqtop output:
    Toplevel input, characters 6-13:
    > Check nat nat.
    >       ^^^^^^^
    Error: Illegal application (Non-functional construction):
    The expression "nat" of type "Set"
    cannot be applied to the term
     "nat" : "Set"

  Full error text:
    End Of File (EOF). Exception style platform.
    <pexpect.pty_spawn.spawn object at 0x7fc8c8b1bc18>
    command: /home/gaetan/dev/coq/coq/bin/coqtop
    args: [b'/home/gaetan/dev/coq/coq/bin/coqtop', b'-boot', b'-color', b'on']
    buffer (last 100 chars): ''
    before (last 100 chars): 'xpression "nat" of type "\x1b[33;1mSet\x1b[0m"\r\ncannot be applied to the term\r\n "nat" : "\x1b[33;1mSet\x1b[0m"\r\n'
    after: <class 'pexpect.exceptions.EOF'>
    match: None
    match_index: None
    exitstatus: None
    flag_eof: True
    pid: 11150
    child_fd: 5
    closed: False
    timeout: 30
    delimiter: <class 'pexpect.exceptions.EOF'>
    logfile: None
    logfile_read: None
    logfile_send: None
    maxread: 2000
    ignorecase: False
    searchwindowsize: None
    delaybeforesend: 0
    delayafterclose: 0.1
    delayafterterminate: 0.1
    searcher: searcher_re:
        0: re.compile('\r\n[^< ]+ < ')
make[1]: *** [Makefile.doc:65: refman-html] Error 2
~~~

Co-authored-by: Clément Pit-Claudel <clement.pitclaudel@live.com>

0 files changed, 0 insertions, 0 deletions