Description
I'm the author of rustbot on Moznet, and I'm adding an !error <code> command. I figured that if there was an easy way to get a summary of the error, I'd post the error summary and a link to the full description, but there's no machine readable (e.g., JSON or TOML) description of the error codes. As I cannot be the only person who might find such a thing useful (e.g. IDEs), I'm filing this issue requesting that such a machine readable file be made when making rustc's documentation.
{
"E0001": {
"name": "Dead Match Arm",
"summary": "An expression arm corresponding to a noted pattern will never be reached.",
"description": "This error suggests that the expression arm corresponding to the noted pattern will never be reached as for all possible values of the expression being matched, one of the preceding patterns will match.\nThis means that perhaps some of the preceding patterns are too general, this one is too specific or the ordering is incorrect."
},
"...." : {}
}A question that has to be asked is what the keys will be. Will it be "E1" or "E0001" or something else? Also, how will code examples in the description be handled, e.g. E0007?
As a side note, having a name and summary for each error would also help tremendously. Right now it's just a numeric code and a full description. I included them in the above example JSON file. Otherwise, it'd just be an object with just a description property.