shinnya has quit [Ping timeout: 240 seconds]
gtrak has quit [Ping timeout: 256 seconds]
gtrak has joined #ocaml
infinity0_ has joined #ocaml
infinity0_ has quit [Changing host]
infinity0 has quit [Killed (adams.freenode.net (Nickname regained by services))]
infinity0 has joined #ocaml
cbot has joined #ocaml
nicoo has quit [Remote host closed the connection]
nicoo has joined #ocaml
sz0 has joined #ocaml
kino` has quit [Quit: WeeChat 2.1]
Haudegen has quit [Ping timeout: 260 seconds]
spew has joined #ocaml
Enjolras has joined #ocaml
spew has quit [Remote host closed the connection]
spew has joined #ocaml
spew has quit [Ping timeout: 276 seconds]
pioneer42 has joined #ocaml
pioneer421 has joined #ocaml
pioneer42 has quit [Ping timeout: 256 seconds]
Judocus has quit [Quit: *vanishes into the mythical real world*]
lopex has quit [Quit: Connection closed for inactivity]
mfp has quit [Ping timeout: 240 seconds]
moei has quit [Quit: Leaving...]
gtrak has quit [Ping timeout: 256 seconds]
gtrak has joined #ocaml
sh0t has quit [Ping timeout: 268 seconds]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 240 seconds]
pioneer42 has joined #ocaml
pioneer421 has quit [Ping timeout: 256 seconds]
gtrak has quit [Ping timeout: 264 seconds]
tokomak has joined #ocaml
spew has joined #ocaml
gtrak has joined #ocaml
shinnya has joined #ocaml
iitalics has quit [Quit: WeeChat 2.1]
pierpa_ has quit [Quit: Page closed]
sz0 has quit [Quit: Connection closed for inactivity]
mbuf has joined #ocaml
spew has quit [Ping timeout: 248 seconds]
govg has joined #ocaml
cbot has quit [Quit: Leaving]
moolc has joined #ocaml
pierpa has quit [Ping timeout: 260 seconds]
snhmib has joined #ocaml
bartholin has joined #ocaml
tokomak has quit [Remote host closed the connection]
muelleme_ has joined #ocaml
orbifx has joined #ocaml
orbifx has quit [Ping timeout: 260 seconds]
zolk3ri has joined #ocaml
snhmib has quit [Ping timeout: 256 seconds]
snhmib has joined #ocaml
muelleme_ has quit [Ping timeout: 260 seconds]
gtrak has quit [Ping timeout: 248 seconds]
argent_smith has joined #ocaml
snhmib has quit [Ping timeout: 256 seconds]
gtrak has joined #ocaml
snhmib has joined #ocaml
tarptaeya has joined #ocaml
muelleme_ has joined #ocaml
Onemorenickname has joined #ocaml
mrgrieves has quit [Ping timeout: 240 seconds]
argent_smith has quit [Quit: Leaving.]
snhmib has quit [Ping timeout: 276 seconds]
mrgrieves has joined #ocaml
mk9 has joined #ocaml
mk9 has quit [Quit: mk9]
Enjolras has quit [Read error: Connection reset by peer]
mk9 has joined #ocaml
mk9 has quit [Client Quit]
mk9 has joined #ocaml
dhil has joined #ocaml
mk9 has quit [Client Quit]
mk9 has joined #ocaml
mfp has joined #ocaml
jao has joined #ocaml
mk9 has quit [Ping timeout: 256 seconds]
gtrak has quit [Ping timeout: 256 seconds]
gtrak has joined #ocaml
ygrek has joined #ocaml
Judocus has joined #ocaml
Judocus has quit [Remote host closed the connection]
pierpa has joined #ocaml
jnavila has joined #ocaml
olle has joined #ocaml
muelleme_ has quit [Ping timeout: 256 seconds]
<
olle>
grrr, no list splice?
<
olle>
I can't believe I'm wasting time on how to remove one element from a list...
<
olle>
hm, guess I can just use core filteri. but no such filter function in standard lib?
mk9 has joined #ocaml
mk9 has quit [Client Quit]
mk9 has joined #ocaml
mk9 has quit [Quit: mk9]
<
zozozo>
olle: List.filter exists
mk9 has joined #ocaml
mk9 has quit [Client Quit]
<
zozozo>
But removing one element from the middle of a list isn't really efficient (both in terms of memory and time)
mk9 has joined #ocaml
jnavila has quit [Ping timeout: 240 seconds]
Haudegen has joined #ocaml
<
olle>
zozozo: efficiency doesn't matter here, really.
mk9 has quit [Quit: mk9]
sh0t has joined #ocaml
kakadu has joined #ocaml
kakadu has quit [Client Quit]
trochdewei has joined #ocaml
lopex has joined #ocaml
mbuf has quit [Quit: Leaving]
trochdewei has quit [Ping timeout: 255 seconds]
olle has quit [Ping timeout: 255 seconds]
pioneer42 has left #ocaml [#ocaml]
argent_smith has joined #ocaml
sh0t has quit [Ping timeout: 240 seconds]
_andre has joined #ocaml
spew has joined #ocaml
spew has quit [Read error: Connection reset by peer]
silver has joined #ocaml
gtrak has quit [Ping timeout: 268 seconds]
olle has joined #ocaml
archieren has joined #ocaml
argent_smith has quit [Ping timeout: 252 seconds]
archieren has quit [Quit: Leaving.]
gtrak has joined #ocaml
sh0t has joined #ocaml
muelleme_ has joined #ocaml
gtrak has quit [Ping timeout: 256 seconds]
gtrak has joined #ocaml
mrgrieves has quit [Ping timeout: 240 seconds]
shinnya has quit [Ping timeout: 248 seconds]
spew has joined #ocaml
argent_smith has joined #ocaml
muelleme_ has quit [Ping timeout: 264 seconds]
moei has joined #ocaml
al-damiri has joined #ocaml
snhmib has joined #ocaml
tarptaeya has quit [Quit: Byeeeeeee!]
mk9 has joined #ocaml
mk9 has quit [Quit: mk9]
<
Sargun>
What does "?n:int" mean?
<
thizanne>
Sargun: optional argument
govg has quit [Ping timeout: 264 seconds]
Jesin has joined #ocaml
jimmyrcom has joined #ocaml
onion has quit [Read error: No route to host]
Jesin has quit [Quit: Leaving]
govg has joined #ocaml
govg has quit [Remote host closed the connection]
govg has joined #ocaml
xutux has joined #ocaml
jnavila has joined #ocaml
moolc has left #ocaml ["ERC (IRC client for Emacs 27.0.50)"]
<
companion_cube>
Sargun: you probably need to `Event.sync` on the `send`
<
companion_cube>
be wary of `let _ = …`
<
Sargun>
companion_cube: Tht never rerturns
<
Sargun>
It gets 'stuck'
<
Sargun>
Oddly enough, "Waiting for signal" doesn't get printed either -- it's like the thread loop fails to get created entirely.
<
companion_cube>
not sure how the signal thing is supposed to work
FreeBirdLjj has joined #ocaml
jimmyrcom has quit [Ping timeout: 240 seconds]
Judocus has joined #ocaml
Judocus has quit [Remote host closed the connection]
<
Sargun>
companion_cube: Ocaml uses green threads, right
<
Sargun>
Won't event.sync never return
<
companion_cube>
err, Thread uses native threads
<
companion_cube>
if you want green (cooperative) threads, look at lwt
<
Sargun>
Huh, then why is event.sync preventing the other thread from running
<
companion_cube>
I don't think that's what happens
<
companion_cube>
event.sync blocks until there's a sender and a receiver on the channel
<
companion_cube>
but your code seems to be in a signal handler?
muelleme_ has joined #ocaml
olle has quit [Ping timeout: 276 seconds]
muelleme_ has quit [Ping timeout: 240 seconds]
olle has joined #ocaml
tormen has joined #ocaml
tormen has quit [Client Quit]
<
Sargun>
companion_cube: Wtf, if I put a unix.sleep after the thread.create, it works
onion has joined #ocaml
tormen has joined #ocaml
<
companion_cube>
that could force a 'yield'?
hdon has quit [Ping timeout: 240 seconds]
jnavila has quit [Ping timeout: 256 seconds]
mk9 has joined #ocaml
mk9 has quit [Client Quit]
cbot has joined #ocaml
zolk3ri has quit [Ping timeout: 256 seconds]
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
tormen has quit [Quit: Lost terminal]
tormen has joined #ocaml
hdon has joined #ocaml
onion is now known as whoman
hdon has quit [Changing host]
hdon has joined #ocaml
whoman is now known as onion
FreeBirdLjj has quit [Ping timeout: 260 seconds]
tormen has quit [Quit: Lost terminal]
tormen has joined #ocaml
Haudegen has quit [Ping timeout: 256 seconds]
muelleme_ has joined #ocaml
muelleme_ has quit [Ping timeout: 245 seconds]
ygrek has quit [Ping timeout: 276 seconds]
Haudegen has joined #ocaml
muelleme_ has joined #ocaml
tarptaeya has joined #ocaml
tarptaeya has quit [Ping timeout: 264 seconds]
zolk3ri has joined #ocaml
kakadu has joined #ocaml
snhmib has quit [Ping timeout: 245 seconds]
tarptaeya has joined #ocaml
snhmib has joined #ocaml
muelleme_ has quit [Ping timeout: 256 seconds]
wickedshell has joined #ocaml
kakadu_ has joined #ocaml
pierpa_ has joined #ocaml
sh0t has quit [Remote host closed the connection]
sh0t has joined #ocaml
olle has quit [Ping timeout: 248 seconds]
olle has joined #ocaml
xutux has quit [Ping timeout: 260 seconds]
kino` has joined #ocaml
xutux has joined #ocaml
<
companion_cube>
ho
<
kino`>
I'm having troubles compiling an executable using jbuilder and ocamlopt -p, while it compiles fine with ocamlopt only.
<
kino`>
Seems like it's coming from Pervasives ?
Haudegen has quit [Ping timeout: 240 seconds]
<
companion_cube>
never seen that before, sorry
<
kino`>
Thanks for looking anyway
jao has quit [Remote host closed the connection]
<
kino`>
Ah, my bad ~ it's actually coming from jbuilder
jao has joined #ocaml
Jesin has joined #ocaml
bairui_ has joined #ocaml
bairui has quit [Read error: Connection reset by peer]
<
kino`>
I've wrongly tried to put the -p flag in jbuilder's tips.
Haudegen has joined #ocaml
dhil has quit [Ping timeout: 256 seconds]
Jesin has quit [Quit: Leaving]
olle has quit [Remote host closed the connection]
orbifx has joined #ocaml
_andre has quit [Quit: leaving]
xutux has quit [Ping timeout: 276 seconds]
<
kino`>
Is there anyway to know which compiler jbuilder used?
<
companion_cube>
_build/log contains the actual commandline, I think
<
kino`>
What could be the reason for gprof giving no informations?
<
companion_cube>
I don't know, I tend to use perf
mk9 has joined #ocaml
bairui_ is now known as bairui
mk9 has quit [Client Quit]
mk9 has joined #ocaml
sh0t has quit [Remote host closed the connection]
sh0t has joined #ocaml
mk9 has quit [Remote host closed the connection]
sh0t has quit [Remote host closed the connection]
sh0t has joined #ocaml
mk9 has joined #ocaml
mk9 has quit [Client Quit]
<
kino`>
May I ask in which way you use it? Specific flags have to be passed?
mk9 has joined #ocaml
<
companion_cube>
no specific flag (on linux on x86_64)
<
kino`>
Then you perf stat then pref annotate?
<
companion_cube>
perf record then perf report, but yeah
mk9 has quit [Client Quit]
mk9 has joined #ocaml
mk9 has quit [Remote host closed the connection]
mk9 has joined #ocaml
mk9 has quit [Remote host closed the connection]
mk9 has joined #ocaml
tarptaeya has quit [Quit: Byeeeeeee!]
mk9 has quit [Client Quit]
mk9 has joined #ocaml
mk9 has quit [Client Quit]
mk9 has joined #ocaml
argent_smith has quit [Quit: Leaving.]
snhmib has quit [Quit: WeeChat 1.6]
gtrak has quit [Ping timeout: 260 seconds]
jao has quit [Ping timeout: 264 seconds]
mk9 has quit [Quit: mk9]
mk9 has joined #ocaml
mk9 has quit [Client Quit]
mk9 has joined #ocaml
mk9 has quit [Client Quit]
shinnya has joined #ocaml
mk9 has joined #ocaml
mk9 has quit [Client Quit]
Onemorenickname has quit [Read error: Connection reset by peer]
navaja has joined #ocaml
averell has quit [Quit: .]
mk9 has joined #ocaml
averell has joined #ocaml
navaja has quit [Read error: Connection reset by peer]
kalio has quit [Read error: Connection reset by peer]
kalio has joined #ocaml
mk9 has quit [Quit: mk9]
mk9 has joined #ocaml
mk9 has quit [Client Quit]
kakadu_ has quit [Remote host closed the connection]
mk9 has joined #ocaml
mk9 has quit [Read error: Connection reset by peer]
mk9 has joined #ocaml
mk9 has quit [Quit: mk9]
orbifx has quit [Quit: WeeChat 2.1]
letoh has quit [Ping timeout: 240 seconds]
spew has quit [Quit: Connection closed for inactivity]
sh0t has quit [Remote host closed the connection]
spew has joined #ocaml