Camelia, the Perl 6 bug

IRC log for #darcs-theory, 2009-05-09

| Channels | #darcs-theory index | Today | | Search | Google Search | Plain-Text | summary

All times shown according to UTC.

Time Nick Message
00:21 Heffalump Igloo: did you get anywhere with deciding whether conflictors allow arbitrary commutation or not?
00:22 Igloo I think you can't do it again, but I haven't sat down and thought properly
00:22 Igloo Being able to commute <A,B>, <C,D> and <AB,CD> doesn't allow you to get to BDAC
00:23 Igloo Oh, and now I look at it again I think it does. Bah.
00:23 * Igloo needs to sit down and think about it some time
00:35 Igloo Actually, conflictors don't let you commute AB at all
00:35 Igloo Oh, maybe they do
00:36 Igloo Yes, they do, because you can rotate the square
09:48 arjanb joined #darcs-theory
10:46 tux_rocker joined #darcs-theory
11:15 gal_bolle joined #darcs-theory
12:41 arjanb darcs failed:  Incompatibility with repository http://patch-tag.com/publicrepos/dic:
12:41 arjanb Cannot mix darcs-2 repositories with older formats
12:42 gal_bolle yes, dic and camp-paper are totally disjoint repositories
12:42 gal_bolle you have to get them separately
12:43 gal_bolle i had to split dic out in order to be able to use darcs-2
12:43 arjanb gal_bolle: i got them separately a while ago but now something is wrong with your repo
12:43 gal_bolle hmm let me see
12:44 Igloo I get:
12:44 Igloo darcs failed:  Not a repository: http://patch-tag.com/publicrepos/dic (Failed to download URL http://patch-tag.com/public​repos/dic/_darcs/inventory: HTTP response code said error)
12:44 gal_bolle me too
12:44 gal_bolle strange
12:44 Igloo Server error: src/Controller.hs:(116,45)-(120,114): Non-exhaustive patterns in case
12:44 Igloo (is what a web browser says)
12:45 gal_bolle seems to be a problem with patch-tag
12:46 gal_bolle darcs get http://patch-tag.com/r/dic/pullrepo dic
12:46 gal_bolle this one works
12:46 gal_bolle did the url change?
12:46 * gal_bolle just blindly pushes…
12:49 gal_bolle that url works and is up to date
12:49 arjanb ok
12:50 Igloo Doesn't seem to work for me
12:50 gal_bolle igloo: with darcs2?
12:50 Igloo Yup
12:51 gal_bolle what appears in a browser?
12:51 gal_bolle what's the error msg?
12:51 Igloo darcs2 pull http://patch-tag.com/r/dic/pullrepo -v    just sits there not saying anything
12:52 arjanb it worked for me
12:52 gal_bolle and without -v
12:52 gal_bolle (who knows?)
12:53 Igloo Oh, doing a get of that URL does work, though
12:54 Igloo Hmm, maybe I just have a lot of patches to pull in my old repo or something
12:54 gal_bolle i might have done some obliterate nastiness
12:54 gal_bolle so maybe you were seeing conflicts
12:55 gal_bolle but normally you should not be able to have seen it
12:56 Igloo Oh, no, --debug-http --debug-verbose shows that it's trying to download http://patch-tag.com/publicrepos/dic/_darcs​/patches/0000000722-7476cedaa783724fe85adec​da0c2dc74fbd8066728fd65f8bdf99850e9180920 and failing
12:56 Igloo Looks like patch-tag is broken
12:58 gal_bolle well darcs unpull -a ; darcs pull -a works for me
12:59 Igloo What if you use --no-cache?
13:00 gal_bolle works too
13:01 gal_bolle when did you last pull from it?
13:01 Igloo Not sure
13:07 gal_bolle the patch exists and seems good, so it's a problem with patch-tag, not the repo
13:07 gal_bolle i can send you a tarball of the repo if you want
13:08 Igloo No, it's OK, a fresh get works for me
13:09 gal_bolle ok
19:43 Igloo joined #darcs-theory
23:12 Igloo joined #darcs-theory

| Channels | #darcs-theory index | Today | | Search | Google Search | Plain-Text | summary