I just fixed the assertion failure upstream at mandoc.bsd.lv, see https://inbox.vuxu.org/mandoc-source/c2aa13aac88a7...@mandoc.bsd.lv/ and http://cvsweb.bsd.lv/mandoc/ .
Supporting tbl(7) and eqn(7) in -T man has been on the http://cvsweb.bsd.lv/mandoc/TODO list for some time, but it causes a non-trivial amount of work and is not particularly high priority for the following reason: The main use case for -T man is that you can maintain the documentation of your portable software project in the mdoc(7) format and yet provide autogenerated man(7) versions of your manual pages for the very few remaining operating systems that still do not support mdoc(7). If you care about that, embedding tbl(7) or eqn(7) code in your manual pages is just a bad idea in the first place. Thanks to Nab for proposing patches, but these can't be committed as-is because they consitute a layering violation. The new code is essentially a tbl-to-tbl output mode and would belong into a new module tbl_tbl.c; it is misplaced in mdoc_man.c because it is neither related to mdoc(7) input nor to man(7) output. It appears setting that up properly wouldn't be excessively difficult, but i don't have the time to do so right now. Besides, this would be the first src_dst.c output module where src == dst, so some generic design questions might need to be considered before commit. Thanks to all of you for your input! Ingo