[darcs-devel] darcs patch: Refactor y/n prompts. (and 8 more)

2008-01-17 Thread Eric Kow
[Resending due to silly mailserver stuff. Sorry for any noise] Dusting off some old patches. Might not actually be ready for public consumption. Fri Oct 19 22:33:07 BST 2007 Eric Kow <[EMAIL PROTECTED]> * Refactor y/n prompts. Mon Nov 5 01:55:25 GMT 2007 Eric Kow <[EMAIL PROTECTED]> * C

[darcs-devel] new bugs.darcs.net home page

2008-01-17 Thread Mark Stosberg
I have now updated the homepage of http://bugs.darcs.net to be more useful. It now runs a more useful query for the bugs to display by default, eliminating bugs that are in any state of being resolved, "wont-fix", etc. This should make it easier to find bugs that actually need attention. Also, t

[darcs-devel] darcs patch: Issue395: avoid single letter patch name... (and 2 more)

2008-01-17 Thread Mark Stosberg
Thu Jan 17 21:06:34 EST 2008 Mark Stosberg <[EMAIL PROTECTED]> * Issue395: avoid single letter patch names in the test suite. Thu Jan 17 22:02:41 EST 2008 Mark Stosberg <[EMAIL PROTECTED]> * use --ignore-time in tests instead of "sleep", for faster, more reliable results Thu Jan 17 22:16

Re: [darcs-devel] [Revctrl] DARCS correctness question

2008-01-17 Thread Stephen J. Turnbull
William Uther writes: > > Why would you expect that? Merger markup expresses a superposition > > (hello, physicists!) of two texts; there's always a choice of order > > when serializing. > > Well, in OT theory a large effort is made to make sure that the same > serialization is made in all

Re: [darcs-devel] [Revctrl] DARCS correctness question

2008-01-17 Thread William Uther
On 18/01/2008, at 8:57 AM, David Roundy wrote: > > On Fri, Jan 18, 2008 at 08:39:43AM +1100, William Uther wrote: >> On 17/01/2008, at 11:45 PM, Ian Lynagh wrote: >>> On Thu, Jan 17, 2008 at 01:57:23PM +1100, William Uther wrote: If I have two Darcs workspaces, each of which have the same se

Re: [darcs-devel] [Revctrl] DARCS correctness question

2008-01-17 Thread William Uther
On 18/01/2008, at 10:09 AM, Stephen J. Turnbull wrote: > > William Uther writes: > >> In OT theory, a set of patches that are all transformed to apply >> should >> result in _identical_ output, regardless of order. If the output >> really >> is identical, then shouldn't the conflicts be mark

Re: [darcs-devel] darcs patch: Add --dont-allow-conflicts to darcs pull.

2008-01-17 Thread Ben Franksen
Wagner Ferenc wrote: > "Nicolas Pouillard" <[EMAIL PROTECTED]> writes: >> Excerpts from Nicolas Pouillard's message of Wed Jan 16 11:23:52 +0100 >> 2008: >>> Excerpts from Tommy Pettersson's message of Wed Jan 16 11:22:00 +0100 >>> 2008: On Wed, Jan 16, 2008 at 02:52:45AM +, Nicolas Pouill

Re: [darcs-devel] a measurement of using 7z instead of gz to compress patches

2008-01-17 Thread John Meacham
On Thu, Jan 17, 2008 at 10:02:40AM +0900, Stephen J. Turnbull wrote: > zooko writes: > > > In short, it probably isn't worth it, unless the new repository > > formats (which I haven't looked at) tend to bundle more patches > > together into one file for the compression tool to find redundan

Re: [darcs-devel] [Revctrl] DARCS correctness question

2008-01-17 Thread Stephen J. Turnbull
William Uther writes: > In OT theory, a set of patches that are all transformed to apply should > result in _identical_ output, regardless of order. If the output really > is identical, then shouldn't the conflicts be marked up in the same way? Why would you expect that? Merger markup expres

Re: [darcs-devel] darcs patch: Add --{allow, dont-allow, mark}-conflicts to darcs pull.

2008-01-17 Thread Stephen J. Turnbull
Tommy Pettersson writes: > So it should be --external-mergeror then? Just kidding! ;-) --external-merge-tool, I think. Too long, IMHO. ___ darcs-devel mailing list darcs-devel@darcs.net http://lists.osuosl.org/mailman/listinfo/darcs-devel

