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
<yziquel> hi. i have an issue with the following instruction with Batteries.Data.Mutable: Enum.iter f (Queue.enum q). It throws a Queue.Empty exception.
bla has quit [Read error: 113 (No route to host)]
<yziquel> The culprit is in the Queue module: let enum q = Enum.from (fun () -> pop q). It should be something like let enum q = Enum.from (fun () -> try pop q with Queue.Empty -> raise Enum.No_more_elements) instead. who is behind Batteries, precisely?
yziquel has quit [Remote closed the connection]
yziquel has joined #ocaml
willb has quit [Connection timed out]
yziquel__ has joined #ocaml
yziquel__ has quit [Client Quit]
yziquel has quit [Read error: 110 (Connection timed out)]
bla has joined #ocaml
schmx has joined #ocaml
schme has quit [Read error: 110 (Connection timed out)]
yziquel_ has joined #ocaml
<yziquel_> sorry, i got disconnected. who's behind Batteries?
<mfp> yziquel_: Yoric[DT] or thelema will want to hear about that bug
<yziquel_> mfp: thanks.
<mfp> yziquel_: Yoric[DT] lives in CET time (.fr), so he might be back in ~7-8H
<yziquel_> mfp: hmm... i also in .fr time...
<mfp> me too actually :P
<mfp> he joined at 7:54 yesterday, and 10:54 the day before, so you know what to expect
<mfp> that said zzZ
<sanguinev> 1354?
<sanguinev> or perhaps 0454...
mishok13 has quit [Read error: 60 (Operation timed out)]
mishok13 has joined #ocaml
<hcarty> mrvn: pa-do works with literals directly, while variables are expected to be of the "proper" type
<hcarty> mrvn: So (let a = 3.0 in Float.(a + 2)) would have a value of 5.0, while let a = 3 in Float.(a + 2) would cause an error when it is type-checked
<mrvn> So every binding in Type.() has to be of Type?
lagenar has joined #ocaml
<hcarty> Or be cast appropriately
<hcarty> Float.(float_of_int a + 2) would work as expected
<hcarty> It would be rewritten as (float_of_int a +. 2.0), I think
<hcarty> The specifics can be altered for individual modules though
<hcarty> Pre-made syntax rules are included for the built-in numeric types
<hcarty> And several examples come in the distribution
<hcarty> You can use syntax like "OVERLOAD Module ((<) -> lt; (>) -> gt; (+) -> add)" to define overloadings local to a single file
<hcarty> So you could then write Module.(a > b + c) which would be rewritten as (Module.gt a (Module.add b c))
<hcarty> It also provides an API for producing more flexible extensions which are reusable across modules
lagenar has left #ocaml []
seafood has quit []
schmx has quit ["leaving"]
Associat0r has quit [Connection timed out]
seafood has joined #ocaml
seafood has quit [Read error: 104 (Connection reset by peer)]
seafood has joined #ocaml
seafood_ has joined #ocaml
seafood__ has joined #ocaml
seafood_ has quit [Read error: 60 (Operation timed out)]
seafood has quit [Connection timed out]
seafood__ has quit [Read error: 131 (Connection reset by peer)]
seafood has joined #ocaml
<thelema_> yziquel_: thanks for the bug find and fix. Applied to git tree.
<hcarty> thelema_: Is the Batteries ocaml311 branch working?
<hcarty> As in, do you know if it compiles and functions as one would expect?
<thelema_> it does for me.
<hcarty> thelema_: Ok, thanks. I'll give it a try here...
<thelema_> let me know how it goes
thelema has quit [Nick collision from services.]
<hcarty> Will do
thelema_ is now known as thelema
thelema_ has joined #ocaml
<hcarty> thelema: I get this error: Error: Unbound type constructor Extlib.Concurrent.lock
<hcarty> I'm trying to get a clean git clone now though, in case I messed something up in the repository
<hcarty> The clone is taking a very long time though
<hcarty> Same issue on a clean snapshot of the latest ocaml311 branch
<hcarty> File "src/core/extlib_threads/extMutex.mli", line 91, characters 19-41:
<hcarty> Then the above error
<yziquel_> thelema_: you're welcome, and thanks for applying it.
_jedai_ has joined #ocaml
<thelema> hcarty: I'll look into it.
<thelema> I'll admit that I don't use the threads much.
|jedai| has quit [Read error: 110 (Connection timed out)]
<hcarty> thelema: That's from a "make byte"
<thelema> but it does get compiled by default, so I dunno where the problem is...
<thelema> maybe mine isn't a clean enough compile
<hcarty> "ocamlbuild src/main/nothreads/batteries.cma" gives a different error: File "src/core/toolchain.mli", line 630, characters 60-75:\nError: Unbound type constructor Extlib.IO.input
m3ga has quit ["disappearing into the sunset"]
<hcarty> This is with a snapshot .tar.gz downloaded from the git web interface, from the latest ocaml311 revision
<thelema> ok, problem replicated
<thelema> (the first one, not the Extlib.IO.input one)
Stefan_vK has joined #ocaml
* thelema doesn't have a solution, will work again in AM.
_jedai_ has quit [Read error: 110 (Connection timed out)]
<hcarty> thelema: Thanks for looking in to it
<hcarty> Please let me know if I can help with testing or otherwise
<hcarty> Tomorrow, of course
<thelema> thanks for your help
|jedai| has joined #ocaml
ikaros has joined #ocaml
caligula__ has joined #ocaml
Stefan_vK1 has quit [Read error: 110 (Connection timed out)]
caligula_ has quit [Read error: 145 (Connection timed out)]
_jedai_ has joined #ocaml
|jedai| has quit [Read error: 110 (Connection timed out)]
thelema has quit [Read error: 110 (Connection timed out)]
seafood has quit []
Camarade_Tux has joined #ocaml
seafood has joined #ocaml
seafood has quit [Client Quit]
seafood has joined #ocaml
seafood has quit [Client Quit]
Camarade_Tux has quit [""school""]
ikaros has quit [".quit"]
ygrek has joined #ocaml
_zack has joined #ocaml
seafood has joined #ocaml
acatout_ is now known as acatout
seafood has quit []
_zack has quit ["Leaving."]
_jedai_ has quit [Read error: 60 (Operation timed out)]
|jedai| has joined #ocaml
vixey has joined #ocaml
chrisliaw has joined #ocaml
_zack has joined #ocaml
thelema has joined #ocaml
|jedai| has quit [Read error: 110 (Connection timed out)]
|jedai| has joined #ocaml
_zack has quit ["Leaving."]
fschwidom has joined #ocaml
_zack has joined #ocaml
yziquel_ has quit [Read error: 104 (Connection reset by peer)]
s4tan has joined #ocaml
rwmjones_ has joined #ocaml
ygrek has quit [Remote closed the connection]
chrisliaw has quit ["Ex-Chat"]
jdev has quit [kornbluth.freenode.net irc.freenode.net]
pango has quit [kornbluth.freenode.net irc.freenode.net]
jonafan has quit [kornbluth.freenode.net irc.freenode.net]
jdev has joined #ocaml
jonafan has joined #ocaml
pango has joined #ocaml
|jedai| has quit [Read error: 110 (Connection timed out)]
|jedai| has joined #ocaml
vixey has quit [Remote closed the connection]
kelaouchi has quit [Read error: 60 (Operation timed out)]
kelaouchi has joined #ocaml
marmotine has joined #ocaml
rwmjones_ has quit [Read error: 104 (Connection reset by peer)]
seafood has joined #ocaml
|jedai| has quit [Read error: 145 (Connection timed out)]
|jedai| has joined #ocaml
seafood_ has joined #ocaml
ygrek has joined #ocaml
seafood has quit [Read error: 110 (Connection timed out)]
Yoric[DT] has joined #ocaml
<Yoric[DT]> hi
ygrek has quit [Remote closed the connection]
Snark has joined #ocaml
OChameau has joined #ocaml
OChameau has quit [Client Quit]
OChameau has joined #ocaml
|jedai| has quit [Read error: 110 (Connection timed out)]
|jedai| has joined #ocaml
schme has joined #ocaml
Stefan_vK has quit [Read error: 110 (Connection timed out)]
seafood_ has quit []
Stefan_vK has joined #ocaml
Camarade_Tux has joined #ocaml
<mfp> any fast readers want to take a look before I push this to RSS? http://eigenclass.org/R2/writings/extprot-extensible-protocols-intro
<mfp> it's something similar to bin-prot, but designed with extensibility and interoperability in mind
<Snark> mfp, I read it through
<mfp> any comments/Qs?
<Snark> for the first sentence, "that allows" -> "which allows" ? (I'm not a native english-speaker)
<mfp> both are OK, methinks
<Snark> and in the same sentence, "compact, efficient, extensible, binary protocols" -> "compact, efficient and extensible binary protocols" ?
<Snark> apart from that, nothing struck me
* mfp tries to force himself to use "that" because there are two many ", which"
dabd has joined #ocaml
ched has joined #ocaml
<mfp> thanks Snark, the RHS reads better
* mfp changing
love-pingoo has joined #ocaml
ygrek has joined #ocaml
ygrek has quit [Remote closed the connection]
ygrek has joined #ocaml
|jedai| has quit [Read error: 110 (Connection timed out)]
_zack1 has joined #ocaml
<Snark> mfp, np
|jedai| has joined #ocaml
_zack has quit [Read error: 110 (Connection timed out)]
ygrek has quit [Remote closed the connection]
<Camarade_Tux> upon registering a project on ocamlforge, should I choose svn or cvs as a SCM considering I want git ?
<thelema> Camarade_Tux: I think it doesn't matter
jeremiah has quit [Read error: 104 (Connection reset by peer)]
<thelema> Yoric[DT]: in november, you fixed some 'identifier not found' bugs in extMutex (and related) by moving from [open Extlib] to [Extlib.foo]. I'm having some problems with what looks like the same problem in the same code.
<Camarade_Tux> thelema, does batteries still have svn/cvs ? (it says you can't change it SCM once you've chosen it but does git replace the current scm or is it an additionnal one ?)
<thelema> IIRC, git is additional
<Camarade_Tux> ok, thanks :)
<thelema> I think we still have our SVN, we just checked in a note to use git
<Yoric[DT]> thelema: mmmh.... I don't remember exactly what I did.
<thelema> Yoric[DT]: fair enough. My batteries was compiling fine, hcarty had compilation errors, I did a 'make clean', and now I've got his error
<Yoric[DT]> thelema: is this with the latest git?
<thelema> problems with extlib_threads referencing Extlib.concurrent
<thelema> yes
<Yoric[DT]> Ok, I'll take a look.
<Yoric[DT]> Unrelated note (should probably be tagged [SPAM]): there's an opening for an internship (for graduate student)/PhD related to compilation of ML languages.
<thelema> both of us are using the ocaml311 branch, but the only diffs are a fix in extQueue (which I need to cherry-pick onto the master branch) and a fix for Gc.control
<Yoric[DT]> If you're interested, feel free to contact me.
* Yoric[DT] is performing a make clean byte opt.
jeremiah has joined #ocaml
Associat0r has joined #ocaml
_jedai_ has joined #ocaml
|jedai| has quit [Read error: 110 (Connection timed out)]
<Yoric[DT]> thelema: make clean byte opt examples wors
<Yoric[DT]> works
<thelema> hmmm... thanks for checking
<thelema> can you do a git status, and paste somewhere?
<mfp> wrong tab
<mfp> not entirely actually
<Camarade_Tux> five downvotes so quickly ? 0_o
<mfp> I was wondering why
ikaros has joined #ocaml
<mfp> it's not _that_ lame
<mfp> and there's no OCaml in the title, so it shouldn't be the downvote bots
<Camarade_Tux> afaict ocaml-related entries are upvoted in the morning (for Europe) and downvoted in the afternoon
<mfp> yeah
<Camarade_Tux> and while there's no reference to ocaml in the title, there's "eigenclass.org" in the summary
<mfp> haha +5 -6 wth
<mfp> oooh eigenclass.org downvote bots, hadn't thought of that
<Camarade_Tux> I had +6 -5 and when I reloaded I got +5 -5 ><
<Camarade_Tux> +6 -5, +5 -5, +6 -6, +5 -5, maybe someone has let his cat in front of his computer...
smimram has joined #ocaml
smimou has quit [Read error: 110 (Connection timed out)]
<Yoric[DT]> thelema: I forgot to reinstall, let me try again
Snark has quit ["Ex-Chat"]
thelema has quit [Nick collision from services.]
thelema has joined #ocaml
thelema has quit [Nick collision from services.]
thelema_ is now known as thelema
thelema_ has joined #ocaml
ygrek has joined #ocaml
willb has joined #ocaml
_jedai_ has quit [Read error: 60 (Operation timed out)]
|jedai| has joined #ocaml
<Yoric[DT]> thelema: still works.
<thelema> hmmm... going back in history a little bit, my compile succeeds
<thelema> but I checked all those commits, and I couldn't find anything even remotely related
<thelema> (I'm at commit a2bf444...)
<Yoric[DT]> Sorry, can't help you more than that.
<thelema> yor: thanks for checking.
<Yoric[DT]> I'm between several urgent things.
<thelema> keep on them - I'll find and fix this.
<thelema> worst case, I should be able to bisect to find the problem
<Yoric[DT]> Ok.
<Yoric[DT]> Good luck.
<kig> <3 omake -P
ygrek has quit [Remote closed the connection]
hkBst has joined #ocaml
itewsh has joined #ocaml
|jedai| has quit [Read error: 110 (Connection timed out)]
|jedai| has joined #ocaml
itouch has joined #ocaml
vixey has joined #ocaml
pango has quit [Remote closed the connection]
itewsh has quit [Connection timed out]
MichaelGG has joined #ocaml
pango has joined #ocaml
<Camarade_Tux> has anyone an implementation of an(y) algorithm to resolve dependancies ?
<Yoric[DT]> Yeah, there's one in Batteries.
<Yoric[DT]> Although it's in myocamlbuild.ml :)
* Yoric[DT] wonders if that shouldn't be promoted to a real module.
<Camarade_Tux> well, there'll be at least one user ;p
<Camarade_Tux> hmm, that's not exactly dependancies I need : more a needs d to be executed first, b needs c to be executed first and c needs a to be executed first, in which order should a, b, c, d be executed ?
<vixey> it's called topological sort Camarade
<vixey> I've implemented .. except not in ocaml
<vixey> if you have got no cycles anyway, it is a little bit more tricky if you want to handle cycles
love-pingoo has quit ["Connection reset by pear"]
<Camarade_Tux> sounds really logical, as for cycles, they could exists =/
<vixey> but I mean, you want to just finish like: No topological sort exists because there was a cycle <List of nodes>, or actually produce a topological sort /of/ the cycles
<Camarade_Tux> it should fail and just raise an exception or return None
ikaros has quit [Read error: 110 (Connection timed out)]
ikaros has joined #ocaml
|jedai| has quit [Read error: 110 (Connection timed out)]
|jedai| has joined #ocaml
s4tan has quit []
ikaros has quit [".quit"]
thelema has quit [Remote closed the connection]
_zack1 has quit ["Leaving."]
MichaelGG_ has joined #ocaml
MichaelGG_ has quit [Read error: 104 (Connection reset by peer)]
MichaelGG has quit [Read error: 104 (Connection reset by peer)]
thelema has joined #ocaml
ygrek has joined #ocaml
ikaros has joined #ocaml
bla has left #ocaml []
ikaros has quit [".quit"]
tripwyre has joined #ocaml
dabd has quit ["Ex-Chat"]
<Yoric[DT]> Camarade_Tux: well, toposort is implemented in myocamlbuild.ml :)
|jedai| has quit [Connection timed out]
|jedai| has joined #ocaml
Yoric[DT] has quit ["Ex-Chat"]
OChameau has quit ["Leaving"]
itouch has quit ["There are only 10 kinds of people: those who understand binary and those who don't"]
Snark has joined #ocaml
postalchris has joined #ocaml
tripwyre has quit []
^authentic has joined #ocaml
seafood has joined #ocaml
authentic has quit [Connection timed out]
|jedai| has quit [Read error: 110 (Connection timed out)]
^authentic is now known as authentic
|jedai| has joined #ocaml
sscj has left #ocaml []
fschwidom has quit [Remote closed the connection]
|jedai| has quit [Connection timed out]
|jedai| has joined #ocaml
fschwidom has joined #ocaml
seafood has quit []
grigorij has joined #ocaml
marmotine has quit ["mv marmotine Laurie"]
_jedai_ has joined #ocaml
|jedai| has quit [Read error: 110 (Connection timed out)]
fschwidom has quit [Connection timed out]
Snark has quit ["Ex-Chat"]
fschwidom has joined #ocaml
_jedai_ has quit [Connection timed out]
|jedai| has joined #ocaml
grigorij` has joined #ocaml
tripwyre has joined #ocaml
sporkmonger has joined #ocaml
tripwyre has quit []
grigorij has quit [Read error: 110 (Connection timed out)]
johnnowak has joined #ocaml
|jedai| has quit [Read error: 110 (Connection timed out)]
|jedai| has joined #ocaml
jeremiah has quit [Read error: 104 (Connection reset by peer)]
ygrek has quit [Remote closed the connection]
thelema has quit [Remote closed the connection]
Sinden has joined #ocaml
jeremiah has joined #ocaml
seafood has joined #ocaml
Sinden is now known as NCW
NCW has quit ["ChatZilla 0.9.84 [Firefox 3.0.5/2008120122]"]
jeremiah has quit [Read error: 104 (Connection reset by peer)]
|jedai| has quit [Read error: 110 (Connection timed out)]
|jedai| has joined #ocaml
jeremiah has joined #ocaml
_jedai_ has joined #ocaml
|jedai| has quit [Read error: 110 (Connection timed out)]
tomaw has quit [Read error: 104 (Connection reset by peer)]
tomaw has joined #ocaml
sporkmonger_ has joined #ocaml
yziquel has joined #ocaml
yziquel has quit [Remote closed the connection]
sporkmonger_ has quit [Client Quit]
_jedai_ has quit [Read error: 110 (Connection timed out)]
|jedai| has joined #ocaml
sporkmonger has quit [Read error: 110 (Connection timed out)]
_zack has joined #ocaml
johnnowak has quit []
prime2 has joined #ocaml
ched has quit ["Ex-Chat"]
sporkmonger has joined #ocaml
slash_ has joined #ocaml
hkBst has quit [Read error: 54 (Connection reset by peer)]
Camarade_Tux has quit [""[ in bed ] at last""]
|jedai| has quit [Connection timed out]
|jedai| has joined #ocaml
Amorphous has quit [Read error: 54 (Connection reset by peer)]
prime2 has quit [Read error: 104 (Connection reset by peer)]
fschwidom has quit [Remote closed the connection]
|jedai| has quit [Operation timed out]
|jedai| has joined #ocaml
_zack has quit ["Leaving."]
vixey has quit ["There exists an infinite set!"]
_zack has joined #ocaml
_zack has quit [Client Quit]
Amorphous has joined #ocaml
Yoric[DT] has joined #ocaml