Camelia, the Perl 6 bug

IRC log for #darcs-theory, 2008-09-07

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

All times shown according to UTC.

Time Nick Message
10:06 kowey joined #darcs-theory
21:01 kowey i wonder if it would be bloating minidarcs for it to implement both darcs 2 and darcs 3 for comparison
21:01 kowey heck, even darcs 1 for historical interest, :-)
21:04 Igloo Comparison of what?
21:04 Igloo Performance? Code? Design?
21:05 Igloo I think integrating the alternative conflictors would be easy, but reimplementing the old algorithms to exactly match would be a pain
21:06 kowey nod
21:06 kowey comparison of design, I think
21:06 kowey help people understand the differences between the theories
21:07 Igloo I'm not sure that that would be easy to see in code
21:07 kowey oh, ok
21:11 Igloo kowey: What platform are you on?
21:11 kowey macos x, ghc 6.8.3
21:14 Igloo OK, reproduced, thanks
21:16 Igloo Hmm, and a type error with the HEAD. That's interesting
21:17 Igloo Grr
21:18 arjanb i think the only reason to ever reimplement older darcs internals is to write upgrading code
21:37 arjanb Igloo: have you tried to work out any of the tricky cases that have been found in the past, like that 3 way conflict example?
21:38 Igloo arjanb: No
21:39 Igloo But I don't think they were tricky in relevant ways. e.g. that one is tricky because you cna't make it into a tree without duplication
21:39 Igloo If you mean the one I think you do
21:41 arjanb any idea where the doc with that example is hiding?
21:41 Igloo Do you want the example, or the whole doc?
21:42 arjanb i was looking for the doc but i found a dead link
21:44 arjanb i think it's relevant for asociative merging because it's easy to make commute requirements to strict for it
21:47 Igloo What's the dead link?
21:49 Igloo I can't find it, anyway, but I can explain the example I'm thinking of if you like
21:51 arjanb it could be this one but i'm not sure: http://darcs.net/conflicts/paper/paper.pdf

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