Skip to content
  • Iustin Pop's avatar
    Unify the command line options and structures · 0427285d
    Iustin Pop authored
    This patch moves all the command line options and their internal
    representation into CLI.hs. This means that duplicated options between
    any two binaries are no longer declared twice, and that we no longer
    need the two *Option classes.
    0427285d