flux changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/ | OCaml 4.00.1 http://bit.ly/UHeZyT | http://www.ocaml.org | Public logs at http://tunes.org/~nef/logs/ocaml/
tane has quit [Quit: Verlassend]
clintnewsom has joined #ocaml
k0001_ has quit [Ping timeout: 250 seconds]
k0001 has joined #ocaml
oriba has quit [Quit: oriba]
gnuvince has joined #ocaml
mye_ has quit [Quit: mye_]
mcsquiggedy has left #ocaml []
mye has joined #ocaml
mye has quit [Client Quit]
madroach has quit [Ping timeout: 248 seconds]
madroach has joined #ocaml
Icarot has joined #ocaml
oriba has joined #ocaml
ktsouk has joined #ocaml
oriba has quit [Quit: oriba]
milosn_ has joined #ocaml
milosn has quit [Ping timeout: 245 seconds]
k0001_ has joined #ocaml
mattrepl has joined #ocaml
k0001 has quit [Ping timeout: 252 seconds]
yacks has joined #ocaml
mattrepl has quit [Quit: mattrepl]
ktsouk has quit [Quit: ktsouk]
gnuvince_ has joined #ocaml
gnuvince has quit [Ping timeout: 248 seconds]
pygmalion has joined #ocaml
pygmalion has quit [Remote host closed the connection]
gnuvince_ has left #ocaml []
lenstr has quit [Ping timeout: 272 seconds]
leoncamel has quit [Quit: WeeChat 0.3.9.2]
weie has joined #ocaml
k0001 has joined #ocaml
LeNsTR has joined #ocaml
k0001_ has quit [Ping timeout: 255 seconds]
clintnewsom has quit [Quit: clintnewsom]
weie_ has joined #ocaml
weie has quit [Ping timeout: 248 seconds]
weie_ has quit [Read error: Connection reset by peer]
weie has joined #ocaml
gnuvince has joined #ocaml
Icarot has quit [Ping timeout: 256 seconds]
leoncamel has joined #ocaml
nicoo has quit [Ping timeout: 248 seconds]
Icarot has joined #ocaml
nicoo has joined #ocaml
Icarot has quit [Ping timeout: 240 seconds]
amaloz has quit [Read error: Connection reset by peer]
amaloz has joined #ocaml
amaloz has left #ocaml []
k0001_ has joined #ocaml
k0001 has quit [Ping timeout: 276 seconds]
mcclurmc has quit [Ping timeout: 248 seconds]
adotbrown has quit [Ping timeout: 248 seconds]
adotbrown has joined #ocaml
Yoric has joined #ocaml
adotbrown has quit [Ping timeout: 252 seconds]
ttamttam has joined #ocaml
Kakadu has joined #ocaml
thomasga has joined #ocaml
LeNsTR has quit [Changing host]
LeNsTR has joined #ocaml
Cyanure has joined #ocaml
Yoric has quit [Ping timeout: 256 seconds]
k0001_ has quit [Ping timeout: 248 seconds]
k0001 has joined #ocaml
k0001 has quit [Ping timeout: 252 seconds]
Cyanure has quit [Remote host closed the connection]
ttamttam1 has joined #ocaml
ttamttam has quit [Ping timeout: 248 seconds]
anderse has joined #ocaml
noam has quit [Ping timeout: 255 seconds]
noam has joined #ocaml
Icarot has joined #ocaml
ottbot has quit [Read error: Operation timed out]
anderse has quit [Quit: anderse]
ivan\ has quit [Ping timeout: 276 seconds]
ivan\ has joined #ocaml
Icarot has quit [Ping timeout: 252 seconds]
mika1 has joined #ocaml
cago has joined #ocaml
djcoin has joined #ocaml
noam has quit [Read error: Connection reset by peer]
noam has joined #ocaml
Icarot has joined #ocaml
mcclurmc has joined #ocaml
ottbot has joined #ocaml
Icarot has quit [Ping timeout: 255 seconds]
ollehar has joined #ocaml
Asmadeus has quit [Read error: Operation timed out]
Asmadeus has joined #ocaml
ontologiae has joined #ocaml
cdidd has quit [Remote host closed the connection]
adrien_o1w is now known as adrien_oww
Icarot has joined #ocaml
kaustuv has joined #ocaml
<kaustuv> Where can I find a list of all opam variables (the stuff I can put inside %{}%)?
tane has joined #ocaml
<thomasga> opam config list
<kaustuv> thanks
cdidd has joined #ocaml
pkrnj has quit [Quit: Textual IRC Client: www.textualapp.com]
cdidd has quit [Remote host closed the connection]
ttamttam1 has quit [Read error: Connection reset by peer]
ttamttam has joined #ocaml
ttamttam has quit [Read error: Connection reset by peer]
ttamttam has joined #ocaml
troydm has quit [Ping timeout: 256 seconds]
cdidd has joined #ocaml
mfp has quit [Quit: Leaving]
ttamttam has quit [Ping timeout: 245 seconds]
hto has quit [Read error: Connection reset by peer]
hto has joined #ocaml
Yoric has joined #ocaml
Yoric1 has joined #ocaml
Yoric has quit [Ping timeout: 252 seconds]
Icarot has quit [Ping timeout: 245 seconds]
_andre has joined #ocaml
yacks has quit [Ping timeout: 245 seconds]
Anarchos has joined #ocaml
<Anarchos> coqtop complains about : resolve symbol "camlPp__strbrk_1081" returned: -2147478780
_andre has quit [Quit: leaving]
gustav_ has quit [Remote host closed the connection]
_andre has joined #ocaml
ttamttam has joined #ocaml
troydm has joined #ocaml
oriba has joined #ocaml
mfp has joined #ocaml
ttamttam has quit [Ping timeout: 248 seconds]
clintnewsom has joined #ocaml
yacks has joined #ocaml
q66 has joined #ocaml
gnuvince has quit [Ping timeout: 248 seconds]
Icarot has joined #ocaml
Kakadu has quit []
ttamttam has joined #ocaml
adrien_o1w has joined #ocaml
adrien_oww has quit [Ping timeout: 250 seconds]
tane has quit [Quit: Verlassend]
adrien_o1w is now known as adrien_oww
Icarot has quit [Ping timeout: 276 seconds]
Icarot has joined #ocaml
kaustuv has left #ocaml []
contempt has quit [Remote host closed the connection]
contempt has joined #ocaml
tane has joined #ocaml
Icarot has quit [Ping timeout: 245 seconds]
thomasga1 has joined #ocaml
thomasga has quit [Read error: Connection reset by peer]
Icarot has joined #ocaml
thomasga1 has quit [Read error: Connection reset by peer]
thomasga has joined #ocaml
oriba has quit [Quit: oriba]
Kakadu has joined #ocaml
bacam has quit [Ping timeout: 252 seconds]
Icarot has quit [Ping timeout: 245 seconds]
bacam has joined #ocaml
mattrepl has joined #ocaml
mattrepl has quit [Client Quit]
mattrepl has joined #ocaml
rixed has quit [Remote host closed the connection]
SanderM has joined #ocaml
clintnewsom has quit [Quit: clintnewsom]
mattrepl has quit [Quit: mattrepl]
notk0 has joined #ocaml
<notk0> hello, does opam allow to install the latest version of ocaml as well?
<Kakadu> notk0: yep
<notk0> should I remove my current version of ocaml before installing opam?
<Kakadu> not
<notk0> the one in my distro packages is 3.12.1 and I want 4
<Kakadu> don't remoe it
<notk0> there won't be a conflict ?
<Kakadu> not conflicts
<Kakadu> opam installs all to ~/.opam
<notk0> but how will I be able to use both? cause of the PATH ?
<Kakadu> eval `opam config env`
<Kakadu> you also can read manual in the web
<notk0> I searched the packages but I don't see ocaml there, how should I install ocaml 4.0 ?
<jbrown> "opam switch"
<notk0> I know ocaml config env sets environment variables for PATH and such
<notk0> I see, I will try that now, also do you guys recommend tuareg or typerex?
mattrepl has joined #ocaml
<Kakadu> also there is merlin but I have not tried it yet
Yoric1 has quit [Quit: Instantbird 1.4a1pre -- http://www.instantbird.com]
Yoric has joined #ocaml
* jbrown uses nedit, but you probably shouldn't pay attention to me :-)
<jbrown> there's a syntax-highlighting mode for that somewhere, what more could you ask for
<notk0> opam takes a long time to install, it compiles everything from scratch ?
<jbrown> yeah.
<notk0> it should do parallel compiling I think for multicore machines and such
<notk0> everything is multicore nowdays even smartphones
<Kakadu> notk0: hm, I thought that it is already implemented
<notk0> it is?
<notk0> cool
<Kakadu> seems not
<notk0> still compiling tho
<Kakadu> but I'm not expert
<Kakadu> I can ask that in opam-devel maillist
<notk0> what are binary annotation files?
<notk0> are they for debugging ?
<djcoin> notk0: what about reading the manual ?
Yoric has quit [Ping timeout: 256 seconds]
<notk0> djcoin: the typerex tutorial says to modify the makefile to do binary annotation and I was thinking maybe it's something the plugin uses, some debug mode
cago has left #ocaml []
travisbrady has joined #ocaml
Snark has joined #ocaml
<orbitz> notk0: it just adds some useful information to binary files, usually about types and shit
<notk0> oh ok
mika1 has quit [Quit: Leaving.]
clintnewsom has joined #ocaml
cdidd has quit [Remote host closed the connection]
arduinoob has joined #ocaml
<arduinoob> anyone here using ocaide?
<arduinoob> when I right-click on a file.byte and go to Debug As > according to the docs there should be an opion to debug as Ocaml executable.
<arduinoob> but I don't see this
<arduinoob> i think I figured it out
<ollehar> An OCaml thread never runs concurrent with another, right? So operations on global values are guaranteed atomic?
<adrien_oww> no
<adrien_oww> an ocaml thread never allocates at the same time as another one
<ollehar> as opposed to lwt?
<sgnb> I wouldn't rely on any assumption on the implementation of the ocaml runtime
<sgnb> there are mutexes and such to guarantee proper semantics
<sgnb> (even in lwt)
<ollehar> thank you
<ollehar> what does >>= mean?
<companion_cube> it's the monadic "bind"
<companion_cube> ('a -> 'b Lwt.t) -> 'a Lwt.t -> 'b Lwt.t
<companion_cube> so it waits for the first Lwt value to return, and it applies the function to the result to produce a new Lwt value
<ollehar> ok, thanks
<pippijn> companion_cube: the first two arguments are inverted
<pippijn> first the monadic value, then the function
<companion_cube> err, sure
<companion_cube> sorry
<companion_cube> 'a Lwt.t -> ('a -> 'b Lwt.t) -> 'b Lwt.t
djcoin has quit [Quit: WeeChat 0.3.9.2]
ttamttam has quit [Quit: ttamttam]
<ollehar> shouldn't mutex refer to the specific resource being mutexed?
<ollehar> or do you lock everything?
<ollehar> for Mutex module
mcclurmc has quit [Ping timeout: 248 seconds]
mcclurmc has joined #ocaml
<ollehar> nm, got it :)
SanderM has quit [Read error: Connection reset by peer]
mattrepl has quit [Quit: mattrepl]
beckerb has quit [Quit: Konversation terminated!]
beckerb has joined #ocaml
beckerb has quit [Ping timeout: 245 seconds]
ttamttam has joined #ocaml
ontologi1e has joined #ocaml
thomasga has quit [Quit: Leaving.]
smango_ has joined #ocaml
asmanur_ has joined #ocaml
Yoric has joined #ocaml
jave has joined #ocaml
ttamttam has quit [*.net *.split]
ontologiae has quit [*.net *.split]
ottbot has quit [*.net *.split]
pango has quit [*.net *.split]
paddymahoney has quit [*.net *.split]
jave_ has quit [*.net *.split]
smango has quit [*.net *.split]
asmanur has quit [*.net *.split]
mcsquiggedy has joined #ocaml
<ollehar> can't I "fork" a new process with lwt, and let the present thread move on?
ttamttam has joined #ocaml
SuperNoeMan has joined #ocaml
pango has joined #ocaml
<SuperNoeMan> hey, why does this snippet keep returning an error?
paddymahoney has joined #ocaml
clintnewsom has quit [Ping timeout: 245 seconds]
ottbot has joined #ocaml
clintnewsom has joined #ocaml
clintnewsom has quit [Quit: clintnewsom]
smerz has joined #ocaml
mattrepl has joined #ocaml
<companion_cube> ollehar: by "process", you mean spawning a system process?
<ollehar> companion_cube: no, just a thread. but I think the problem instead is that socket.accept blocks the socket, so the channels can't send and receive.
<companion_cube> look at Lwt_io
<companion_cube> Lwt provides many non-blocking alternatives to standard functions
notk0 has left #ocaml []
<orbitz> ollehar: use Lwt or Async
paddymahoney has quit [Remote host closed the connection]
<orbitz> Lwt als ohas ability to detatch work to a thread
<ollehar> thank you, I'm trying ;)
<ollehar> I'm trying to use that lib
<ollehar> and expanding the example server so it can accept multiple websockets
<orbitz> when yousay thread do you mean OS thread or Lwt thread?
<ollehar> lwt
<ollehar> now
<ollehar> :)
<ollehar> I think I got it, length -1 instead of length... silly
<ollehar> didn't through exception, for some reason
<ollehar> when looping channels
<ollehar> that's the block
<ollehar> stuck on write_text_frame on non-existing channel
mcclurmc has quit [Ping timeout: 264 seconds]
amaloz has joined #ocaml
k0001 has joined #ocaml
mcsquiggedy has quit [Ping timeout: 252 seconds]
mattrepl has quit [Quit: mattrepl]
k0001 has quit [Ping timeout: 252 seconds]
mcsquiggedy has joined #ocaml
mattrepl has joined #ocaml
osa1 has joined #ocaml
<ollehar> could it be better to send a state as a message to threads instead of using global ref with mutex?
yacks has quit [Read error: Connection reset by peer]
<pippijn> ollehar: yes
ontologi1e has quit [Ping timeout: 276 seconds]
clintnewsom has joined #ocaml
thomasga has joined #ocaml
k0001 has joined #ocaml
tane has quit [Quit: Verlassend]
k0001 has quit [Ping timeout: 252 seconds]
ottbot has quit [Ping timeout: 240 seconds]
<travisbrady> Anyone know how to specify ocamlbuild's "-no-links" option in an _oasis file?
<ollehar> pippijn: but a mailbox would block the thread, no?
<pippijn> I don't know what you are doing
<pippijn> are you using threads for performance or for abstraction?
<pippijn> because if you're doing the former, you're doing it wrong
<pippijn> anyway, when you send a message to a thread, that thread will do something
<pippijn> so it would block in a way
<pippijn> so you would normally start another thread in that thread, waiting for the message
<pippijn> ollehar: are you aware that writing to stdout in lwt will start a new thread just for the writing?
derek_c has joined #ocaml
clintnewsom has quit [Ping timeout: 255 seconds]
<ollehar> pippijn: no, I didn't know that
<ollehar> I'm using lwt right now to implement a chat server
<ollehar> each channel in the socket gets a thread
<ollehar> for each client, I mean
<pippijn> sounds wrong to me
<pippijn> are you aware that Lwt threads are not preemptive?
smerz has quit [Ping timeout: 264 seconds]
<ollehar> You mean that a thread never runs before another one sleeps?
<pippijn> yes
<pippijn> also, they all run on the same CPU
<ollehar> same CPU is ok, it's a chat for each CGI instance
clintnewsom has joined #ocaml
<ollehar> so yes, sorry, the chat "server" runs in a CGI...
<derek_c> One of my homework assignment says this statement is False, but I don't know why: "Every well-typed OCaml program can be evaluated to a value."
<pippijn> derek_c: what does well-typed mean?
<ollehar> derek_c: becuase ocaml type system allow infinite recursion, maybe?
<pippijn> let get_int () : int = raise Not_found
<derek_c> oh!!
<derek_c> man I think you are right
<pippijn> that doesn't evaluate to a value
<derek_c> yeah I think you are both right
<derek_c> these are 2 exceptions, now I remember
<derek_c> many thanks!
<pippijn> derek_c: get_int evaluates to a bottom value
<pippijn> let rec get_int () : int = get_int ()
<pippijn> (get_int ()) does not evaluate at all, it doesn't terminate
<pippijn> so it also evaluates to a bottom value
mikurubeam has quit [Ping timeout: 256 seconds]
smerz has joined #ocaml
pkrnj has joined #ocaml
ottbot has joined #ocaml
osa1 has quit [Ping timeout: 260 seconds]
<adrien> wmeyer`: 120 minutes to build llvm on my laptop, 170 minutes CPU time
mattrepl has quit [Quit: mattrepl]
<pippijn> adrien: sounds familiar
<ollehar> pippijn: are you sure? if it doesn't evaluate, how can it eval to a bottom value?
<ollehar> strange
<ollehar> but progression cannot hold for ocaml type system
<ollehar> since not all expressions converge
ttamttam has left #ocaml []
<ollehar> I think converge was what dereks teacher ment
<ollehar> *convergence
mcclurmc has joined #ocaml
<ollehar> since some type systems guarantee progression, that is, that all expressions converge
ttamttam has joined #ocaml
Enjolras has quit [Read error: Operation timed out]
ttamttam has left #ocaml []
Enjolras has joined #ocaml
rkj has joined #ocaml
rkj has quit [Read error: Connection reset by peer]
Kakadu has quit []
Snark has quit [Quit: Quitte]
pkrnj has quit [Quit: Computer has gone to sleep.]
<adrien> and on my quadcore, building llvm
<adrien> 20 minutes; 58 minutes cpu time
<adrien> (this also includes time to compress the package which I had kept out of the build on my laptop)
clintnewsom has quit [Quit: clintnewsom]
ontologiae has joined #ocaml
mikurubeam has joined #ocaml
oriba has joined #ocaml
clintnewsom has joined #ocaml
pkrnj has joined #ocaml
clintnewsom has quit [Client Quit]
mikurubeam has quit [Quit: +1 (Yes.) -1 (No.) i (WTF?)]
amaloz has left #ocaml []
derek_c has quit [Read error: Operation timed out]
emmanuelux has joined #ocaml
adotbrown has joined #ocaml
pkrnj has quit [Quit: Computer has gone to sleep.]
smerz has quit [Remote host closed the connection]
k0001 has joined #ocaml
k0001 has quit [Ping timeout: 256 seconds]
Anarchos has quit [Quit: Vision[0.9.7-H-090423]: i've been blurred!]
ontologiae has quit [Ping timeout: 256 seconds]
emmanuelux has quit [Remote host closed the connection]
paddymahoney has joined #ocaml
noj has quit [Ping timeout: 252 seconds]
dwmw2 is now known as dwmw2_gone
travisbrady has quit [Quit: travisbrady]
derek_c has joined #ocaml
mcsquiggedy has quit [Quit: Leaving]
thomasga has quit [Quit: Leaving.]
oriba has quit [Quit: oriba]
Yoric has quit [Ping timeout: 256 seconds]
LeNsTR is now known as lenstr
travisbrady has joined #ocaml
mcclurmc has quit [Ping timeout: 260 seconds]
derek_c has quit [Ping timeout: 240 seconds]
travisbrady has quit [Quit: travisbrady]
q66 has quit [Remote host closed the connection]
ollehar has quit [Ping timeout: 250 seconds]
adotbrown has quit [*.net *.split]
rwmjones has quit [*.net *.split]
maufred has quit [*.net *.split]
Derander_ has quit [*.net *.split]
ousado has quit [*.net *.split]
brendan has quit [*.net *.split]
fayden has quit [*.net *.split]
_habnabit has quit [*.net *.split]
rks_ has quit [Ping timeout: 248 seconds]
rks has joined #ocaml
mfp has quit [Ping timeout: 248 seconds]
mfp has joined #ocaml
adotbrown has joined #ocaml
rwmjones has joined #ocaml
maufred has joined #ocaml
Derander_ has joined #ocaml
ousado has joined #ocaml
brendan has joined #ocaml
fayden has joined #ocaml
_habnabit has joined #ocaml
Icarot has joined #ocaml
pkrnj has joined #ocaml