Skip to content

Draft: checker: auto-fix errors

Note: this is mostly just a first draft to get some feedback.

There are some errors produced by the checker that could be automatically fixed if the user desires. For example, if there is an attempt of 0.0 but we expect an empty column, the checker could be allowed to fix this itself. The same is true of name conflicts, where a different accentation could cause errors (and plenty of them in the case of some Spanish meets).

Instead, the checker should support 3 forms of error:

  • "Fatal" errors which must be fixed manually
  • Errors which can be automatically resolved if desired
  • Warnings which could be ignored if irrelevant

This change:

  • Adds a FixableError variant and uses it in a few places
  • Adds functionality to the checker to actually fix them
  • Updates the frontend to handle the new types

Merge request reports