Experimental IRC log happs-2008-08-25

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:01:56<MarcWeber>sorry, still bare cloning my repo.. hold on
00:02:31<Saizan>ok
00:05:12<MarcWeber>git clone git://mawercer.de/vxml
00:06:13<MarcWeber>You should be able to remove the >= 1.19 constraint from HaXml.
00:06:54<MarcWeber>http://rafb.net/p/qysa9h45.html That's the error message I get
00:07:33<MarcWeber>I don't understand why the instance declaration given in Types.hs line 214 doesn't match this case
00:09:13<MarcWeber>Give me a sign if you want me to explain how I think things should work
00:10:00<Saizan>ok, i'm looking at the code while i build the deps
00:10:45<MarcWeber>The only lib I expect to be not installed is HList ..
00:12:19<MarcWeber>They key data type is PT (Element elType req added state) el where el is the final type you want to use. There is only a XML String isntance right now which will create the xml document
00:12:59<MarcWeber>Validation is done by the function type level fucntion Consume. If the next element is accepted there is an instance.
00:13:32<Saizan>but elst is not mentioned in endElt typesing, that's a problem since there's no fundep for it either
00:14:06<Saizan>nor elst2
00:14:27<MarcWeber>this must be elst -> elst2
00:15:29<Saizan>but there's no way to determine elst from the use of endElT
00:16:08<MarcWeber>Right.
00:16:18<Saizan>in fact it asks for an instance where elst and elst2 are fully polymorphic
00:16:34<Saizan>you've to rethink that class a little
00:17:58<MarcWeber>209 st should be elst
00:18:29<MarcWeber>I've renamed st to elst because I've used the name st in the instance within (Element .... st), the whole (Element ... st) is now elst
00:20:45<MarcWeber>Anyway you've helped me. Maybe I should go to bed and try again tomorrow
00:22:23<Saizan>np :)
00:56:33<AlexSuraci>Is there something wrong with the site..?
00:57:56<Lemmih>Is there?
00:58:25<AlexSuraci> / shows a different page than /index.html, and just about every link on /index.html (like examples) points to the wrong thing.
00:58:25<Lemmih>I guess there is. Much of the information is dated.
17:04:55<MarcWeber>Saizan: Would you mind havnig a second quick glance at my lib? The updated version can be found in branch test
17:05:45<MarcWeber>http://rafb.net/p/qokT1A25.html That's the error I get.
17:05:56<MarcWeber>caused by putStrLn $ fromPT $ endElT $ root
17:06:00<MarcWeber>in test.hs
17:06:32<MarcWeber>removing endElT makes it compile. So the type missmatch must be in this function (?)
17:13:54<Saizan>MarcWeber: if you tell me how i pull with git, i'm a total newbie with it
17:21:54<MarcWeber>git pull :-)
17:22:47<MarcWeber>Followed by git checkout test to switch the branch.
17:24:02<MarcWeber>Have you seen a message such as New branch test?
17:34:45<MarcWeber>@ Saizan
18:10:10<Saizan>MarcWeber: uhm, i get a different error
18:18:47<MarcWeber>Which one do you get?
18:19:45<Saizan>http://rafb.net/p/IImtUF52.html
18:19:50<MarcWeber>I've removed one more line.
18:19:55<MarcWeber>Try another git pull
18:20:26<MarcWeber>oh ?
18:21:44<Saizan>still the same
18:22:42<MarcWeber>Sorry. git-branch shows * master, doesn't it?
18:23:03<MarcWeber>git checkout origin/test
18:25:25<Saizan>ok, now it gives the same error
18:25:52<MarcWeber>Even when removing all the instances for EndElT I get that error
18:29:03<MarcWeber>I've done little refactoring and replaced the original staet by VAlidated or NYV (state)
18:29:27<MarcWeber>I must have missed wrapping the state into NYV somewhere. But I can't see it
18:29:48<MarcWeber>I've done so to not have to use OverlappingInstances
18:32:26<Saizan>i'm not seeing where the InitialState context is coming from
18:32:49<MarcWeber>It's generated.
18:32:58<MarcWeber>Have a look at the compilation output
18:33:20<MarcWeber>The tmeplate haskell code is in TH.hs, but reading the ghc output should be easier
18:34:04<Saizan>uhm
18:34:17<MarcWeber>It should be NYV (Element .... ) where ... contains the initial state (which attributes are allowed, which are required and which subelements are allowed)
18:34:35<Saizan>*Main> :t root
18:34:35<Saizan>root :: (CreateEl Root_T el) =>
18:34:35<Saizan> PT (NYV (Text.XML.Validated.Types.Element Root_T (HNil, HNil) EMPTY HFalse)) el
18:34:38<Saizan>*Main> :t endElT
18:34:40<Saizan>endElT :: (EndElT elType stA st hchs el el2) =>
18:34:43<Saizan> PT (Text.XML.Validated.Types.Element elType stA st hchs) el
18:35:00<Saizan>the type of endElT doesn't have the NYV
18:35:49<MarcWeber>wait.
18:36:56<MarcWeber>:)
18:37:19<MarcWeber>I've added NYV at the wrong place in the TH code
18:38:30<MarcWeber>Saizan: If there is anything I can do for you let me now
18:38:35<MarcWeber>know
18:39:23<Saizan>ok :)
23:13:33<MarcWeber>Saizan: Mmh while testing the choice operator (div|p|...) I hit
23:13:37<MarcWeber>http://rafb.net/p/tXhutb63.html
23:14:19<MarcWeber>Do you know wether there is an easy way to return a type level value when the types are equal but return another one if they are not?
23:15:35<MarcWeber>I could give them numbers and calculate the difference..
23:17:29<Saizan>i think Oleg's TypeCast can help
23:18:43<MarcWeber>Maybe I can use a helper Eq class not using fucntional dependencies for the helper Eq class only

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