Here’s a question for folks. Currently Tectonic has three gradations of user communictions:
I’d say that these are pretty standard. But I’ve been a bit tempted to add a fourth one, making it:
- Severe (?)
The “severe” category would be for problems that are very worrisome, but we can keep on processing. Errors would be for showstoppers.
This actually maps more closely to the gradations used by the underlying TeX engine — except what I would tentatively call “severe”, TeX calls “errors”, and what I call “errors” TeX calls “fatals”.
Does this seem like overkill? Any thoughts about the terminology? I’m a little dissatisfied because “severe” is an adjective not a noun, but I think in practice the user experience would be pretty fine.