Experimental IRC log happs-2008-08-27

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:45:41<stepcut>MarcWeber: a bit
00:46:16<stepcut>MarcWeber: I have been trying to integrate formlets with HSP, but I think I need to change the types in HSX a bit first
01:22:27<MarcWeber>stepcut Do yo have a simple formlets example I can compile with current version 0.4.5?
01:22:55<stepcut>dunno, depends how much formlets has changed
01:23:00<stepcut>one moment
01:24:09<stepcut>this is the most recent version of demo that I have, http://hpaste.org/9946
01:26:48<stepcut>I last built in against 0.2.1 or something, so it probably needs more love
02:21:53<MarcWeber>stepcut: I got this far: http://rafb.net/p/olg9p356.html
02:22:17<MarcWeber>But I don't understnand why <*> needs Monad m context
08:12:19<chr1s>MarcWeber: I wanted formlets to support monadic validations as well
08:13:05<chr1s>so yes, the m should be a Monad.
10:07:05<chr1s>MarcWeber: the interface has also slightly changed...
10:45:42<MarcWeber>chr1s: Could you povide me with a minimal example? (Maybe even add it to the distribution?)
10:46:01<MarcWeber>The only code I was able to find was the one on your blog fitting version 0.1
10:47:02<chr1s>sure!
10:47:36<chr1s>so so the dateFull is a nice example, it's already in your code.
10:47:59<chr1s>it's just that the createForm should be adapted a little bit.
10:48:26<chr1s>For example, you could write it as Env -> XHtmlForm IO a -> String -> Web Response (note the IO)
10:49:58<chr1s>the type of runFormState is this: runFormState :: (Monad m) =>
10:49:58<chr1s> Env
10:49:58<chr1s> -> String
10:49:58<chr1s> -> Form xml m a
10:49:58<chr1s> -> (Text.Formlets.Collector (m (Control.Applicative.Error.Failing a)),
10:50:01<chr1s> xml,
10:50:05<chr1s> FormContentType)
10:50:27<chr1s>so it gets an environment, a string (you can just pass in "" for now) and a form
10:50:47<chr1s>and it returns a Collector, some xml and a FormContentType.
10:51:08<chr1s>you know what, I'll just give a full example, hold on for a minut.
10:59:03<chr1s>MarcWeber: http://hpaste.org/9954
10:59:21<chr1s>here's the formlets example, but this one compiles to the latest formlets library.
11:00:45<chr1s>I'm away for lunch now, let me know if you can get it to work, I'd be glad to help.
11:28:49<MarcWeber>chr1s: Thanks, seems to work. I'll continue writing the tests for my validating x(ht)ml library.
11:29:19<MarcWeber>It would be cool to mark the inputs which do not invalidate. But I can play with the code now
11:35:12<chr1s>yes, definitely. that's on my list too
21:14:53<MarcWeber>http://rafb.net/p/h4Ude058.html
21:15:02<MarcWeber>Description: curious how a error message of vxml will look like ?
21:15:36<MarcWeber>Unfortunately this is still an error within the library
21:16:13<Saizan>ugh
21:16:45<MarcWeber>:-) The nice tree is a representation of the allowed subelements of the <head> tag of the xhtml standard
21:16:58<MarcWeber>My very simple 2 or three elements containing test cases did already work
21:20:23<stepcut>:)
21:55:21<MarcWeber>Saizan: Can you have a look at this class match ? http://rafb.net/p/FgcsjA82.html
21:55:53<MarcWeber>oh forget about it
21:56:01<MarcWeber>a (F a) should be a (F b)...
21:57:14<Saizan>yeah..
21:57:30<MarcWeber>Saizan: It took me 30 min now.. But I've seen it..
21:57:44<MarcWeber>I'll get faster and faster.. The next time I'll only need 5 min :)
21:58:20<Saizan>maybe you can write an unifier and let it work for you :)
21:58:51<Saizan>with more informative error messages than GHC's one, i mean
21:58:59<MarcWeber>I should ask wether there is a hidden ghc option --tell-me-in-red-and-green-why-no-of-those-defined-classe-match
22:01:24<perspectivet`>maybe not red and green for the colour-blind in the audience
22:01:44<MarcWeber>perspectivet`: They can tell their terminal to use different colors :)
22:02:12<perspectivet`>you're right. they should probably have it set like that anyway
22:02:21<perspectivet`>so red and green it is
22:03:32<MarcWeber>. o O ( me is waiting .. is waiting )
22:04:41<MarcWeber>Have you ever seen a 14 thousand lines compiler error ?
22:05:37<stepcut>ACTION has from C++
22:06:05<stepcut>maybe not 14, but certainly more than 1 thousand
22:06:10<perspectivet`>the better the compiler, the longer the error message ;)
22:06:21<MarcWeber>I need a different HNat representation.. HSucc is bad in this case
22:06:24<stepcut>... from a missing ;
22:06:47<Saizan>MarcWeber: there are a few on hackage
22:06:53<MarcWeber>I know..
22:23:11<MarcWeber>Yeahohuuu ! I've got my first truely validated xml document... but it takes real 3m14.869s to compile..
22:24:01<stepcut>haha
22:24:36<MarcWeber>Maybe it's because the .hi file is 845k
22:24:49<MarcWeber>Most of my test Main files are about 1k

Back to channel and daily index: content-negotiated html turtle