Available formats: content-negotiated html turtle (see SIOC for the vocabulary)
Back to channel and daily index: content-negotiated html turtle
These logs are provided as an experiment in indexing discussions using IRCHub.py, Irc2RDF.hs, and SIOC.
| 00:48:57 | <alexj> | sorear: you here? |
| 00:49:09 | <sorear> | I think so? |
| 00:52:23 | <alexj> | oh great! |
| 00:52:32 | <alexj> | looking at Data.Derive |
| 00:52:49 | <alexj> | it looks like it builds SYB Data instances. |
| 00:53:04 | <alexj> | I can't tell whether it also supports SYB3 Data instances. |
| 00:53:39 | <alexj> | soear: does that make sense? |
| 00:53:45 | <alexj> | sorear: does that make sense? |
| 00:53:51 | <alexj> | (spelling difficulties tonight) |
| 00:53:52 | <sorear> | I don't think it can, if SYB3 has extra requirements |
| 00:54:15 | <alexj> | I don't know that SYB3 has extra requirements. It is just a different derivation. |
| 00:58:37 | <Saizan> | i don't think derive does MTPCs as it is |
| 01:05:37 | <alexj> | ah ok. |
| 01:07:49 | <Saizan> | well, it's more a matter of adding an helper funtion than anything, iirc |
| 01:18:33 | <alexj> | saizan: are you familiar with SYB3 etc? |
| 01:20:50 | <Saizan> | not much, i've seen it used in happs, nothing else |
| 01:21:07 | <alexj> | ah ok |
| 01:21:29 | <alexj> | i'm trying to get rid of deriveAll scariness. |
| 01:21:32 | <alexj> | scaryness |
| 01:22:15 | <Saizan> | wasn't it introduced to avoid repeating classes in deriving clausoles? |
| 01:53:41 | <cedricshock> | If I get HAppS-Begin working again, where do I send the patch? |
| 01:54:20 | <alexj> | I think it is working right now. |
| 01:54:37 | <alexj> | lemmih fixed it a few hours ago. |
| 01:56:05 | <cedricshock> | alexj: It builds, everything responds Server error: XXX broken. I think I can beat it back into shape. |
| 01:56:25 | <alexj> | ah ok! |
| 01:56:31 | <alexj> | cool. then send the patch to me |
| 01:56:47 | <cedricshock> | Will do. |
| 02:12:55 | <alexj> | the facebook stuff may need some explanation when you are ready to get that working. |
| 02:14:41 | <cedricshock> | alexj: The facebook stuff doesn't compile right now, so I just shorted it out. |
| 02:14:50 | <alexj> | ah ok. |
| 02:15:04 | <alexj> | its doesn't compile? |
| 02:15:51 | <cedricshock> | I have the following working: (home page that shows the instructions, the series/ paths, blog/ (but not blog/view or update or any of those) |
| 02:19:11 | <cedricshock> | Yeah, the faceblog compilation error is ugly (if you remove the error "XXX not working" and {- -} around the code): |
| 02:19:14 | <cedricshock> | haskell/FaceBlog.hs:32:5: |
| 02:19:14 | <cedricshock> | Couldn't match expected type `StateKey -> [ServerPart IO]' |
| 02:19:14 | <cedricshock> | against inferred type `[ServerPart IO]' |
| 02:19:14 | <cedricshock> | In the first argument of `(++)', namely `http StateKey' |
| 02:19:14 | <cedricshock> | In the second argument of `($)', namely |
| 02:19:15 | <cedricshock> | `http StateKey |
| 02:19:17 | <cedricshock> | ++ |
| 02:19:19 | <cedricshock> | [dir "side-nav" [method () $ do ...], |
| 02:19:21 | <cedricshock> | dir |
| 02:19:23 | <cedricshock> | "friends" |
| 02:19:25 | <cedricshock> | [method () |
| 02:19:27 | <cedricshock> | $ friends_getAppUsers >>= return . map uidToOwner . gFind |
| 02:19:29 | <cedricshock> | >>= |
| 02:19:31 | <cedricshock> | getRecentOf |
| 02:19:33 | <cedricshock> | >>= |
| 02:19:37 | <cedricshock> | (ok . insEl (Attr "context" "friends") . Feed . take 50 . gFind)], |
| 02:19:39 | <cedricshock> | dir "view" [path $ \ eId -> ...], |
| 02:19:41 | <cedricshock> | dir "respond" [path $ \ eId -> ...], ....]' |
| 02:19:43 | <cedricshock> | In the expression: |
| 02:19:45 | <cedricshock> | onlyInstalled |
| 02:19:47 | <cedricshock> | $ http StateKey |
| 02:19:49 | <cedricshock> | ++ |
| 02:19:51 | <cedricshock> | [dir "side-nav" [method () $ do ...], |
| 02:19:53 | <cedricshock> | dir |
| 02:19:55 | <cedricshock> | "friends" |
| 02:19:57 | <cedricshock> | [method () |
| 02:19:59 | <cedricshock> | $ friends_getAppUsers >>= return . map uidToOwner . gFind |
| 02:20:01 | <cedricshock> | >>= |
| 02:20:03 | <cedricshock> | getRecentOf |
| 02:20:07 | <cedricshock> | >>= |
| 02:20:09 | <cedricshock> | (ok . insEl (Attr "context" "friends") . Feed . take 50 . gFind)], |
| 02:20:11 | <cedricshock> | dir "view" [path $ \ eId -> ...], |
| 02:20:13 | <cedricshock> | dir "respond" [path $ \ eId -> ...], ....] |
| 02:20:15 | <cedricshock> | So I'm just ignoring it for now. |
| 02:20:57 | <Saizan> | something is lacking an argument, it seems |
| 02:21:45 | <cedricshock> | Saizan: Something of the sort. I'm just not familiar enough with this all to unravel it yet. |
| 02:24:58 | <Lemmih> | Saizan: The opposite. 'http' doesn't take an argument anymore. |
| 02:25:34 | <cedricshock> | Lemmih: So HelpReqs.http has type [ServerPart IO]? |
| 02:25:51 | <Lemmih> | cedricshock: Something like that, yeah. |
| 02:26:23 | <cedricshock> | Excellent, faceblog compiled! |
| 02:29:34 | <cedricshock> | GHC Thrashes my memory linking HAppS-Begin/haskell/Main :( |
| 02:34:02 | <cedricshock> | Ok, the entry point to using the blog is blog/edit. All it returns is an XML snippet of an html form. |
| 02:35:04 | <cedricshock> | Which xslt styles are supposed to be applied to something like this? |
| 02:58:00 | <cedricshock> | Alex: I tried to send a patch to you, but it's the first thing sendmail has sent out from this computer. Holler at me if it doesn't get through. |
| 05:31:49 | <perspectivet> | Saizan: you pulling another allnighter? |
| 18:49:51 | <cedricshock> | How can I look inside the styling process? I want to peek at the input and output to and from xsltproc, and how it's being called. |
| 20:13:17 | <Lemmih> | cedricshock: I think we have a debug combinator. |
| 20:25:39 | <cedricshock> | Lemmih: That would be nice to know about. I fixed the xslt problem I was tracking down, and emailed it to alex. |
Back to channel and daily index: content-negotiated html turtle