> >I'd rather avoid putting an Int into verbose, as in my experience this > >makes it hard to keep consistent levels of verbosity than otherwise. > >I'd go with something more like
I have no opinion on whether having multiple levels of verbosity is a good thing or not. If we were to implement such a thing, though, I wonder if having as many instances of Verbose for the degree of verbosity we want would be a sane and workable solution. Then we can still say stuff like when (Verbose `elem` opts) $ blah blah And use something like this for more degrees of verbosity verbosity :: [DarcsFlag] -> Int verbosity = length . filter (== Verbose) But this might be bad for other reasons. -- Eric Kow http://www.loria.fr/~kow PGP Key ID: 08AC04F9 Merci de corriger mon français.
pgpfdajVKfn7O.pgp
Description: PGP signature
_______________________________________________ darcs-devel mailing list [email protected] http://www.abridgegame.org/cgi-bin/mailman/listinfo/darcs-devel
