Re: [darcs-devel] Logging

2006-09-11 Thread Jason Dagit
On 9/11/06, Eric Y. Kow <[EMAIL PROTECTED]> wrote: On Mon, Sep 11, 2006 at 14:17:30 -0700, Jason Dagit wrote: > Although I hadn't mentioned it yet, I was actually hoping that at some > point in the distance future we may extend the IO monad to carry > around some extra details and at that time lo

Re: [darcs-devel] Logging

2006-09-11 Thread Eric Y. Kow
On Mon, Sep 11, 2006 at 14:17:30 -0700, Jason Dagit wrote: > Although I hadn't mentioned it yet, I was actually hoping that at some > point in the distance future we may extend the IO monad to carry > around some extra details and at that time logStr could be updated to > read the opts from an envi

Re: [darcs-devel] Logging

2006-09-11 Thread Jason Dagit
On 9/11/06, Eric Y. Kow <[EMAIL PROTECTED]> wrote: > >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

Re: [darcs-devel] Logging

2006-09-11 Thread Eric Y. Kow
> >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 suc

Re: [darcs-devel] Logging

2006-09-11 Thread Jason Dagit
On 9/11/06, David Roundy <[EMAIL PROTECTED]> wrote: On Sun, Sep 10, 2006 at 04:12:28PM -0700, Jason Dagit wrote: > Hello, > > I was working on the darcs source today and I realized that in a lot > of ways the current logging output is poor. Mostly we don't have > enough of it. > > Here are some

Re: [darcs-devel] Logging

2006-09-11 Thread David Roundy
On Sun, Sep 10, 2006 at 04:12:28PM -0700, Jason Dagit wrote: > Hello, > > I was working on the darcs source today and I realized that in a lot > of ways the current logging output is poor. Mostly we don't have > enough of it. > > Here are some changes I started making: > > 1) In DarcsFlags chan

Re: [darcs-devel] Logging

2006-09-11 Thread Jason Dagit
On 9/11/06, Juliusz Chroboczek <[EMAIL PROTECTED]> wrote: > What do people think? What actual problem are you trying to solve? To quote myself: I was working on the darcs source today and I realized that in a lot of ways the current logging output is poor. Mostly we don't have enough of it.

Re: [darcs-devel] Logging

2006-09-11 Thread Juliusz Chroboczek
> What do people think? What actual problem are you trying to solve? Juliusz ___ darcs-devel mailing list darcs-devel@darcs.net http://www.abridgegame.org/cgi-bin/mailman/listinfo/darcs-devel

[darcs-devel] Logging

2006-09-10 Thread Jason Dagit
Hello, I was working on the darcs source today and I realized that in a lot of ways the current logging output is poor. Mostly we don't have enough of it. Here are some changes I started making: 1) In DarcsFlags change Verbose | Quiet to Verbose Int. The understanding would be that Verbose 0