<kaustuv>
Yoric[DT]: I'll contact Jeremie after the CADE and ICLP deadlines, i.e., circa March 7. I'm too busy right now.
jado_ has joined #ocaml
<Yoric[DT]>
ok
* Yoric[DT]
certainly hopes his new job will let him actually do some research.
<kaustuv>
Not if Sarkozy has his way.
<kaustuv>
(kidding)
<kaustuv>
((and, yet, not kidding))
<Yoric[DT]>
Yeah :/
<Yoric[DT]>
The current state of French universities, reforms, etc. has managed to make me spend 2.5 years without publishable research.
<Yoric[DT]>
LRU & Sarkozy just make things muuuuuuch worse.
love-pingoo has joined #ocaml
Associat0r has quit []
seafood has joined #ocaml
<Yoric[DT]>
Anyway, I'm leaving this part of the system.
<Yoric[DT]>
I spent too much time doing research which I can't publish largely because of the team in which I work.
jado has quit [Read error: 110 (Connection timed out)]
vovkaii has joined #ocaml
vovkaii has quit [Read error: 110 (Connection timed out)]
palomer has joined #ocaml
<palomer>
omc files should not be included in a repository, right?
angerman has joined #ocaml
<Yoric[DT]>
omc?
<Yoric[DT]>
Ah, OMake, I guess.
* Yoric[DT]
doesn't know.
<sanguinev>
Copy one somewhere else and see if the file is recreated for you from the files in the repostiry. If it is auto-generated then you don't need it. ;)
seafood has quit []
Yoric[DT] has quit ["Ex-Chat"]
tripwyre has joined #ocaml
Associat0r has joined #ocaml
ched_ has joined #ocaml
Ched has quit [Read error: 110 (Connection timed out)]
tripwyre has quit []
bohanlon has quit ["I fear that I must depart for now."]
kaustuv has left #ocaml []
mytoz has quit [Read error: 104 (Connection reset by peer)]
mytoz has joined #ocaml
bohanlon has joined #ocaml
jeddhaberstro has quit []
palomer has quit [Remote closed the connection]
sanguine1 has joined #ocaml
sanguinev has quit [Read error: 113 (No route to host)]
Stefan_vK1 has joined #ocaml
sporkmonger has quit []
Stefan_vK has quit [Read error: 110 (Connection timed out)]
bzzbzz has quit ["leaving"]
angerman has quit []
Associat0r has quit [Read error: 104 (Connection reset by peer)]
angerman has joined #ocaml
vovkaii has joined #ocaml
Snark has joined #ocaml
palomer has joined #ocaml
vovkaii has quit [Read error: 110 (Connection timed out)]
ulfdoz has quit [brown.freenode.net irc.freenode.net]
sanguine1 has quit [brown.freenode.net irc.freenode.net]
ched_ has quit [brown.freenode.net irc.freenode.net]
xian has quit [brown.freenode.net irc.freenode.net]
tonyIII__ has quit [brown.freenode.net irc.freenode.net]
thelema has quit [brown.freenode.net irc.freenode.net]
mr_uggla_ has quit [brown.freenode.net irc.freenode.net]
pixel__ has quit [brown.freenode.net irc.freenode.net]
holgr has quit [brown.freenode.net irc.freenode.net]
maskd has quit [brown.freenode.net irc.freenode.net]
rwmjones has quit [brown.freenode.net irc.freenode.net]
sanguine1 has joined #ocaml
ched_ has joined #ocaml
xian has joined #ocaml
tonyIII__ has joined #ocaml
thelema has joined #ocaml
mr_uggla_ has joined #ocaml
pixel__ has joined #ocaml
ulfdoz has joined #ocaml
rwmjones has joined #ocaml
maskd has joined #ocaml
holgr has joined #ocaml
love-pingoo has quit ["Connection reset by pear"]
jeremiah has joined #ocaml
tripwyre has joined #ocaml
_zack has joined #ocaml
vovkaii has joined #ocaml
palomer has quit ["Leaving"]
_zack has quit ["Leaving."]
schmx has joined #ocaml
schme has quit [Read error: 60 (Operation timed out)]
filp has joined #ocaml
ikaros has joined #ocaml
mishok13 has joined #ocaml
seafood has joined #ocaml
vovkaii has quit [Read error: 110 (Connection timed out)]
tripwyre has quit []
Yoric[DT] has joined #ocaml
<Yoric[DT]>
hi
vovkaii has joined #ocaml
slash_ has joined #ocaml
<Yoric[DT]>
mfp: ping
<Yoric[DT]>
If anyone sees Camarade_tux, could you ask him to contact me?
angerman has quit []
vovkaii has quit [Read error: 110 (Connection timed out)]
OChameau has joined #ocaml
Yoric[DT] has quit ["Ex-Chat"]
slash_ has quit ["leaving"]
slash_ has joined #ocaml
seafood has quit []
_zack has joined #ocaml
vovkaii has joined #ocaml
yziquel has joined #ocaml
<yziquel>
hi. is there an easy ways to convert a string to an in_channel?
vovkaii has quit [Connection timed out]
Alpounet has joined #ocaml
weechat2 is now known as chicco
<chicco>
in_channel is a type that can only be created from C code
<chicco>
but you can create a pipe with Unix.pipe
<chicco>
and create a channel with the file_descriptors returned...
<yziquel>
i noticed that there was a way to convert a string to a Batteries System.IO.input (i.e. input_string), but i haven't found a way to convert an input to an in_channel. i only found a way to convert an in_channel to an input... i'll give a try at your solution. thanks.
<mfp>
yziquel: there's definitely one in Batteries, saw it in the diffs. It either extracts the internal in_channel or write the thing to a file & does open_in... (IIRC there used to be something that uses pipes... more complex and maybe not portable.)
<mfp>
d68992a7 IO.to_input_channel implemented.
<mfp>
"Note This function is extremely costly and is provided ssentially for debugging purposes or for reusing legacy libraries which can't be adapted. As a general rule, if you can avoid using this function, don't use it."
Snark has quit ["Ex-Chat"]
slash_ has quit ["leaving"]
slash_ has joined #ocaml
vovkaii has joined #ocaml
hkBst has joined #ocaml
yziquel has quit [Remote closed the connection]
angerman has joined #ocaml
sporkmonger has joined #ocaml
Fullma has joined #ocaml
ched_ has quit ["Ex-Chat"]
Ched has joined #ocaml
pango has joined #ocaml
sporkmonger has quit []
itewsh has joined #ocaml
jado__ has joined #ocaml
paul424 has joined #ocaml
Alpounet has quit ["Quitte"]
kaustuv has joined #ocaml
Stefan_vK has joined #ocaml
jado has joined #ocaml
jado_ has quit [Read error: 110 (Connection timed out)]
jado__ has quit [Read error: 60 (Operation timed out)]
Stefan_vK1 has quit [Read error: 110 (Connection timed out)]