Takashi Suwa

Rebased the branch onto `maint` and pushed it with `--force` (because the CI workflow had failed probably due to some other cause than this pull request). The workflow seems passing...

Thank you for the review!

> Currently can't build document with png images ( supported in https://github.com/gfngfn/SATySFi/pull/329 ) and I don't know why > > Happens error > https://github.com/SnO2WMaN/SATySFi/blob/1bc985722d86c9fe5d2a52145fdc221b4d225581/src/frontend/main.ml#L623-L628 > > Occurence (maybe) > https://github.com/SnO2WMaN/SATySFi/blob/1bc985722d86c9fe5d2a52145fdc221b4d225581/src/backend/loadRawImage.ml#L11-L14...

Thank you for reporting. The reported behavior seems due to the following pattern-matching expression, which fails to take type synonyms into consideration: https://github.com/gfngfn/SATySFi/blob/master/src/frontend/typechecker.ml#L702

Good catch! And thank you for making a detailed comparison. The second workaround looks better in my opinion; the following exemplifies why `omit-skip-after` is needed: ``` @require: stdjareport let-inline ctx...

Thank you for having interest in this project. Although I have long been willing to write some book for introducing SATySFi in English, we still haven’t got around to it...

To tell the truth, I have noticed the problem for a long time… It is mainly due to the implementation of the translation of manually written types to internal types...

> Currently this is a limitation of SATySFi; a type including public constructors must be defined in the top level. Yes, it is. As said above, a simple workaround is...

Thank you so much for the enhancement! I confirmed that it indeed works as to output PDF files. A slight warning message was shown, however: ```console $ cd tests/images/ $...

Thank you for explanation. I understand. I will merge this PR. Again, thank you so much for the development!