fcda5109

Created Started Finished

By: Tom Sydney Kerckhove <syd@cs-syd.eu>

Parse arguments with opt-env-conf, and cut the comments back

Three subcommands rather than a hand-rolled getArgs: `check`, `split` and
`list-problems`, with the help text and the version flag that come with them.
app/ is one `main` calling RouterOS.Check.Run, since nothing in app/ can be
imported or tested.

`filePathSetting` resolves what it is given, so a report would have named the
absolute path where the reader had typed a relative one. It names the path back
the way it was written.

And the comments were roughly twice the code in places, mostly saying twice
what the commit messages already said once. Check.hs 108 lines of comment down
to 50, deploy-for.nix 46 to 14, Validation.hs 26 to 11, and so on throughout.
What is left is the things that are not visible from the code: why Validation
is not a Monad, why the marker in the vm test counts up, why the indent is
measured with the same notion of space the body is stripped with.