Camelia, the Perl 6 bug

IRC log for #darcs, 2011-04-27

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

All times shown according to UTC.

Time Nick Message
00:07 copumpkin left #darcs
00:10 mornfall And now I can't even build network. Dear...
00:11 mornfall Let's try with prebuilt.
00:34 owst left #darcs
00:44 secorp left #darcs
00:46 copumpkin joined #darcs
00:59 sm a darcsweb question
00:59 sm darcsweb's urls look like this: .../darcsweb.cgi?r=rss2irc;a=summary . Is that query string strictly legal ?
01:00 mornfall I don't see a reason why it wouldn't be.
01:00 mornfall Although it doesn't mean what it looks like.
01:01 sm hi.. I wondered if the ; should be a &
01:01 mornfall I would expect this to assign "rss2irc;a=summary" to r.
01:01 sm http-enumerator's simpleHttp quotes it to ?r=rss2irc%3Ba%3Dsummary , which darcsweb fails to recognise
01:01 lispy left #darcs
01:01 sm I'm wondering if http-enumerator or darcsweb is at fault here
01:02 mornfall The series of pairs is separated by the ampersand, '&' or semicolon, ';'.
01:02 mornfall So this is indeed legal, and http-enumerator is wrong.
01:02 mornfall Although ; is definitely not widely used.
01:03 sm I didn't know that.. maybe an older convention ?
01:03 mornfall "This convention is a W3C recommendation.[3] W3C recommends that all web servers support semicolon separators in the place of ampersand separators."
01:03 sm excellent, I think you're right
01:04 sm I shall continue trying to fix it. Thanks mornfall
01:04 mornfall Np.
01:16 mornfall Hm. Seems that darcswatch is stuck?
01:19 gwern left #darcs
01:20 gwern joined #darcs
01:20 gwern left #darcs
01:20 gwern joined #darcs
01:40 kyagrd joined #darcs
02:04 kyagrd left #darcs
02:08 kyagrd joined #darcs
02:17 * sm fools around with making darcsweb return 404 for bad repo urls, but it looks hard, man
02:20 sm I need to get on the darcsden train
02:28 sm phew.. rss2irc working on darcsweb patch feeds again, if built with not-yet-released http-types
02:28 sm that was quite a cluster of snafus
02:29 sm but I declare VICTORY
02:32 intripoon joined #darcs
02:35 intripoon_ left #darcs
02:48 alexsuraci sm: messed with it much lately?
02:48 alexsuraci (darcsden)
02:49 sm hi alexsuraci: no, not lately
02:50 sm what are you up to.. atomo going well ?
02:54 alexsuraci yea, working on atomy now. ruby spinoff.
02:55 sm neat
03:04 kyagrd left #darcs
03:14 sm left #darcs
03:16 gwern left #darcs
03:25 kyagrd joined #darcs
03:37 secorp joined #darcs
06:05 kyagrd left #darcs
06:26 kyagrd joined #darcs
06:29 kyagrd left #darcs
06:30 kyagrd joined #darcs
06:31 kyagrd left #darcs
06:31 kyagrd joined #darcs
06:34 kyagrd left #darcs
06:35 kyagrd joined #darcs
06:37 kyagrd left #darcs
06:38 kyagrd joined #darcs
06:39 kyagrd left #darcs
06:39 kyagrd joined #darcs
06:40 kyagrd left #darcs
06:40 copumpkin left #darcs
06:41 kyagrd joined #darcs
06:41 kyagrd left #darcs
06:42 kyagrd joined #darcs
06:43 kyagrd left #darcs
06:43 kyagrd joined #darcs
06:43 kyagrd left #darcs
06:44 kyagrd joined #darcs
06:46 kyagrd left #darcs
06:46 copumpkin joined #darcs
06:47 kyagrd joined #darcs
06:50 kyagrd left #darcs
06:51 kyagrd joined #darcs
06:51 kyagrd left #darcs
06:51 kyagrd joined #darcs
06:53 kyagrd left #darcs
06:53 kyagrd joined #darcs
06:56 kyagrd left #darcs
06:56 kyagrd joined #darcs
06:58 kyagrd left #darcs
06:58 kyagrd joined #darcs
07:03 kyagrd left #darcs
07:03 kyagrd joined #darcs
07:04 jonkri joined #darcs
07:04 kyagrd left #darcs
07:05 kyagrd joined #darcs
07:09 kyagrd left #darcs
07:09 kyagrd joined #darcs
07:11 kyagrd left #darcs
07:12 kyagrd joined #darcs
07:12 kyagrd left #darcs
07:12 kyagrd joined #darcs
07:13 kyagrd left #darcs
07:14 kyagrd joined #darcs
07:16 kyagrd left #darcs
07:16 kyagrd joined #darcs
07:18 kyagrd left #darcs
07:18 kyagrd joined #darcs
07:20 kyagrd left #darcs
07:20 kyagrd joined #darcs
07:20 kyagrd left #darcs
07:21 kyagrd joined #darcs
07:21 kyagrd left #darcs
07:21 kyagrd joined #darcs
07:23 kyagrd left #darcs
07:23 kyagrd joined #darcs
07:24 kyagrd left #darcs
07:24 kyagrd joined #darcs
07:27 kyagrd left #darcs
07:28 kyagrd joined #darcs
07:29 shenshei joined #darcs
07:30 kyagrd left #darcs
07:30 lelit joined #darcs
07:31 kyagrd joined #darcs
07:31 kyagrd left #darcs
07:34 raichoo joined #darcs
07:35 kyagrd joined #darcs
07:37 kyagrd left #darcs
07:37 kyagrd joined #darcs
07:38 kyagrd left #darcs
07:38 kyagrd joined #darcs
07:38 Weltraumschaf joined #darcs
07:39 kyagrd left #darcs
07:39 kyagrd joined #darcs
07:41 kyagrd left #darcs
07:42 kyagrd joined #darcs
07:44 kyagrd left #darcs
07:44 kyagrd joined #darcs
07:46 kyagrd left #darcs
07:46 kyagrd joined #darcs
07:47 kyagrd left #darcs
07:47 balor joined #darcs
07:48 kyagrd joined #darcs
07:49 kyagrd left #darcs
07:49 kyagrd joined #darcs
07:49 gal_bolle joined #darcs
07:49 kyagrd left #darcs
07:50 kyagrd joined #darcs
07:52 kyagrd left #darcs
07:52 kyagrd joined #darcs
07:53 kyagrd left #darcs
07:53 kyagrd joined #darcs
07:54 kyagrd left #darcs
07:54 kyagrd joined #darcs
07:55 kyagrd left #darcs
07:59 kyagrd joined #darcs
07:59 jeltsch joined #darcs
08:00 kyagrd left #darcs
08:01 kyagrd joined #darcs
08:03 kyagrd left #darcs
08:03 kyagrd joined #darcs
08:04 kyagrd left #darcs
08:08 copumpkin left #darcs
08:08 copumpkin joined #darcs
08:50 iago joined #darcs
09:05 balor left #darcs
09:39 owst joined #darcs
09:51 jonkri left #darcs
10:29 balor joined #darcs
10:35 jonkri joined #darcs
11:10 shenshei left #darcs
11:40 jderque joined #darcs
12:10 dankna left #darcs
13:25 Riastradh left #darcs
13:46 balor left #darcs
13:47 gwern joined #darcs
13:55 sm joined #darcs
14:17 owst left #darcs
14:50 lispy joined #darcs
14:52 copumpkin left #darcs
14:59 jonkri left #darcs
15:01 arjanb joined #darcs
15:01 secorp left #darcs
15:03 raichoo left #darcs
15:13 Weltraumschaf left #darcs
15:16 Weltraumschaf joined #darcs
15:21 copumpkin joined #darcs
15:28 gal_bolle left #darcs
15:31 raichoo joined #darcs
15:35 secorp joined #darcs
15:46 Weltraumschaf left #darcs
15:56 owst joined #darcs
16:02 bsrk2 joined #darcs
16:03 gbeshers left #darcs
16:04 secorp left #darcs
16:11 shenshei joined #darcs
16:21 jeltsch left #darcs
16:42 bsrk2 left #darcs
16:46 shenshei left #darcs
16:47 owst left #darcs
16:47 owst joined #darcs
16:48 jderque_ joined #darcs
16:48 shenshei joined #darcs
16:59 jderque left #darcs
17:00 jderque_ is now known as jderque
17:10 owst Heffalump suggested I get my blog added to planet.darcs.net; who do I need to ask to do so? The url is http://blog.owenstephens.co.uk
17:20 mornfall owst: Do you have per-tag feeds?
17:20 mornfall planet.darcs.net says you need to ask sm
17:20 mornfall sm: ^
17:22 owst Argh! I'm blind, I completely missed that :)
17:22 owst mornfall: I think so, I'll check.
17:22 mornfall I only feed darcs.rss to planet, eg.
17:30 owst Patch sent to sm :)
17:31 sm great, thanks owst
17:33 sm receiving darcs patches continues to be a bit of an art. Usually, I can see a saveable attachment in thunderbird, but not in Mail.app
17:34 sm this one, I can see it in Mail.app but not thunderbird
17:34 Heffalump :-)
17:34 Heffalump I thought the armoring had been improved lately to add a version likely to survive anything, but I could be wrong.
17:34 Heffalump though recently = in 2.7
17:34 Heffalump I need to figure this out to write releae notes :-)
17:35 owst left #darcs
17:36 sm that would be great
17:36 sm yes I was happy to see that patch, however it will be hard to convince every patch sender to use a sufficiently new version of darcs
17:36 sm but I will try, as soon as I've played with it a bit
17:37 sm s/that patch/that armoring patch/
17:38 sm oh, owst is gone. Well, welcome to the planet. More feeds welcome...
17:53 Heffalump http://hsenag.livejournal.com/data/rss?tag=darcs
17:55 raichoo1 joined #darcs
17:56 raichoo left #darcs
17:57 sm Heffalump: great! added. It looks like the last darcs-tagged post was in 2006, right
17:58 balor joined #darcs
17:59 sm back later
18:01 mornfall *food*
18:02 balor left #darcs
18:02 balor joined #darcs
18:04 balor left #darcs
18:04 Riastradh joined #darcs
18:05 balor joined #darcs
18:06 Heffalump sm: yep. I have vague plans to write more :-)
18:08 mornfall I used to post release announcements on my blog (which then got syndicated on the likes of planet debian and planet kde :)
18:17 sm_ joined #darcs
18:18 sm_ more darcs blogging!
18:22 balor left #darcs
18:22 balor joined #darcs
18:38 balor left #darcs
18:38 balor joined #darcs
19:00 zooko joined #darcs
19:10 jeltsch joined #darcs
19:16 sm_ I thought this worked the other day.. I've installed latest HP on a windows machine, did cabal update, now cabal install darcs says ghc >=6.4 required could not be found. ghc --version says 7.0.3
19:17 sm_ I suppose it's because I had to set PATH myself rather than let the installer do it, which is disallowed here
19:17 sm_ but ghc is in the path now >:|
19:18 sm_ worked around by doing the cabal install inside HP/bin
19:18 sm_ ah no.. it just went a little further, then same error
19:19 Heffalump I'm confused about why it thinks 6.4 is the constraint
19:19 Heffalump can you hpaste this?
19:19 sm_ with luck, hang on
19:22 sm_ we should get the hpaste maintainer to add #darcs as a channel
19:22 sm_ http://hpaste.org/46082/wi​ndows_cabal_install_issue
19:22 Heffalump do the install with -v ?
19:24 sm_ http://hpaste.org/paste/46082/win​dows_cabal_install_issue_a#p46083
19:24 sm_ seems like cabal ignores PATH and looks in the registry or something
19:26 sm_ trying the HP installer one more time, making sure "install GHC's location in registry" is checked
19:28 sm_ no difference
19:28 Heffalump hmm, I don't get it
19:28 * sm_ neither
19:29 Heffalump what version of cabal-install?
19:29 Heffalump sorry, you told me
19:29 sm_ yup
19:29 Heffalump that's the same as me, and mine finds ghc in the HP installed location fine
19:30 sm_ you let the installer update all system settings I expect, while I told mine not to set PATH. That's the only difference afaik
19:31 sm_ well, or this is windows 7. I last did this on XP
19:31 Heffalump what's in %PATH% ?
19:31 Heffalump I'm in windows 7 too
19:31 sm_ http://hpaste.org/paste/46082/win​dows_cabal_install_issue_a#p46084
19:32 Heffalump which of those directories is GHC in?
19:32 Heffalump the lack of C: in many of the entries makes me suspicious
19:33 sm_ it's in haskell\bin. I guess I'll add the C: just in case
19:34 sm_ no difference
19:34 sm_ oh well
19:35 zooko left #darcs
19:35 sm_ not a darcs issue and I need to move on.. thanks for looking Heffalump
19:35 Heffalump does this help? http://hackage.haskell.org/trac/ghc/ticket/3186
19:35 Heffalump np
19:37 sm_ it's probably something to do with that alright
19:38 mornfall sm_: Can you try with -w?
19:40 sm_ mornfall: good idea! That's working so far
19:41 sm_ ah.. what's that no curl flag I need for windows..
19:41 sm_ -f-curl ?
19:41 mornfall Indeed.
19:44 mornfall Grr. Lazy mornfall. Go play piano now.
19:45 sm_ darcs installed! Very nice, we just need the setup script to default to -f-curl on windows
19:45 Heffalump you think darcs.cabal should do that?
19:46 mornfall I think it should be possible and probably desirable.
19:47 balor left #darcs
19:47 sm_ I think so. Most folks on windows just want darcs to install, and don't know or care about fine http lib details
19:47 balor joined #darcs
19:47 Heffalump sounds reasonable
19:53 contra-sh joined #darcs
20:01 owst joined #darcs
20:06 owst left #darcs
20:14 sm_ left #darcs
20:35 balor left #darcs
20:35 balor joined #darcs
20:39 jderque left #darcs
21:27 raichoo1 left #darcs
21:36 jeltsch left #darcs
22:12 secorp joined #darcs
22:13 raichoo joined #darcs
22:13 raichoo left #darcs
22:19 Riastradh left #darcs
22:21 owst joined #darcs
22:36 contra-sh left #darcs
23:21 dankna joined #darcs
23:36 ocharles joined #darcs
23:36 ocharles Hey, does anyone know where the camp repositories went?
23:36 ocharles camp/devel/paper doesn't work for me (on code.haskell.org)
23:41 ocharles aha, http://code.haskell.org/camp/paper/
23:45 Heffalump what are you interested in it for, OOI?
23:46 Igloo Oh, sorry, I just moved them back to devel/
23:51 ocharles Heffalump: I'm really interested in the theory, and i'd love to learn more about it
23:51 ocharles at some point in the vyr distant future, I'd love to try writing something that uses patch theory, but also works with AST or more semantics than just lines
23:52 Heffalump wouldn't we all :-)
23:53 * Heffalump hopes we'll get to ASTs at some point in the next few years. Anything higher-level would be really hard, IMO.
23:55 ocharles also planning on using a languages AST to do syntax highlighting at some point too :)
23:56 Igloo The big problem with both of those is handling invalid intermediate states
23:56 Heffalump yeah, though you can have escape terminals
23:58 Heffalump ocharles: http://www.google-melange.com/gsoc/prop​osal/review/google/gsoc2011/mornfall/1 should help lay some of the groundwork for cleverer patch types
23:59 ocharles ah, I saw this, is there a bigger write up anywhere?
23:59 ocharles the abstract isn't enough for me :P
23:59 ocharles oh, it's full now
23:59 ocharles my bad

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