Camelia, the Perl 6 bug

IRC log for #darcs-theory, 2009-03-30

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

All times shown according to UTC.

Time Nick Message
07:50 gal_bolle joined #darcs-theory
09:50 gal_bolle hi igloo
09:55 Igloo on phone
10:13 Igloo gal_bolle: Hey
10:14 gal_bolle i'm in the middle of a serious cleaning of dic
10:15 Igloo Great
10:15 gal_bolle but i won't be able to work on it for a few days
10:15 Igloo OK
10:15 gal_bolle i hope that by next weeks, our stuffs will be quite close
10:16 gal_bolle next week
10:16 gal_bolle I'm using modules instead of Load everywhere, though
10:16 gal_bolle seems to work quite well
10:16 Igloo Does that mean you aren't using Sections?
10:17 gal_bolle I use paramtrised modules
10:17 Igloo If so, sounds good to me. Using FSets doesn't play well with Sections.
10:18 gal_bolle i don't know how to instantiate the axioms of a section
10:18 gal_bolle once for all
10:18 gal_bolle whereas modules are made for that
10:18 gal_bolle functors, in all rigour
10:18 Igloo Right, sounds good
10:19 Igloo Although I have seen suggestions that you should use records instead
10:20 Igloo But I think I already understand modules, after getting FSets to work, so maybe that's best anyway  :-)
10:21 gal_bolle let's go for records!
10:21 gal_bolle modules sorry
10:21 gal_bolle hehe
10:21 Igloo :-)
10:26 gal_bolle i have a doubt about camp: let p and q conflict
10:26 gal_bolle what happens if i do: record p; rollback p; pull q from somewhere?
10:27 gal_bolle do i get a conflict?
10:27 Igloo Yes (rollback doesn't actually give you p^, just another patch with the same effect as p^)
10:27 gal_bolle hmm
10:28 gal_bolle i hadn't seen that consequence of naming
10:28 gal_bolle not sure if it's good or bad
10:28 Igloo It's not a consequence of naming - I think darcs1 and darcs2 conflict in that case too
10:29 Igloo I plan to think about whether we can make it not conflict, but not until the current proofs are done
10:29 gal_bolle ok
10:29 gal_bolle camp-core does not compile for me
10:30 gal_bolle Camp/Patch/Catch.hs:107:48:
10:30 gal_bolle Illegal signature in pattern: [ContextedPatch from]
10:30 gal_bolle Use -XPatternSignatures to permit it
10:30 Igloo What version of GHC do you have?
10:30 gal_bolle 6.8.3
10:32 gal_bolle darcs2 conflicts too
10:32 gal_bolle (and darcs1 also, presumably)
10:45 Igloo Hmm, my 6.8.2 build is now failing with
10:45 Igloo /home/ian/code/camp/code/camp-core​/dist/build/Camp/Patch/Sequence.hi
10:45 Igloo Declaration for a1: Iface type variable out of scope:  to
10:45 Igloo Cannot continue after interface file error
10:47 Igloo gal_bolle: I've pushed my patches, anyway. I'd be interested to know if it works for you or not
10:48 gal_bolle yes it works for me
10:48 gal_bolle at least building camp-core
10:48 Igloo Oh, it's camp-bin that fails
10:50 gal_bolle ok, i need to get libcurl…
10:50 gal_bolle oh it's the C libcurl which causes unhappiness
10:51 Igloo What platform are you on?
10:51 gal_bolle mac :-(
10:51 Igloo (if you're just doing this to test if it works for me, don't worry about it)
10:52 gal_bolle it's mostly out of procrastination
10:52 Igloo Oh, I've never tried to build it on a Mac
10:52 Igloo The good news is that there are probably 3 ways to do it. The bad news is, I have no idea which is best  :-)
10:54 gal_bolle "it" being ?
10:55 Igloo install libcurl
10:55 gal_bolle i went through macports
10:55 gal_bolle seems to work ok
10:57 gal_bolle hmm zlib problem
10:57 gal_bolle i give up
10:57 gal_bolle see you
10:57 Igloo Heh, OK. I guess that must be a libcurl thing, as camp doesn't use zlib directly
17:04 arjanb joined #darcs-theory
19:16 ertai joined #darcs-theory
19:43 Heffalump you need both PatternSignatures and ScopedTypeVariables on 6.8, but PatternSignatures is deprecated on 6.10 (if that wasn't obvious/you didn't already work it out)

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