I am sending this patch prematurely to give you an impression of the kind of
re-factorings I have in mind. The conversion of the old D.UI.Arguments (see
D.UI.Options.All) is not yet complete, but I think I have covered most of
the hard cases, the rest is just menial work.

The documentation is a bit more extensive than usual, particularly for the
Core module which contains a lot more comments than code. I hope my prose is
understandable to non-mathematicians ;-) It's all in haddock format, BTW.

You can safely apply this patch to your working darcs repo, the new modules
are not used anywhere yet and I checked that all the tests succeed.

The big piece that is still missing is a new conception I have for the
Commands subsystem (D.UI.{Commands,RunCommand}). Among other changes, this
will (of course) make use of the new options design, but I have some other
ideas that will make it simpler and less ad-hoc and (hopefully) easier to
understand. I think I'll send another small prototype module to the list as
I did before, to explain these ideas.

1 patch for repository http://darcs.net/screened:

Thu May 22 03:32:48 CEST 2014  benjamin.franksen@helmholtz-berlin.de
  * added the re-designed options system, not yet used anywhere

Attachments

• added-the-re_designed-options-system_-not-yet-used-anywhere.dpatch
• patch-preview.txt
• unnamed