provide a dynamic command line parsing mechanism #5827
Original bug ID: 5827
The current Arg module can not support extending the parsing arguments dynamically.
The change is minimal.
The text was updated successfully, but these errors were encountered:
Comment author: @gasche
In general I'd say that we don't want fancy new features in Arg, and that for more flexibility an outside library should be used, such that the excellent cmdliner
That said, it's true that this change really is minimal, so it doesn't hurt much to include it. I would be in favor of taking it in.