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
Progster has quit [Ping timeout: 244 seconds]
ulfdoz has quit [Ping timeout: 240 seconds]
ulfdoz has joined #ocaml
chad has quit [Quit: chad]
TDJACR has joined #ocaml
struktured has joined #ocaml
<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.
<orbitz> Kakadu: What are you asking me?
<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
<Anarchos> if i add the "-c" flag, all is well
Submarine has quit [Quit: Leaving]
* Anarchos just found it was bug #0005611 on http://caml.inria.fr/mantis/view.php?id=5611
flabron has joined #ocaml
smondet has quit [Quit: Bye]
ftrvxmtrx has quit [Ping timeout: 248 seconds]
aymeric has quit [Remote host closed the connection]
slash^ has quit [Quit: Lost terminal]
ftrvxmtrx has joined #ocaml
eni has quit [Quit: .]
Sablier has quit [Ping timeout: 250 seconds]
err404 has joined #ocaml
Xizor has quit [Ping timeout: 260 seconds]
dsheets has joined #ocaml
Anarchos has quit [Quit: Vision[0.9.7-H-090423]: i've been blurred!]
emmanuel__ has joined #ocaml
emmanuelux has quit [Ping timeout: 264 seconds]
flabron has quit [Ping timeout: 246 seconds]
tmaedaZ has quit [Ping timeout: 265 seconds]
tmaedaZ has joined #ocaml
zolk3ri has quit [Ping timeout: 240 seconds]