Perl 6 - the future is here, just unevenly distributed

IRC log for #darcs, 2014-08-07

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

All times shown according to UTC.

Time Nick Message
03:20 mizu_no_oto joined #darcs
04:30 lispy_ joined #darcs
04:30 MasseR joined #darcs
04:30 siel_ joined #darcs
04:34 diginet_ joined #darcs
04:34 zbeasnyy joined #darcs
05:00 dolio joined #darcs
05:12 haasn joined #darcs
06:05 stepkut joined #darcs
06:55 joelteon is there a way given a _darcs directory to figure out what the name of the latest patch is
06:56 joelteon like git rev-parse HEAD
10:53 c74d joined #darcs
10:57 mizu_no_oto joined #darcs
11:14 mizu_no_oto joined #darcs
11:29 dleverton joined #darcs
12:14 mizu_no_oto joined #darcs
12:14 Heffalump something ilke 'darcs changes --last=1' should do it
12:40 mdiaz joined #darcs
13:37 mizu_no_oto joined #darcs
15:01 sm darcs log --last 1 | grep '\*' | sed -e 's/^  \* //'
15:42 amgarchIn9 joined #darcs
16:32 amgarchIn9 joined #darcs
16:53 mdiaz Heffalump: are you there?
17:07 Heffalump mdiaz: sort of
17:07 Heffalump I'll probably only be available properly sometime later thi evening bu will be around off and on for a bit now
17:10 mdiaz Ok, I have a problem of compilation, I copy a link to the code so you can answer later.
17:14 mdiaz Basically was planning to use the function writeUnrevert  to save the patch that is passed to applyToWorking.
17:20 amgarchIn9 joined #darcs
17:25 mdiaz This is the link to the compilation error: http://pastebin.com/PQZyXwxJ.
17:25 * Heffalump looks
17:27 Heffalump for the first error with PrimOf, you may need to call something like effect on the patch to convert it into a primitives
17:27 Heffalump the others are to do with the contexts of the patches and would be harder to understand without the full code
17:27 Heffalump broadly you need to make sure you are applying patches in places that make sense
17:28 Heffalump and sometimes you are applying them in places that make sense but you need to convince the compiler of this
17:28 mdiaz The function in question: http://pastebin.com/WKzuCZc6
17:29 mdiaz Sorry for the english :)
17:29 Heffalump is the new line there your writeUnrevert call, the rest being as it was before?
17:29 mdiaz yes
17:30 Heffalump and writeUnrevert is an existing function?
17:30 mdiaz No, I added from 280 to 283.
17:31 mdiaz Yes.
17:32 Heffalump I suspect that it's not designed for this use and so the "witnesses" - i.e. the type variables that represent the contexts that are involved in the type errors here - aren't appropriate
17:32 Heffalump as a very short term hack to make progress, take a look at unsafeCoerceP to force them to what you want
17:33 Heffalump my train is about to go into a tunnel
17:33 Heffalump I'll be back later this evening but I'm not sure what time
17:33 mdiaz Ok, is there any other function to write a patch?
17:33 Heffalump writeUnrevert is quite high-level I think
17:34 Heffalump so you can use lower-level stuff
17:35 mdiaz Hmm, like what?
17:43 Heffalump well, read its implementation
17:43 Heffalump but also, I think you're passing it the wrong things
17:43 Heffalump p_after_pending would make more sense than removed
17:45 mdiaz Ok, thank you.
18:12 amgarchIn9 joined #darcs
19:16 amgarchIn9 joined #darcs
19:53 mizu_no_oto joined #darcs
20:42 alegadea joined #darcs
21:41 * Heffalump reappears

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