search for: option_validator

Mikhail Glushenkov wrote: > Hi Sanjiv, > > On Sun, Sep 6, 2009 at 8:13 PM, Mikhail > Glushenkov<the.dead.shall.rise at gmail.com> wrote: > >> Hi Sanjiv, >> >> On Sun, Sep 6, 2009 at 8:07 PM, Mikhail >> Glushenkov<the.dead.shall.rise at gmail.com> wrote: >> >>> [...] >>> >> [Sorry, the formatting was a

...ess ambiguous. > Also, it would be nice to have some "general predicates" to do some cleaning > up of the command line. > For example: if an user specifies all -O0, -O1, -O2 on the command line, one > would be able to choose only the first or last, or give an error. > > option_validator ("O0", "O1", "O2"), (choose_first) > OR > option_validator ("O0", "O1", "O2"), (choose_last) > OR > option_validator ("O0", "O1", "O2"), (error "Only one of -O0, -O1, or -O2 > are allowed)....