gildor changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/ | OCaml 3.12.1 http://bit.ly/nNVIVH
dwmw2_gone has quit [Ping timeout: 260 seconds]
dwmw2_gone has joined #ocaml
julm has quit [Ping timeout: 246 seconds]
dwmw2_gone has quit [Ping timeout: 240 seconds]
dwmw2_gone has joined #ocaml
julm has joined #ocaml
avsm has quit [Quit: Leaving.]
avsm has joined #ocaml
dwmw2_gone has quit [Ping timeout: 260 seconds]
dwmw2_gone has joined #ocaml
ulfdoz_ has joined #ocaml
ulfdoz has quit [Ping timeout: 240 seconds]
ulfdoz_ is now known as ulfdoz
emmanuelux has joined #ocaml
<thelema> does anyone here know what functionality is added in P.Veber's "Object" sections for oasis?
avsm has quit [Quit: Leaving.]
wtetzner has quit [Remote host closed the connection]
madroach has quit [Ping timeout: 265 seconds]
madroach has joined #ocaml
root____2 has quit [Quit: leaving]
cdidd has joined #ocaml
emmanuelux has quit [Ping timeout: 240 seconds]
cacho has quit [Ping timeout: 276 seconds]
sepp2k has quit [Ping timeout: 260 seconds]
sepp2k has joined #ocaml
cacho has joined #ocaml
<dsheets> ocaml modules for fast IP subnet matching?
<dsheets> like cidr list -> ip -> bool
mattrepl has quit [Quit: mattrepl]
mal`` has quit [Ping timeout: 276 seconds]
mal`` has joined #ocaml
<xenocons> dsheets: i wrote one in F#, i know you are asking for a module but it shouldnt take more than 30 loc
<xenocons> (well i did expansion of cidr, im sure bool is possibly eaiser)
<dsheets> xenocons: what do you mean expansion?
<dsheets> what map structure did you use?
<dsheets> how much of the algebra did you implement?
<xenocons> 192.168.1.1/24 -> 192.168.1.1..192.168.1.255
<xenocons> i didn't do anything advanced
<dsheets> 192.168.1.1/16 -> 192.168.0.1..192.168.255.255 ?
<xenocons> let me try it
<xenocons> yeh that possibly works
<xenocons> 65534 hosts
<xenocons> if you want i can just paste the code, it is F# though
<xenocons> the .net stuff is trivial to replace
<dsheets> cool. thank you :-)
<xenocons> np
<dsheets> is it in source control somewhere?
<xenocons> if u need code for intOfIp and ipOfInt in ocaml it is easy with List.map2 ect
<xenocons> ah, nope hehe
<xenocons> just a utility i was messing around with
<xenocons> http://codepad.org/CEwaVxe0 was an older version of the ip_toint and int_toip that may be more suited to ocaml
<xenocons> if you change it to list, erm not sure baout uint32 in ocaml..
<xenocons> seq.sum is just fold (+) 0
mal`` has quit [Ping timeout: 260 seconds]
abeaulieu has quit [Ping timeout: 252 seconds]
mal`` has joined #ocaml
abeaulieu has joined #ocaml
mattrepl has joined #ocaml
mattrepl has quit [Quit: mattrepl]
mal`` has quit [Ping timeout: 260 seconds]
mal`` has joined #ocaml
ankit9 has quit [Quit: Leaving]
rossberg has quit [Ping timeout: 246 seconds]
rossberg has joined #ocaml
ankit9 has joined #ocaml
djcoin has joined #ocaml
pango is now known as pangoafk
eni has joined #ocaml
Yoric has joined #ocaml
hkBst has joined #ocaml
hkBst has quit [Changing host]
hkBst has joined #ocaml
ftrvxmtrx has quit [Quit: Leaving]
eni has quit [Ping timeout: 250 seconds]
eni has joined #ocaml
Yoric has quit [Ping timeout: 245 seconds]
Yoric has joined #ocaml
mika1 has joined #ocaml
cago has joined #ocaml
ftrvxmtrx has joined #ocaml
eikke has joined #ocaml
twigmorewelsh has joined #ocaml
twigmorewelsh has quit [Quit: Linkinus - http://linkinus.com]
ocp has joined #ocaml
paolooo has joined #ocaml
<companion_cube> I'm trying to call a subprocess and read its output, using Unix.create_process "/bin/foo" [|"foo";"bar"|] o1 i2 i2 (with o1,i1 and o2,i2 create via Unix.pipe ())
<adrien> use a library to do that :P
<companion_cube> but as I read the output of the process (converted to a in_channel), it blocks
<companion_cube> and never reaches the end of file
<companion_cube> adrien: like what?
<adrien> things to watch for: close-on-exec for your file descripts, and use Unix.select
<adrien> companion_cube: I think Batteries at least has it, maybe extlib (I wonder what are the sizes of the two libs); otherwise, what is the license of your code?
<companion_cube> should I have close-on-exec ?
<companion_cube> adrien: GPL
<companion_cube> s/have/use/
<adrien> 2, 3?
<companion_cube> 2
<adrien> hmmmmmm
<adrien> well, you can look at http://git.ocamlcore.org/cgi-bin/gitweb.cgi?p=yypkg/yypkg.git;a=blob;f=src/lib.ml;h=39440e7f18e5946711b75fa38c7f1db036ff5f9e;hb=HEAD#l91 and a bit above, I think it's correct (now)
Yoric has quit [Ping timeout: 240 seconds]
<companion_cube> looks interesting, thanks
<adrien> it's GPLv3 :P
<adrien> which is incompatible with GPLv2 :D
Yoric has joined #ocaml
<adrien> (before anyone says the GPL and the FSF suck, it's partly because of the patent clause, which is something that the Apache license has created, and which is mostly regarded as "good")
<companion_cube> aww
<adrien> you don't need to copy verbatim
<companion_cube> it looks like once the process is done, they can read everything... but for my (simpler) implementation I tried to read everything before the process is done, hoping that End_of_file would come eventually...
<adrien> you can't hold an infinite amount of data in a pipe
<adrien> so if you don't read anything, the writing process will eventually block
<adrien> also, I think EOF won't come if you two processes have the writing end opened, which is the case by default when you fork and haven't used close-on-exec
<companion_cube> that's why first I send my data in the stdin of the subprocess, close the stdin, and then read its output as it produces it
<companion_cube> oh, I see
<companion_cube> then if I close_on_exec the write part of the stdout of the subprocess, and the read part of its stdin... ?
<adrien> basically, what you want is to avoid having file descriptors opened in the two processes; you can chose how you want to achieve that =)
beckerb has joined #ocaml
<companion_cube> but I still need some of them to stay opened, to read the ouput of the subprocess :/
<adrien> yes but the process that reads should not have the writing end opened
<adrien> and the process that writes should not have the reading end opeed
<companion_cube> ok, I think create_process is not flexible enough then, back to fork and exec -_-
<adrien> it is: proof, I'm using it
<companion_cube> but you feed the subprocess with stdin, whereas I feed it with a pipe, which means I have to make the subprocess close the read end of its input pipe
rixed_ is now known as rixed
<adrien> I see; yes, depending on what you run and the control you have on it, you can need to change how you do things
<adrien> however, keep in mind that windows has no fork()
<companion_cube> well, that's why it's called "Unix" :D
<companion_cube> besides, I don't use windows, and it's hard enough to make it work on unix...
<companion_cube> (I miss python for this kind of things :/)
<adrien> there's probably something quite simple to handle both unix and windows but I can't think right now
<adrien> just make a nicely-delimited function so it can be changed easily =)
<companion_cube> yep :)
<companion_cube> thank you
<companion_cube> well,it works much better with fork. Just have to find the duplicate close() ;)
eikke has quit [Read error: Connection reset by peer]
vincentbalat has joined #ocaml
eikke has joined #ocaml
paolooo has quit [Quit: Page closed]
paolooo has joined #ocaml
Yoric has quit [Ping timeout: 246 seconds]
eni has quit [Read error: Operation timed out]
ankit9 has quit [Quit: Leaving]
tane has joined #ocaml
_andre has joined #ocaml
eni has joined #ocaml
dwmw2_gone has quit [Ping timeout: 244 seconds]
BiDOrD has joined #ocaml
BiDOrD_ has quit [Ping timeout: 272 seconds]
mattrepl has joined #ocaml
eikke has quit [Ping timeout: 252 seconds]
sporkmonger has joined #ocaml
hkBst has quit [Ping timeout: 260 seconds]
eikke has joined #ocaml
dwmw2_gone has joined #ocaml
dwmw2_go` has joined #ocaml
dwmw2_gone has quit [Ping timeout: 260 seconds]
emmanuelux has joined #ocaml
eni has quit [Read error: No route to host]
eni_ has joined #ocaml
gnuvince has quit [Ping timeout: 250 seconds]
emmanuelux has quit [Ping timeout: 240 seconds]
Yoric has joined #ocaml
<adrien> wasn't there recently some mention of using linux' "perf" with ocaml?
Yoric has quit [Ping timeout: 246 seconds]
Yoric has joined #ocaml
Progster has joined #ocaml
emias has quit [Ping timeout: 265 seconds]
emias has joined #ocaml
<hcarty> adrien: On Mantis. I think that there is a patch.
<hcarty> thelema: I was wondering the same re:oasis and Object sections.
<hcarty> thelema: Also, thank you for being a voice of calm and reason yesterday.
<adrien> hcarty: thanks :-)
<hcarty> adrien: You're welcome. At some point I subscribed to an RSS with lots of OCaml mantis activity. I don't remember which feed it is, but the results are certainly interesting.
<hcarty> adrien: It's the Mantis RSS, which makes sense.
<adrien> heheh :-)
emmanuelux has joined #ocaml
gnuvince has joined #ocaml
Chambart has joined #ocaml
ulfdoz has quit [Ping timeout: 265 seconds]
smondet has joined #ocaml
ankit9 has joined #ocaml
braibant has joined #ocaml
smondet has quit [Read error: Connection reset by peer]
ankit9 has quit [Quit: Leaving]
smondet has joined #ocaml
Yoric has quit [Ping timeout: 252 seconds]
Yoric has joined #ocaml
emmanuelux has quit [Ping timeout: 256 seconds]
paolooo has quit [Ping timeout: 245 seconds]
hkBst has joined #ocaml
hkBst has quit [Changing host]
hkBst has joined #ocaml
<thelema> hcarty: you're welcome
mika1 has quit [Quit: Leaving.]
paolooo has joined #ocaml
<adrien> bah, now I'm trying to find out what camlp4's RfTag was
<adrien> I have nothing about it except that it seems related to variants
<adrien> (talking about saffire)
Yoric has quit [Ping timeout: 245 seconds]
hkBst has quit [Quit: Konversation terminated!]
sepp2k has quit [Remote host closed the connection]
ftrvxmtrx has quit [Quit: Leaving]
sivoais has quit [Ping timeout: 244 seconds]
willb has quit [Ping timeout: 244 seconds]
cago has quit [Quit: Leaving.]
iago has joined #ocaml
avsm has joined #ocaml
willb has joined #ocaml
err404 has joined #ocaml
sivoais has joined #ocaml
eni_ has quit [Ping timeout: 272 seconds]
ocp has quit [Ping timeout: 245 seconds]
ankit9 has joined #ocaml
<hcarty> thelema: I think the Object support is for building .cmx and .cmo output.
<hcarty> thelema: That's what I gather from the diff
braibant has quit [Quit: Leaving.]
emmanuelux has joined #ocaml
Progster has quit [Ping timeout: 272 seconds]
<thelema> hcarty: ah, interesting. I guess oasis didn't have support for that before.
<adrien> it didn't afaik
<adrien> iirc that was a complaint from Daniel Bünzli not very long ag
<adrien> o
avsm has quit [Quit: Leaving.]
paolooo_ has joined #ocaml
paolooo has quit [Ping timeout: 245 seconds]
Chambart has quit [Ping timeout: 246 seconds]
Progster has joined #ocaml
Yoric has joined #ocaml
pangoafk is now known as pango
paolooo_ has quit [Quit: Page closed]
paolooo has joined #ocaml
Yoric has quit [Ping timeout: 268 seconds]
avsm has joined #ocaml
avsm has quit [Client Quit]
ftrvxmtrx has joined #ocaml
Yoric has joined #ocaml
emmanuelux has quit [Ping timeout: 260 seconds]
gnuvince has quit [Ping timeout: 245 seconds]
gnuvince has joined #ocaml
Progster has quit [Ping timeout: 260 seconds]
err404 has quit [Remote host closed the connection]
Reventloff has joined #ocaml
hyperbor1ean has joined #ocaml
habnabit has joined #ocaml
habnabit is now known as irc_
mal``` has joined #ocaml
irc_ is now known as irc__
irc__ is now known as habnabit
habnabit has quit [Client Quit]
ulfdoz has joined #ocaml
julm has quit [*.net *.split]
Reventlov has quit [*.net *.split]
rixed has quit [*.net *.split]
Yoric has quit [*.net *.split]
dsheets has quit [*.net *.split]
contempt has quit [*.net *.split]
paolooo has quit [*.net *.split]
asmanur has quit [*.net *.split]
pr has quit [*.net *.split]
nimred has quit [*.net *.split]
ivan\ has quit [*.net *.split]
TaXules has quit [*.net *.split]
hnrgrgr has quit [*.net *.split]
dnm_ has quit [*.net *.split]
adrien has quit [*.net *.split]
NaCl has quit [*.net *.split]
eudicot has quit [*.net *.split]
srcerer has quit [*.net *.split]
companion_cube has quit [*.net *.split]
fx_ has quit [*.net *.split]
vbmithr has quit [*.net *.split]
jmcarthur has quit [*.net *.split]
cdidd has quit [*.net *.split]
bddn has quit [*.net *.split]
adrien_oww has quit [*.net *.split]
joewilliams has quit [*.net *.split]
othiym23 has quit [*.net *.split]
ssbr- has quit [*.net *.split]
snarkyboojum has quit [*.net *.split]
haelix has quit [*.net *.split]
sivoais has quit [*.net *.split]
mal`` has quit [*.net *.split]
bacam has quit [*.net *.split]
wagle has quit [*.net *.split]
hyperboreean has quit [*.net *.split]
Obfuscate has quit [*.net *.split]
ccasin has quit [*.net *.split]
_habnabit has quit [*.net *.split]
cdidd has joined #ocaml
bddn has joined #ocaml
adrien_oww has joined #ocaml
julm` has joined #ocaml
Obfuscate` has joined #ocaml
asmanur has joined #ocaml
pr has joined #ocaml
nimred has joined #ocaml
ccasin has joined #ocaml
paolooo has joined #ocaml
bacam_ has joined #ocaml
dsheets has joined #ocaml
contempt has joined #ocaml
joewilliams has joined #ocaml
othiym23 has joined #ocaml
ssbr- has joined #ocaml
snarkyboojum has joined #ocaml
haelix has joined #ocaml
rixed_ has joined #ocaml
eudicot has joined #ocaml
srcerer has joined #ocaml
companion_cube has joined #ocaml
fx_ has joined #ocaml
vbmithr has joined #ocaml
_habnabit has joined #ocaml
jmcarthur has joined #ocaml
sivoais_ has joined #ocaml
ivan\ has joined #ocaml
TaXules has joined #ocaml
hnrgrgr has joined #ocaml
dnm_ has joined #ocaml
adrien has joined #ocaml
NaCl has joined #ocaml
contempt has quit [Max SendQ exceeded]
contempt has joined #ocaml
djcoin has quit [Quit: WeeChat 0.3.2]
srcerer has quit [Ping timeout: 245 seconds]
_habnabit has quit [Read error: Connection timed out]
_habnabit has joined #ocaml
contempt has quit [*.net *.split]
cdidd has quit [*.net *.split]
bddn has quit [*.net *.split]
adrien_oww has quit [*.net *.split]
contempt has joined #ocaml
cdidd has joined #ocaml
bddn has joined #ocaml
adrien_oww has joined #ocaml
sivoais_ has quit [Ping timeout: 246 seconds]
sivoais has joined #ocaml
paolooo has quit [Quit: Page closed]
sivoais has quit [Quit: leaving]
sivoais has joined #ocaml
sivoais has quit [Read error: Connection reset by peer]
sivoais has joined #ocaml
milosn has quit [Read error: No route to host]
milosn has joined #ocaml
gnuvince has quit [Ping timeout: 260 seconds]
sivoais has quit [Remote host closed the connection]
sivoais has joined #ocaml
<wmeyer> adrien: Saffire is a tool isn't it? you can use any previous version of OCaml + Camlp4 you want, unless you want to port it
Yoric has joined #ocaml
<adrien> wmeyer: I could; it wouldn't handle anything new in the syntax but that is probably quite uncommon in bindings code
<adrien> I'd like to have it updated and easily usable actully
<adrien> actually*
<adrien> I've created a project on the forge; I don't know which results it can give but it could be very interesting
<wmeyer> adrien: yes, I think it would need some work, but it would be useful to have it, thanks! I might run it on some of my C glue
bacam_ is now known as bacam
gnuvince has joined #ocaml
gnuvince has quit [Ping timeout: 245 seconds]
Kakadu has joined #ocaml
gnuvince has joined #ocaml
Yoric has quit [Ping timeout: 272 seconds]
Yoric has joined #ocaml
avsm has joined #ocaml
gnuvince has quit [Ping timeout: 276 seconds]
lopex has quit [Remote host closed the connection]
joewilliams has quit [Remote host closed the connection]
joewilliams has joined #ocaml
avsm has quit [Ping timeout: 245 seconds]
Drakken has quit [Ping timeout: 268 seconds]
Yoric has quit [Ping timeout: 240 seconds]
tomprince has joined #ocaml
Yoric has joined #ocaml
lopex has joined #ocaml
Chambart has joined #ocaml
Drakken has joined #ocaml
gnuvince has joined #ocaml
tane has quit [Quit: Verlassend]
paolooo has joined #ocaml
Chambart has quit [Ping timeout: 272 seconds]
ftrvxmtrx has quit [Quit: Leaving]
paolooo has quit [Ping timeout: 245 seconds]
avsm has joined #ocaml
Yoric has quit [Ping timeout: 246 seconds]
emmanuelux has joined #ocaml
dwmw2_go` has quit [Ping timeout: 260 seconds]
cdidd has quit [Remote host closed the connection]
avsm has quit [Quit: Leaving.]
Kakadu has quit [Quit: Konversation terminated!]
dwmw2_gone has joined #ocaml
dwmw2_gone has quit [Excess Flood]
dwmw2_gone has joined #ocaml
avsm has joined #ocaml
gnuvince has quit [Ping timeout: 264 seconds]
Mnabil has joined #ocaml
Mnabil has quit [Ping timeout: 265 seconds]
avsm has quit [Quit: Leaving.]
_habnabit has quit [Changing host]
_habnabit has joined #ocaml
lopex is now known as Guest96709
sivoais has quit [Quit: leaving]
sivoais has joined #ocaml
srcerer has joined #ocaml
_andre has quit [Quit: leaving]
avsm has joined #ocaml
ftrvxmtrx has joined #ocaml
eni_ has joined #ocaml
contempt has quit [Changing host]
contempt has joined #ocaml
avsm has quit [Quit: Leaving.]
avsm has joined #ocaml
emmanuel__ has joined #ocaml
avsm has quit [Client Quit]
emmanuelux has quit [Ping timeout: 265 seconds]
osa1 has joined #ocaml
avsm has joined #ocaml
gnuvince has joined #ocaml
avsm has quit [Quit: Leaving.]
ankit9 has quit [Ping timeout: 265 seconds]
Anarchos has joined #ocaml
ankit9 has joined #ocaml
eni_ has quit [Ping timeout: 268 seconds]
hongboz has joined #ocaml
Obfuscate` has quit [Changing host]
Obfuscate` has joined #ocaml
Obfuscate` is now known as Obfuscate
avsm has joined #ocaml
osa1 has quit [Ping timeout: 246 seconds]
avsm has quit [Quit: Leaving.]
jamii has joined #ocaml
<Anarchos> Porting the runtime into an exotic assembler is not easy :)
hongboz has quit [Ping timeout: 272 seconds]
wagle has joined #ocaml
Guest96709 has quit []
Guest96709 has joined #ocaml
Guest96709 is now known as lopex
lopex is now known as Guest82365
Guest82365 has quit [Client Quit]
sporkmonger has quit [Quit: Poof!]
lopexx has joined #ocaml
lopex has joined #ocaml
lopexx has quit [Client Quit]
Mnabil has joined #ocaml
mattrepl has quit [Quit: mattrepl]
Reventloff has quit [Quit: leaving]
Mnabil has quit [Ping timeout: 244 seconds]
sgnb` has joined #ocaml
sgnb has quit [Ping timeout: 272 seconds]
jamii has quit [Read error: Connection reset by peer]