<Qrntz>
bitbckt, dead regarding usage/popularity, not developer activity
TDJACR has quit [Read error: Operation timed out]
TDJACR has joined #ocaml
destrius has joined #ocaml
ski has quit [Ping timeout: 265 seconds]
ski has joined #ocaml
ski has quit [Ping timeout: 246 seconds]
ski has joined #ocaml
`micro has quit [Read error: Operation timed out]
`micro has joined #ocaml
ski has quit [Ping timeout: 240 seconds]
Progster has joined #ocaml
dsheets has quit [Ping timeout: 240 seconds]
struktured has quit [Read error: Operation timed out]
ski has joined #ocaml
itegebo has joined #ocaml
itegebo has quit [Client Quit]
ski has quit [Ping timeout: 252 seconds]
ski has joined #ocaml
itegebo has joined #ocaml
Progster has quit [Ping timeout: 240 seconds]
ski has quit [Ping timeout: 240 seconds]
ski has joined #ocaml
ankit9 has joined #ocaml
slash^ has joined #ocaml
sepp2k has joined #ocaml
netrino_ has joined #ocaml
netrino has quit [Ping timeout: 246 seconds]
osa1 has quit [Quit: Konversation terminated!]
Hodapp has quit [Ping timeout: 240 seconds]
Submarine has joined #ocaml
Submarine has quit [Changing host]
Submarine has joined #ocaml
Submarine has quit [Remote host closed the connection]
ankit9 has quit [Quit: Leaving]
Submarine has joined #ocaml
Submarine has quit [Changing host]
Submarine has joined #ocaml
pango is now known as pangoafk
ankit9 has joined #ocaml
djcoin has joined #ocaml
patronus_ has joined #ocaml
ski has quit [*.net *.split]
itegebo has quit [*.net *.split]
tufisi has quit [*.net *.split]
rwmjones has quit [*.net *.split]
zorun has quit [*.net *.split]
jave has quit [*.net *.split]
hcarty has quit [*.net *.split]
ztfw has quit [*.net *.split]
patronus has quit [*.net *.split]
jave_ has joined #ocaml
jave_ is now known as jave
zorun has joined #ocaml
cago has joined #ocaml
ztfw has joined #ocaml
itegebo has joined #ocaml
mika1 has joined #ocaml
ski has joined #ocaml
hcarty has joined #ocaml
Sablier has joined #ocaml
tufisi has joined #ocaml
edwin has joined #ocaml
edwin1 has joined #ocaml
edwin1 has quit [Client Quit]
edwin has left #ocaml []
rwmjones has joined #ocaml
Submarine has quit [Remote host closed the connection]
silver has joined #ocaml
emmanuelux has quit [Ping timeout: 244 seconds]
thomasga has joined #ocaml
cdidd has quit [Ping timeout: 260 seconds]
avsm has joined #ocaml
avsm has quit [Client Quit]
cdidd has joined #ocaml
djcoin has quit [Quit: WeeChat 0.3.2]
emmanuelux has joined #ocaml
milosn has quit [Read error: Connection reset by peer]
milosn has joined #ocaml
milosn has quit [Ping timeout: 240 seconds]
milosn has joined #ocaml
djcoin has joined #ocaml
milosn has quit [Ping timeout: 255 seconds]
milosn has joined #ocaml
ankit9 has quit [Ping timeout: 240 seconds]
thomasga1 has joined #ocaml
thomasga has quit [Remote host closed the connection]
ftrvxmtrx has joined #ocaml
Yoric has joined #ocaml
jknick has quit [Ping timeout: 272 seconds]
avsm has joined #ocaml
Yoric1 has joined #ocaml
ankit9 has joined #ocaml
Yoric has quit [Ping timeout: 265 seconds]
jknick has joined #ocaml
orbitz has quit [Ping timeout: 260 seconds]
orbitz has joined #ocaml
avsm has quit [Quit: Leaving.]
Hussaind has joined #ocaml
Progster has joined #ocaml
Hussaind has left #ocaml []
beckerb has joined #ocaml
emmanuelux has quit [Ping timeout: 265 seconds]
ozoie has joined #ocaml
Yoric1 has quit [Ping timeout: 264 seconds]
probst has joined #ocaml
Yoric has joined #ocaml
probst has quit [Client Quit]
netrino_ has quit [Read error: Operation timed out]
emmanuelux has joined #ocaml
destrius has quit [Quit: Leaving.]
netrino_ has joined #ocaml
Yoric has quit [Ping timeout: 264 seconds]
Progster has quit [Read error: Operation timed out]
_andre has joined #ocaml
zolk3ri has joined #ocaml
ozoie is now known as babalu
emmanuelux has quit [Ping timeout: 245 seconds]
babalu has quit [Quit: Page closed]
Progster has joined #ocaml
ulfdoz has quit [Ping timeout: 245 seconds]
oriba has joined #ocaml
Hodapp has joined #ocaml
avsm has joined #ocaml
emmanuelux has joined #ocaml
struktured has joined #ocaml
avsm has quit [Quit: Leaving.]
emmanuelux has quit [Read error: Operation timed out]
struktured has quit [Remote host closed the connection]
avsm has joined #ocaml
emmanuelux has joined #ocaml
ankit9 has quit [Ping timeout: 240 seconds]
gnuvince has quit [Ping timeout: 250 seconds]
smondet has joined #ocaml
avsm has quit [Ping timeout: 265 seconds]
gnuvince has joined #ocaml
Yoric has joined #ocaml
oriba has quit [Quit: oriba]
emmanuelux has quit [Remote host closed the connection]
Progster has quit [Ping timeout: 245 seconds]
ankit9 has joined #ocaml
ankit9 has quit [Client Quit]
tbrady has joined #ocaml
cago has quit [Quit: Leaving.]
diego_diego has joined #ocaml
tic-tacs is now known as tac-tics
mika1 has quit [Quit: Leaving.]
diego_diego has left #ocaml []
Sablier has quit [Quit: Kat]
Yoric1 has joined #ocaml
Yoric has quit [Ping timeout: 245 seconds]
Sablier has joined #ocaml
Sablier has quit [Read error: Connection reset by peer]
Sablier has joined #ocaml
silver has quit [Quit: I put on my robe and wizard hat]
djcoin has quit [Quit: WeeChat 0.3.2]
cdidd has quit [Ping timeout: 265 seconds]
flabron has joined #ocaml
BiDOrD has joined #ocaml
BiDOrD_ has quit [Ping timeout: 264 seconds]
<flabron>
Hello everyone. It's possible to create a list with various types defined by me?
<thizanne>
flabron: you must group them into a unique type
TDJACR has quit [Ping timeout: 250 seconds]
cdidd has joined #ocaml
<thizanne>
like type all = | T1 of my_type 1 | T2 of my_type_2...
<flabron>
thizanne: thank you. It worked
pangoafk is now known as pango
Kakadu has joined #ocaml
thomasga1 has quit [Quit: Leaving.]
<Kakadu>
I have binded a socket to channel. How to read all available data from it?
<Kakadu>
Does Pervasives.input blocks an execution?
<orbitz>
input blocks, yes
<orbitz>
Kakadu: If you're using Lwt you get non blocking functions
<Kakadu>
I have pure sockets and
<Kakadu>
let sin,sout = open_connection (ADDR_INET (Unix.inet_addr_of_string "127.0.0.1"))
<orbitz>
Ok
<Kakadu>
It will be great if Pervasives.input returns 0 if sockets channel is empty
<diml>
Kakadu: you have to put the socket in non-blocking mode: Unix.set_nonblock (Unix.descr_of_in_channel sin)
<diml>
input will raise Sys_blocked_io
<Kakadu>
diml: thanks, I'l test it
Tobu has quit [Remote host closed the connection]
Tobu has joined #ocaml
gnuvince has quit [Ping timeout: 265 seconds]
gnuvince has joined #ocaml
<Kakadu>
It seems that set_nonblock raises exception Invalid_argument("input")
<Kakadu>
stop
<Kakadu>
not set_nonblock, I've failed
hongboz has joined #ocaml
<mrvn>
why do you want a channel?
<Kakadu>
mrvn: I want something simple
<mrvn>
Unix.read
<Kakadu>
maybe
Xizor has joined #ocaml
<Kakadu>
Very nice
<Kakadu>
with Unix.set_nonblock program crashes with exception Sys_blocked_io
<Kakadu>
without nothing is sended to server
<_habnabit>
Kakadu, that's not a 'crash'. it's just an exception
<_habnabit>
Kakadu, if there's no data in the buffer, you'll get that exception
<_habnabit>
Kakadu, you should probably consider not trying to learn about sockets from scratch
<_habnabit>
sockets are anything but 'simple'
<Kakadu>
_habnabit: so you recommend to try some abstract library?
<_habnabit>
sure
<Kakadu>
s/abstract/high-level/
<mrvn>
or at least use Unix.select to wait for something to read.
<mrvn>
And if write would block on a non-blocking socket then I think you are screwed with channels. I don't think they can only flush half their buffer and go on.
tac-tics has quit [Ping timeout: 245 seconds]
<Kakadu>
I need something like Lwt_unix, don't me?
<mrvn>
if you like
<orbitz>
yo dont' need, you can implemetn with lwt does yourelf
tac-tics has joined #ocaml
<_habnabit>
orbitz, why bother?
<orbitz>
_habnabit: I'm not saying he should, i'm just saying he doesn't need it, it's just a good idea
Yoric1 has quit [Ping timeout: 255 seconds]
<Kakadu>
So, after
<Kakadu>
let fdscr = Lwt_unix.socket Unix.PF_INET Unix.SOCK_STREAM 0
<Kakadu>
let () = Lwt_unix.connect fdscr (ADDR_INET (Unix.inet_addr_of_string server_ip, 1234))
Progster has joined #ocaml
<Kakadu>
I should use Lwt_unix.wait_read before reading?
<orbitz>
Kakadu: Check the Lwt docs
<orbitz>
Kakadu: There is an lwt tutorial on the site too, please read that.
<Kakadu>
orbitz: You have mentioned an lwt tutorial. On https://ocsigen.org/lwt/ I see only ocigen tutorial (with error 500, btw). Talking about tutorial you thought about link above?
beckerb has quit [Quit: Konversation terminated!]
<orbitz>
Kakadu: I don't know where it is, the more epxloring your od on lwt site teh better though.
aymeric has joined #ocaml
aymeric has quit [Remote host closed the connection]
aymeric has joined #ocaml
gallais has joined #ocaml
flabron has quit [Ping timeout: 245 seconds]
eni has joined #ocaml
gnuvince has quit [Ping timeout: 246 seconds]
gnuvince has joined #ocaml
Anarchos has joined #ocaml
ninegrid has quit [Read error: Operation timed out]
jknick has quit [Ping timeout: 255 seconds]
Yoric has joined #ocaml
jknick has joined #ocaml
tac-tics has quit [Ping timeout: 245 seconds]
ulfdoz has joined #ocaml
tac-tics has joined #ocaml
pango has quit [Remote host closed the connection]
pango has joined #ocaml
<Anarchos>
how to compile file a.ml consisting in "open A let x=1" when the "open A" refers to another file a.ml located in another directory ?
<Yoric>
iirc, add [ -I other_directory ] to your command-line arguments
<Anarchos>
Yoric i tried...
<Anarchos>
Yoric it complains about A being not found
<Anarchos>
Yoric i must admit that my version is 4.01.0+dev2_2012-04-17
<Anarchos>
Yoric can you do this little test and tell me what you get ?
<Yoric>
Actually, I am quite busy atm, sorry.
<Anarchos>
Yoric no pbm :)
<Anarchos>
Yoric i will just use other names for my files ;)
<Yoric>
:)
eni has quit [Ping timeout: 246 seconds]
<adrien>
Anarchos: possibly, you could use packs
<Anarchos>
adrien it will be simple to change names.
<adrien>
of course =)
<Anarchos>
simpler sorry
<Anarchos>
adrien i am able to manipulate LateX formulas to feed my proof verifier (well its first stage indeed)
<adrien>
oh, nice =)
<Anarchos>
the only part in ocaml that i still need (apart from debugging) is writing a menhir parser to parse a math formula and verify its conformance to a given sets of symbols in a theory.
Anarchos has quit [Quit: i will come back soon]
Yoric has quit [Ping timeout: 246 seconds]
<mrvn>
so just some trivial thing then
oriba has joined #ocaml
Submarine has joined #ocaml
Submarine has quit [Changing host]
Submarine has joined #ocaml
Anarchos has joined #ocaml
Yoric has joined #ocaml
sepp2k has quit [Remote host closed the connection]
_andre has quit [Quit: leaving]
tic-tacs has joined #ocaml
Yoric has quit [Ping timeout: 255 seconds]
tac-tics has quit [Ping timeout: 245 seconds]
Yoric has joined #ocaml
tic-tacs is now known as tac
tac is now known as tac-tics
Tobu has quit [Remote host closed the connection]
eni has joined #ocaml
Tobu has joined #ocaml
iago has joined #ocaml
err404 has joined #ocaml
netrino_ has quit [Quit: Ave!]
emmanuelux has joined #ocaml
err404 has quit [Quit: Ex-Chat]
gnuvince has quit [Ping timeout: 265 seconds]
Kakadu has quit [Quit: Konversation terminated!]
gnuvince has joined #ocaml
Progster has quit [Ping timeout: 260 seconds]
<Anarchos>
what does it mean : ocamlc -I ../Preuves/_build/premier_ordre -o /Data1/projects/Student/signatures/Signature1.cmo /Data1/projects/Student/sig natures/Signature1.ml Fatal error: exception End_of_file