[darcs-devel] Roundup bug tracker at bugs.darcs.net switched to PostgreSQL backend

2008-01-17 Thread Stephen J. Turnbull
Mark Stosberg writes: > > Last night I switched the bug tracking system from using the slow > "anydbms" backend to a faster PostreSQL backend. > > This morning I noticed some e-mail communications to the bug tracker > were appearing in duplicate (but not others): Did you check whether th

Re: [darcs-devel] [Revctrl] DARCS correctness question

2008-01-17 Thread David Roundy
On Fri, Jan 18, 2008 at 08:39:43AM +1100, William Uther wrote: > On 17/01/2008, at 11:45 PM, Ian Lynagh wrote: > > On Thu, Jan 17, 2008 at 01:57:23PM +1100, William Uther wrote: > >> If I have two Darcs workspaces, each of which have the same set of > >> patches, but in different orders, should the

Re: [darcs-devel] [Revctrl] DARCS correctness question

2008-01-17 Thread William Uther
On 17/01/2008, at 11:45 PM, Ian Lynagh wrote: > On Thu, Jan 17, 2008 at 01:57:23PM +1100, William Uther wrote: >> >> If I have two Darcs workspaces, each of which have the same set of >> patches, but in different orders, should these workspaces be >> identical (even in the presence of conflicts)?

Re: [darcs-devel] darcs patch: Add test for issue194. (and 1 more)

2008-01-17 Thread David Roundy
On Thu, Jan 17, 2008 at 08:58:02PM +, [EMAIL PROTECTED] wrote: > Some tests from the bug tracker (thanks to their respective > reporters). Not neccessarily sanity-checked. > > Thu Jan 17 20:41:47 GMT 2008 Eric Kow <[EMAIL PROTECTED]> > * Add test for issue194. > Prior to darcs2, this tri

[darcs-devel] darcs patch: Add test for issue194. (and 1 more)

2008-01-17 Thread E . Y . Kow
Some tests from the bug tracker (thanks to their respective reporters). Not neccessarily sanity-checked. Thu Jan 17 20:41:47 GMT 2008 Eric Kow <[EMAIL PROTECTED]> * Add test for issue194. Prior to darcs2, this triggered a bug in function reconcile_unwindings. Thu Jan 17 20:57:05 GMT 2008 E

Re: [darcs-devel] darcs patch: Actually run perl tests. (and 1 more)

2008-01-17 Thread David Roundy
On Thu, Jan 17, 2008 at 08:14:54PM +, [EMAIL PROTECTED] wrote: > Not sure this is the right place to put the 'Checking for conflicts' message > though. > > Thu Jan 17 20:01:49 GMT 2008 Eric Kow <[EMAIL PROTECTED]> > * Actually run perl tests. > Fix my harness refactor. > > Thu Jan 17 20:

[darcs-devel] darcs patch: Actually run perl tests. (and 1 more)

2008-01-17 Thread E . Y . Kow
Not sure this is the right place to put the 'Checking for conflicts' message though. Thu Jan 17 20:01:49 GMT 2008 Eric Kow <[EMAIL PROTECTED]> * Actually run perl tests. Fix my harness refactor. Thu Jan 17 20:12:08 GMT 2008 Eric Kow <[EMAIL PROTECTED]> * Tell user when we are checking for

[darcs-devel] [issue593] test bug

2008-01-17 Thread David Roundy
New submission from David Roundy <[EMAIL PROTECTED]>: I'm sending this test bug to see if the bug tracker still works. -- David Roundy Department of Physics Oregon State University -- messages: 2548 nosy: beschmi, droundy, kowey, tommy status: unread title: test bug ___

[darcs-devel] darcs patch: Refactor test/bug harness calls in Makef... (and 2 more)

2008-01-17 Thread E . Y . Kow
There's a definite drawback to this makefile refactor, in that now we're really fragile/sensitive to whitespace and other annoying things. Then again, fixing the makefile is a little bit easier. Thu Jan 17 17:17:06 GMT 2008 Eric Kow <[EMAIL PROTECTED]> * Refactor test/bug harness calls in Make

Re: [darcs-devel] darcs patch: Add --{allow, dont-allow, mark}-conflicts to darcs pull.

2008-01-17 Thread Tommy Pettersson
On Thu, Jan 17, 2008 at 11:39:36AM -0500, David Roundy wrote: > On Thu, Jan 17, 2008 at 05:36:41PM +0100, Tommy Pettersson wrote: > > But I'm not a native English speaker, so my preferences may be > > very wrong :-) > > merger does not mean "something that > merges" as eater would mean "something

