Perl 6 - the future is here, just unevenly distributed

IRC log for #darcs, 2014-03-24

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

All times shown according to UTC.

Time Nick Message
00:21 mizu_no_oto joined #darcs
01:34 alexsuraci_ joined #darcs
02:05 edwardk joined #darcs
02:11 alexei___ joined #darcs
07:12 lelit joined #darcs
07:19 lelix joined #darcs
08:45 raichoo joined #darcs
08:50 schlaftier joined #darcs
08:58 alexei___ joined #darcs
09:07 bishboria joined #darcs
10:12 raichoo joined #darcs
10:16 exlevan joined #darcs
11:40 mdiaz joined #darcs
11:43 mdiaz Heffalump: Sorry, I was using an old version: 2.8.4 (+ 1 patch).
12:12 Heffalump mdiaz: that is the stable version though, so its interesting if it has that bug. Are you saying it's fixed in head?
12:16 mdiaz I've not tried it yet (I'm updating the system).
12:19 Heffalump if you can turn the example nito a shell test that will make it much easier to fix the bug (if it remains)
12:20 Heffalump s/nito/into/
12:28 mdiaz Ok, I'll do later. Now I'm at work :/.
12:47 gal_bolle joined #darcs
12:56 xstill joined #darcs
13:03 mizu_no_oto joined #darcs
13:07 alexei___ joined #darcs
14:09 mizu_no_oto joined #darcs
14:46 mdiaz Something like this? http://pastebin.com/PxL17rBi
14:50 alexei___ joined #darcs
14:59 mizu_no_oto joined #darcs
15:02 colDrMcBeardman joined #darcs
15:04 vikraman mdiaz: this seems like expected behaviour to me
15:04 vikraman darcs cannot unrevert a patch which was not recorded
15:11 vikraman no, this is a bug
15:20 amgarchIn9 joined #darcs
15:50 vikraman mdiaz: I cannot reproduce this with my darcs (live version)
15:53 mdiaz vikraman: Me neither. It seems to work correctly in the live version.
16:38 whaletechno joined #darcs
16:50 mdiaz_ joined #darcs
16:57 gh_ joined #darcs
17:15 raichoo joined #darcs
17:19 edwardk joined #darcs
18:32 gh_ joined #darcs
18:32 mizu_no_oto joined #darcs
18:33 edwardk_ joined #darcs
19:10 gh_ joined #darcs
19:11 lelit joined #darcs
19:12 exlevan joined #darcs
19:25 gh_ joined #darcs
19:27 raichoo joined #darcs
19:50 edwardk joined #darcs
20:41 mizu_no_oto joined #darcs
20:41 amgarchIn9 joined #darcs
20:53 raichoo joined #darcs
22:02 schlaftier joined #darcs
22:24 mizu_no_oto joined #darcs
22:32 edwardk joined #darcs
22:44 edwardk joined #darcs

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