<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)]
<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>
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)]