[darcs-devel] [issue589] buggy error message: Impossible case in darcs PatchRead.lhs or Patch/Read.lhs

2008-01-17 Thread David Roundy
On Thu, Jan 17, 2008 at 04:57:52PM +, Michael Abbott wrote: > >Michael, could this download be passing through a proxy that might > >modify the files? > > > >Could you diff the contents of your _darcs/patches directory agains that > >of the attached yi.tar.bz2? > > Absolute, and this was def

Re: [darcs-devel] [issue589] Impossible case in darcs PatchRead.lhs or Patch/Read.lhs

2008-01-17 Thread Michael Abbott
> Michael, could this download be passing through a proxy that might > modify the files? > > Could you diff the contents of your _darcs/patches directory agains that of > the > attached yi.tar.bz2? Absolute, and this was definitely the trigger. It took me a while to figure it out (there are so

Re: [darcs-devel] darcs patch: Add --{allow, dont-allow, mark}-conflicts to darcs pull.

2008-01-17 Thread David Roundy
On Thu, Jan 17, 2008 at 05:36:41PM +0100, Tommy Pettersson wrote: > On Thu, Jan 17, 2008 at 11:10:43AM -0500, David Roundy wrote: > > On Jan 17, 2008 9:59 AM, Tommy Pettersson <[EMAIL PROTECTED]> wrote: > > > Yes, me too. And perhaps it should be renamed to > > > --external-merger to reflect it doe

Re: [darcs-devel] darcs patch: Add --{allow, dont-allow, mark}-conflicts to darcs pull.

2008-01-17 Thread Tommy Pettersson
On Thu, Jan 17, 2008 at 11:10:43AM -0500, David Roundy wrote: > On Jan 17, 2008 9:59 AM, Tommy Pettersson <[EMAIL PROTECTED]> wrote: > > Yes, me too. And perhaps it should be renamed to > > --external-merger to reflect it does no longer perform a merge, > > but only selects the merger to use. > >

Re: [darcs-devel] darcs patch: Added test for issue381. (and 1 more)

2008-01-17 Thread David Roundy
On Thu, Jan 17, 2008 at 04:27:00PM +, [EMAIL PROTECTED] wrote: > Note: I had to edit the context of Marnix's patch to make it apply cleanly, > which is probably a bad thing to do in the general case. But I'm guessing > that > send.sh hasn't changed between then and now. > > Tue Jan 9 21:08:

Re: [darcs-devel] darcs patch: Added test for issue381. (and 1 more)

2008-01-17 Thread Eric Kow
On 17/01/2008, [EMAIL PROTECTED] <[EMAIL PROTECTED]> wrote: > Note: I had to edit the context of Marnix's patch to make it apply cleanly, Argh, what bad writing. What I meant was that just trying to apply the patch would take far longer than I was willing to wait while darcs did its commutations.

[darcs-devel] darcs patch: Added test for issue381. (and 1 more)

2008-01-17 Thread E . Y . Kow
Note: I had to edit the context of Marnix's patch to make it apply cleanly, which is probably a bad thing to do in the general case. But I'm guessing that send.sh hasn't changed between then and now. Tue Jan 9 21:08:35 GMT 2007 Marnix Klooster <[EMAIL PROTECTED]> * Added test for issue381. T

Re: [darcs-devel] darcs patch: Add --{allow, dont-allow, mark}-conflicts to darcs pull.

2008-01-17 Thread David Roundy
On Jan 17, 2008 9:59 AM, Tommy Pettersson <[EMAIL PROTECTED]> wrote: > On Thu, Jan 17, 2008 at 03:19:43PM +0100, Nicolas Pouillard wrote: > > So I vote for having --external-merge out the multi-choice group for > > both > > pull and apply. Sounds good. > Yes, me too. And perhaps it should b

Re: [darcs-devel] darcs patch: Check that using 'record --look-for-add --all' left an...

2008-01-17 Thread Nicolas Pouillard
Excerpts from David Roundy's message of Thu Jan 17 16:55:15 +0100 2008: > On Thu, Jan 17, 2008 at 11:55:02AM +, Nicolas Pouillard wrote: > > Thu Jan 17 12:51:59 CET 2008 [EMAIL PROTECTED] > > * Check that using 'record --look-for-add --all' left an empty pending > > patch. > > Thanks for t

Re: [darcs-devel] darcs patch: Check that using 'record --look-for-add --all' left an...

2008-01-17 Thread David Roundy
On Thu, Jan 17, 2008 at 11:55:02AM +, Nicolas Pouillard wrote: > Thu Jan 17 12:51:59 CET 2008 [EMAIL PROTECTED] > * Check that using 'record --look-for-add --all' left an empty pending > patch. Thanks for the patch! I'm working right now to get it into the bugs/ directory, as I'm not quite

Re: [darcs-devel] darcs patch: Move rollback to another section of TheCommands.

2008-01-17 Thread David Roundy
On Thu, Jan 17, 2008 at 04:48:57PM +0100, Nicolas Pouillard wrote: > Excerpts from David Roundy's message of Thu Jan 17 16:36:16 +0100 2008: > > On Thu, Jan 17, 2008 at 12:56:42PM +, Nicolas Pouillard wrote: > > > Thu Jan 17 13:53:40 CET 2008 [EMAIL PROTECTED] > > > * Move rollback to anothe

Re: [darcs-devel] Roundup bug tracker at bugs.darcs.net switched to PostgreSQL backend

2008-01-17 Thread David Roundy
On Thu, Jan 17, 2008 at 08:45:16AM -0500, Mark Stosberg wrote: > > Last night I switched the bug tracking system from using the slow > "anydbms" backend to a faster PostreSQL backend. Thanks, Mark! It's already *much* snappier, which will make it considerably easier to deal with. :) > This mor

Re: [darcs-devel] darcs patch: Move rollback to another section of TheCommands.

2008-01-17 Thread Nicolas Pouillard
Excerpts from David Roundy's message of Thu Jan 17 16:36:16 +0100 2008: > On Thu, Jan 17, 2008 at 12:56:42PM +, Nicolas Pouillard wrote: > > Thu Jan 17 13:53:40 CET 2008 [EMAIL PROTECTED] > > * Move rollback to another section of TheCommands. > > Content-Description: A darcs patch for your

Re: [darcs-devel] darcs patch: Move rollback to another section of TheCommands.

2008-01-17 Thread David Roundy
On Thu, Jan 17, 2008 at 12:56:42PM +, Nicolas Pouillard wrote: > Thu Jan 17 13:53:40 CET 2008 [EMAIL PROTECTED] > * Move rollback to another section of TheCommands. Content-Description: A darcs patch for your repository! > > New patches: > > [Move rollback to another section of TheCommand

Re: [darcs-devel] libwww bug

2008-01-17 Thread David Roundy
On Thu, Jan 17, 2008 at 04:07:26PM +0300, Dmitry Kurochkin wrote: > 2008/1/17, David Roundy <[EMAIL PROTECTED]>: > > What changes did you have to make for curl pipelining? These are changes in > > libcurl itself? > > Yes, these are changes for "better" (current pipelining option is > pretty useles

Re: [darcs-devel] darcs patch: Add --{allow, dont-allow, mark}-conflicts to darcs pull.

2008-01-17 Thread Tommy Pettersson
On Thu, Jan 17, 2008 at 03:19:43PM +0100, Nicolas Pouillard wrote: > Hum, what is the external-merge*r* thing you talk about, I only know about > external-merge. I wrongly assumed the option was really called --external-merger, because of the way I interpreted it. > So I vote for having

Re: [darcs-devel] darcs patch: Add --{allow, dont-allow, mark}-conflicts to darcs pull.

2008-01-17 Thread Nicolas Pouillard
Excerpts from Tommy Pettersson's message of Thu Jan 17 12:18:19 +0100 2008: > On Thu, Jan 17, 2008 at 09:26:46AM +0100, Nicolas Pouillard wrote: > > Excerpts from Tommy Pettersson's message of Wed Jan 16 21:18:15 +0100 2008: > > > On Wed, Jan 16, 2008 at 07:36:30PM +, Nicolas Pouillard wrote: >

[darcs-devel] Roundup bug tracker at bugs.darcs.net switched to PostgreSQL backend

2008-01-17 Thread Mark Stosberg
Last night I switched the bug tracking system from using the slow "anydbms" backend to a faster PostreSQL backend. This morning I noticed some e-mail communications to the bug tracker were appearing in duplicate (but not others): http://bugs.darcs.net/issue590 http://bugs.darcs.net/issue58

Re: [darcs-devel] libwww bug

2008-01-17 Thread Dmitry Kurochkin
2008/1/17, David Roundy <[EMAIL PROTECTED]>: > On Thu, Jan 17, 2008 at 03:29:22PM +0300, Dmitry Kurochkin wrote: > > Hi David. > > > > I have found time to work on darcs at last. Here is fix for failure > > with xmonad repository. > > The problem was that server sent "Content-Encoding: x-gzip" head

Re: [darcs-devel] libwww bug

2008-01-17 Thread David Roundy
On Thu, Jan 17, 2008 at 03:29:22PM +0300, Dmitry Kurochkin wrote: > Hi David. > > I have found time to work on darcs at last. Here is fix for failure > with xmonad repository. > The problem was that server sent "Content-Encoding: x-gzip" header. > libwww did not know how to handle it and just disc

[darcs-devel] darcs patch: Move rollback to another section of TheCommands.

2008-01-17 Thread Nicolas Pouillard
Thu Jan 17 13:53:40 CET 2008 [EMAIL PROTECTED] * Move rollback to another section of TheCommands. New patches: [Move rollback to another section of TheCommands. [EMAIL PROTECTED] { hunk ./src/Darcs/TheCommands.lhs 71 Group_name "Direct modification of the repository:",

Re: [darcs-devel] [Revctrl] DARCS correctness question

2008-01-17 Thread Ian Lynagh
On Thu, Jan 17, 2008 at 01:57:23PM +1100, William Uther wrote: > > If I have two Darcs workspaces, each of which have the same set of > patches, but in different orders, should these workspaces be > identical (even in the presence of conflicts)? The pristine trees should be, but the way the c

[darcs-devel] Impossible case in darcs PatchRead.lhs or Patch/Read.lhs

2008-01-17 Thread Michael Abbott
I sent the mail below to [EMAIL PROTECTED], but I can't see any trace of it anywhere, so maybe it got lost. I can follow up, though, with something useful: it appears that the patch in question got silently eaten by our goddamned web filter (and converted into a message about "inappropriate" ma

Re: [darcs-devel] libwww bug

2008-01-17 Thread Dmitry Kurochkin
Hi David. I have found time to work on darcs at last. Here is fix for failure with xmonad repository. The problem was that server sent "Content-Encoding: x-gzip" header. libwww did not know how to handle it and just discarded all content. There is also another small fix for copyUrl. I have more

[darcs-devel] darcs patch: Check that using 'record --look-for-add --all' left an...

2008-01-17 Thread Nicolas Pouillard
Thu Jan 17 12:51:59 CET 2008 [EMAIL PROTECTED] * Check that using 'record --look-for-add --all' left an empty pending patch. New patches: [Check that using 'record --look-for-add --all' left an empty pending patch. [EMAIL PROTECTED] { hunk ./tests/look_for_add.sh 2 #!/bin/sh + +cat > empty_pe

Re: [darcs-devel] darcs patch: Add --{allow, dont-allow, mark}-conflicts to darcs pull.

2008-01-17 Thread Tommy Pettersson
On Thu, Jan 17, 2008 at 09:26:46AM +0100, Nicolas Pouillard wrote: > Excerpts from Tommy Pettersson's message of Wed Jan 16 21:18:15 +0100 2008: > > On Wed, Jan 16, 2008 at 07:36:30PM +, Nicolas Pouillard wrote: > > > Wed Jan 16 20:34:26 CET 2008 [EMAIL PROTECTED] > > > * Add --{allow,dont-a

Re: [darcs-devel] announcing darcs 2.0.0pre2

2008-01-17 Thread Simon Marlow
David Roundy wrote: > On Thu, Jan 03, 2008 at 11:11:40AM +, Simon Marlow wrote: >>> Anyhow, could you retry this test with the above change in methodology, >>> and let me know if (a) the pull is still slow the first time and (b) if >>> it's much faster the second time (after the reverse unpull/

Re: [darcs-devel] darcs patch: Add --{allow, dont-allow, mark}-conflicts to darcs pull.

2008-01-17 Thread Nicolas Pouillard
Excerpts from Tommy Pettersson's message of Wed Jan 16 21:18:15 +0100 2008: > On Wed, Jan 16, 2008 at 07:36:30PM +, Nicolas Pouillard wrote: > > Wed Jan 16 20:34:26 CET 2008 [EMAIL PROTECTED] > > * Add --{allow,dont-allow,mark}-conflicts to darcs pull. > > > > This patch also merge the