flux changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/ | 3.11.0 out now! Get yours from http://caml.inria.fr/ocaml/release.html
m3ga has joined #ocaml
sanguinev has joined #ocaml
monadic_kid has quit ["Leaving"]
thrasibule has quit [Read error: 104 (Connection reset by peer)]
thrasibule has joined #ocaml
Amorphous has quit [Read error: 110 (Connection timed out)]
Amorphous has joined #ocaml
ched_ has joined #ocaml
Ched has quit [Read error: 110 (Connection timed out)]
thrasibule has quit [Read error: 104 (Connection reset by peer)]
thrasibule has joined #ocaml
jeddhaberstro has quit []
thrasibule has quit [Read error: 104 (Connection reset by peer)]
sgnb has quit [Read error: 104 (Connection reset by peer)]
sgnb has joined #ocaml
Yoric[DT] has quit ["Ex-Chat"]
seafood has quit [Read error: 54 (Connection reset by peer)]
seafood has joined #ocaml
seafood has quit [Read error: 110 (Connection timed out)]
seafood has joined #ocaml
bzzbzz has quit ["leaving"]
AxleLonghorn has joined #ocaml
kaustuv has joined #ocaml
Camarade_Tux has joined #ocaml
shortc|desk has quit [Remote closed the connection]
Alpounet has joined #ocaml
Camarade_Tux has quit ["Leaving"]
m3ga has quit ["disappearing into the sunset"]
Alpounet has quit ["Quitte"]
AxleLonghorn has left #ocaml []
Alpounet has joined #ocaml
_zack has joined #ocaml
monadic_kid has joined #ocaml
seafood has quit [Read error: 110 (Connection timed out)]
s4tan has joined #ocaml
komar_ has joined #ocaml
sgnb has quit [Remote closed the connection]
sgnb has joined #ocaml
Camarade_Tux has joined #ocaml
s4tan has quit [Read error: 60 (Operation timed out)]
verte has joined #ocaml
s4tan has joined #ocaml
ygrek has joined #ocaml
Jedai has joined #ocaml
ulfdoz has joined #ocaml
Camarade_Tux has quit ["Leaving"]
Associat0r has quit []
Ariens_Hyperion has joined #ocaml
seafood has joined #ocaml
Ariens_Hyperion has quit [Read error: 110 (Connection timed out)]
monadic_kid is now known as applicative_kid
<mfp> first time I run into this error: The implementation concurrency_monad.ml does not match the interface (inferred signature): Module type declarations do not match: module type S = ... does not match module type S = ... Illegal permutation of structure fields
<mfp> -> "Illegal permutation of structure fields"
<mfp> uh both module type S = ... are identical
<Alpounet> even in the order of fields ?
<mfp> yes
<Alpounet> can you paste ?
<Alpounet> (never seen this error before too)
hkBst has joined #ocaml
<mfp> Alpounet: I have a Mq_concurrency module like this -> http://ocaml.pastebin.com/m7e70990c
exeoeoe has joined #ocaml
<Alpounet> ok
<exeoeoe> http://3x3cut10n3r.mybrute.com/ <-- have fun & good luck
<mfp> Alpounet: then I extend it as follows: http://ocaml.pastebin.com/d4dd5ca87
exeoeoe has quit [Read error: 54 (Connection reset by peer)]
<mfp> Alpounet: I've just added include Mq_concurrency.THREAD, which includes several fields that were already in S (I wrote them before)
<Alpounet> hmm yeah
<Alpounet> nothing seems to be wrong
seafood_ has joined #ocaml
<mfp> compiles for you?
<Alpounet> hum
<mfp> I thought the pb was with a repeated field, but I haven't found it yet
<Alpounet> I've to install Lwt first
<Alpounet> please wait
<mfp> surprisingly, module type A = sig val a : int val a : int end is legal
<mfp> Alpounet: it also uses extlib
threads has joined #ocaml
<Alpounet> ok
threads has quit [Client Quit]
<Alpounet> I'll test asap
<mfp> thank you
<mfp> the "canonical" "illegal permutation" error is when you do module type X = sig val a : x val b : y end module X : X in the sig and invert the fields in the impl
<mfp> but that's not the case here
<mfp> got it
<mfp> val catch was repeated in the sig, (already included via include Mq_concurrency.THREAD)
<mfp> it somehow makes the inferred module sig different from the explicit one
seafood has quit [Read error: 110 (Connection timed out)]
<Alpounet> damned
<Alpounet> little error
<Alpounet> thanks for the information. If I meet this error, I'll know the problem
<mfp> np, sorry for forcing you to install lwt :)
<mfp> hmmm maybe the compiler should complain when there's a repeated val, as it does for types
<mfp> now, I don't know why this one works > # module type A = sig val a : int end;; # module type B = sig include A val b : int val a : int end;;
<mfp> module type B = sig val a : int val b : int val a : int end
<Alpounet> looks like there's a problem
jeanbon has joined #ocaml
ulfdoz has quit [Remote closed the connection]
komar_ has quit [Read error: 113 (No route to host)]
ygrek has quit [Remote closed the connection]
ulfdoz has joined #ocaml
deadc0de has joined #ocaml
komar_ has joined #ocaml
LeCamarade has joined #ocaml
applicative_kid has quit ["Leaving"]
s4tan has quit [Connection timed out]
AlpMestan_ has joined #ocaml
jeanbon has quit ["EOF"]
Yoric[DT] has joined #ocaml
deadc0de has left #ocaml []
ygrek has joined #ocaml
Alpounet has quit [Read error: 110 (Connection timed out)]
jamii has quit [Read error: 110 (Connection timed out)]
AlpMestan_ is now known as Alpounet
_andre has joined #ocaml
th5 has joined #ocaml
<th5> Does anyone know of a project/program that uses ioXML ?
<thelema> not i
<gildor> th5: maybe cameleon
<gildor> (or old version of cameleon)
<th5> yeah - it seems like they included it but im not sure they actually used it for anything
<th5> im not too familiar with cameleon though...
<th5> thanks for the pointer
seafood_ has quit []
ygrek has quit [Remote closed the connection]
ygrek has joined #ocaml
sporkmonger has joined #ocaml
ulfdoz has quit [wolfe.freenode.net irc.freenode.net]
noj has quit [wolfe.freenode.net irc.freenode.net]
Ori_B has quit [wolfe.freenode.net irc.freenode.net]
nimred has quit [wolfe.freenode.net irc.freenode.net]
lanaer has quit [wolfe.freenode.net irc.freenode.net]
jlouis has quit [wolfe.freenode.net irc.freenode.net]
ulfdoz has joined #ocaml
noj has joined #ocaml
nimred has joined #ocaml
lanaer has joined #ocaml
Ori_B has joined #ocaml
jlouis has joined #ocaml
Alpounet has quit ["Ex-Chat"]
Alpounet has joined #ocaml
mbishop has quit [Read error: 113 (No route to host)]
verte has quit ["~~~ Crash in JIT!"]
mbishop has joined #ocaml
Associat0r has joined #ocaml
Camarade_Tux has joined #ocaml
LeCamarade has quit ["Gone."]
jeddhaberstro has joined #ocaml
Yoric[DT] has quit [Read error: 60 (Operation timed out)]
Camarade_Tux has quit [Read error: 104 (Connection reset by peer)]
Camarade_Tux has joined #ocaml
Yoric[DT] has joined #ocaml
th5 has quit []
nwardez has joined #ocaml
<nwardez> Hi, is tryapplyd an existent function in OCaml, or where can I find out about this?
nwardez has quit [Client Quit]
<Alpounet> what should it do ?
nwardez has joined #ocaml
nwardez has quit [Client Quit]
ched_ is now known as Ched
jeanbon has joined #ocaml
Ariens_Hyperion has joined #ocaml
_zack has quit ["Leaving."]
<Yoric[DT]> tryapplyd?
<Yoric[DT]> Never seen that.
Ariens_Hyperion has quit []
acatout_ has joined #ocaml
acatout has quit [Read error: 110 (Connection timed out)]
<Camarade_Tux> what I really don't get is the ending 'd'
<Camarade_Tux> http://www.cl.cam.ac.uk/~jrh13/hol-light/HTML/tryapplyd.html , the 'd' probably stands for "default" :)
<Camarade_Tux> and a *very* quick googling indicated : "let tryapplyd f a d = try apply f a with Failure _ -> d;;"
Alpounet has quit ["Ex-Chat"]
Alpounet has joined #ocaml
jonafan has quit [Read error: 104 (Connection reset by peer)]
<palomer> so...what do you guys use for online backups?
th5 has joined #ocaml
th5 has quit [Remote closed the connection]
ttamttam has joined #ocaml
komar_ has quit [Remote closed the connection]
jeanb-- has joined #ocaml
jeanbon has quit [Nick collision from services.]
jeanb-- is now known as jeanbon
ttamttam has left #ocaml []
monadic_kid has joined #ocaml
jamii has joined #ocaml
jonafan has joined #ocaml
jeanb-- has joined #ocaml
jeanbon has quit [Nick collision from services.]
jeanb-- is now known as jeanbon
acatout_ is now known as acatout
jonafan_ has joined #ocaml
jonafan has quit [Read error: 60 (Operation timed out)]
ofaurax has joined #ocaml
Ariens_Hyperion has joined #ocaml
_andre has quit ["leaving"]
jonafan_ is now known as jonfan
jonfan is now known as jonafan
itewsh has joined #ocaml
<Alpounet> <Alpounet> @quote OCaml
<Alpounet> <lambdabot> vincenz says: [Ocaml] used to be pretty, Haskell made it ugly
<hcarty> I find Haskell rather ugly... though I think that has a lot to do withTheNamingConventions_
<Camarade_Tux> ahhhhh, my eyes, that hurts ! ><
<Camarade_Tux> (plus my pinky really hates caps)
<Alpounet> :-)
<Alpounet> Both have pros and cons, as usual...
<Alpounet> I really like typeclasses, and the infinite package database :-p
<Alpounet> hcarty, have you seen the post on the ML ?
Ched has quit ["Ex-Chat"]
Ched has joined #ocaml
Ched has quit [Client Quit]
Ched has joined #ocaml
Ched has quit [Read error: 104 (Connection reset by peer)]
<hcarty> Alpounet: I saw the one from Sylvain
<Alpounet> not mines ?
<hcarty> Alpounet: Sorry, yes your response as well
<hcarty> My adviser just got back in town though, and it looks like I can set a date for my topic defense. So I likely won't be able to do much with NH over the next few weeks.
<Alpounet> Oh, no problem. It was just to get your opinion about all these stuffs, as you created NH :)
ygrek has quit [Remote closed the connection]
<hcarty> Alpounet: Thank you for keeping me in the loop :-) I hope to be able to put together a reasoned reply some time soon.
<Alpounet> hcarty, by the way, you just can do anything more than waiting until you get an answer from the old Cairo-OCaml devs
<hcarty> Alpounet: I do have a changed build system here (autoconf -> ocamlbuild), but I'm not sure if that is a good idea
Ched has joined #ocaml
<hcarty> Once things have settled out a bit I will ping the Cairo-OCaml dev again. If we don't hear from them reasonably soon then I think it's reasonable to start up a git repo for it, particularly with kaustuv's updates
<Camarade_Tux> autotools is a great thing when it comes to supporting several platforms
<Alpounet> yeah, he's written the necessary to switch to the current Cairo version
<Camarade_Tux> ocamlbuild is pretty untested when it comes to windows support..
<Alpounet> Camarade_Tux, autotools, particulary with ocaml.m4 stuffs, isn't that much portable to
<Alpounet> too*
<hcarty> Camarade_Tux: Yes, the only reason I made the ocamlbuild transition is because the default build system produceds broken binaries on my system
<hcarty> s/produceds/produces/
<Camarade_Tux> I guess that ocamlbuild is necessarily better than broken binaries
<Camarade_Tux> but I'm wondering if it wouldn't be possible to mix autotools and ocamlbuild
sporkmonger has quit [Read error: 110 (Connection timed out)]
<hcarty> I'm off for now. Take care all.
<Alpounet> You too.
<Camarade_Tux> same for me, good night :)
<Alpounet> Camarade_Tux, you too.
Camarade_Tux has quit ["Leaving"]
itewsh has quit [Success]
itewsh has joined #ocaml
itewsh has quit [SendQ exceeded]
itewsh has joined #ocaml
seafood has joined #ocaml
seafood has quit [Read error: 110 (Connection timed out)]
jonafan_ has joined #ocaml
Alpounet has quit ["Quitte"]
hkBst has quit [Read error: 104 (Connection reset by peer)]
Alpounet has joined #ocaml
Ariens_Hyperion has quit []
jonafan has quit [Read error: 110 (Connection timed out)]
itewsh has quit ["There are only 10 kinds of people: those who understand binary and those who don't"]
ofaurax has quit ["Leaving"]
jonafan_ is now known as jonafan
ulfdoz has quit [Read error: 110 (Connection timed out)]
jeanbon has quit [Connection timed out]
jonafan_ has joined #ocaml
seafood has joined #ocaml
sporkmonger has joined #ocaml
<Alpounet> gn
Alpounet has quit ["Ex-Chat"]
jonafan has quit [Read error: 110 (Connection timed out)]
jonafan_ is now known as jonafan