Perl 6 - the future is here, just unevenly distributed

IRC log for #darcs, 2014-08-25

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

All times shown according to UTC.

Time Nick Message
02:08 mizu_no_oto joined #darcs
02:33 mizu_no_oto joined #darcs
07:19 lelit joined #darcs
10:48 mizu_no_oto joined #darcs
11:05 lelf joined #darcs
13:26 mizu_no_oto joined #darcs
14:29 c74d joined #darcs
14:31 MasseR_ joined #darcs
14:31 Igloo_ joined #darcs
14:31 stepkut joined #darcs
14:31 notdan_ joined #darcs
14:55 Heffalump Igloo_: did you forget to add notation.tex to version control in camp paper?
15:13 Igloo Heffalump: It's now src/notation.v, but it looks like building the doc might be broken too
15:25 Heffalump I have a trivial patch to fix the theory build
15:25 Heffalump if you want it - it's just a variable renamed. Not sure if it's a 8.3 -> 8.4 difference though.
15:27 Heffalump should GENERATED_TEX refer to src/*.v rather than *.v then?
15:42 Igloo And the tex/%.tex rule probably
15:43 Igloo Sure, the patch would save me re-inventing it  :-)   Ta
15:45 lelf` joined #darcs
15:59 lelit joined #darcs
16:06 Heffalump do you know what the @s are for in lines 380-382 of src/named_patches.v? They are causing latex errors, but they look like they might be significant to coq in some way.
16:12 gh_ joined #darcs
16:12 Heffalump FWIW I'm getting a different (much earlier) error with coq 8.3p14 on Debian
16:13 Heffalump in plain_names.v, 'Cannot coerce CompSpec to an evaluable reference.'
16:14 mizu_no_oto joined #darcs
16:21 Igloo If foo has implicit arguments, then "foo" will make coq try to infer those arguments, while "@foo" will require that the arguments are explicitly given
16:22 Igloo I'm not sure why it'd be causing latex problems, though
16:23 Igloo I was probably last using "8.4pl3 (December 2013)"
16:35 Heffalump ok, so 8.3 probably just doesn't work (the docs mention it somewhere)
16:35 Heffalump I think @ means something in mathmode, doesn't it?
16:36 Heffalump I get a "Missing $ inserted"
16:38 Heffalump or outside mathmode, hence the missing $
16:39 Igloo Oh, sure, but it's not uncommon in coq, and I'm sure it's worked in the past
16:40 Heffalump this is on the machine with coq 8.3 rather than 8.4, so perhaps something else is going wrong (the LaTeX installation on the machine with coq 8.4 isn't behaving properly)
16:43 Igloo Hmm, could be
16:44 Heffalump btw do you normally have to copy coqdoc.sty locally? I've had to do that on both the machine with the messed up LaTeX and the one where LaTeX does appear to be working sensibly
16:48 Igloo I have it symlinked to .../lib/coq/tools/coqdoc/coqdoc.sty
16:50 Igloo (which interestingly seems to be a different coq tree than the one that is currently providing my coqc. I should probably sort that out)
17:27 amgarching joined #darcs
17:29 * Heffalump is working through the 2.8.5 release now
17:43 lelf joined #darcs
17:57 * Heffalump looks forward to darcs 2.10 just to not have to atch it build 3 times
19:06 amgarchIn9 joined #darcs
19:21 * Heffalump hopes noone was looking at the branch-2.8 repository in the last 10 minutes :-)
19:23 gh_ I was.. :)
19:24 gh_ I mean I did a pull ~10min ago, or a little more
19:26 Heffalump unpull the tag and the last patch updating NEWS, please :-)
19:26 Heffalump if you got them
19:39 * Heffalump is having trouble with the new tar format requirements on hackage: --format=ustar isn't helping :-(
19:40 sm go Heffalump
19:43 amgarching joined #darcs
20:35 * Heffalump finally fixes it
20:54 Topic for #darcs is now http://darcs.net/ | logs: http://irclog.perlgeek.de/darcs/ | darcs 2.8.5 is out http://darcs.net/Releases/2.8
20:55 Heffalump joelteon: you might be pleased to see that release :-)
21:38 sm hurrah!
21:41 sm impressive breadth of GHC support
21:44 sm where is the release branch ?
21:50 Heffalump darcs.net/releases/branch-2.8
21:50 Heffalump http://darcs.net/releases/branch-2.8
22:16 gh_ joined #darcs
22:17 stepcut joined #darcs
23:30 sm I think renaming NEWS to CHANGES will make it show up as changelog at http://hackage.haskell.org/package/darcs
23:48 * sm mirrors the 2.8 branch at http://hub.darcs.net/darcs

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