jonafan has quit [Read error: 110 (Connection timed out)]
hkBst has quit ["Konversation terminated!"]
evn has left #ocaml []
evn has joined #ocaml
evn has quit [Remote closed the connection]
ita has quit [Remote closed the connection]
pklbham has joined #ocaml
coucou747 has quit ["bye ca veut dire tchao en anglais"]
pklbham has quit [Remote closed the connection]
pango_ has quit [Remote closed the connection]
pango_ has joined #ocaml
evn has joined #ocaml
evn has quit [Remote closed the connection]
seafood_ has joined #ocaml
Jedai has quit [Read error: 110 (Connection timed out)]
Jedai has joined #ocaml
<fbvortex>
Dumb question about compiling via findlib: If I just want to compile (e.g. ocamlfind ocamlc -c) a .ml source file, and that source file uses a type defined in another module, e.g. Somemodule.mytype_t, and Somemodule.cmo and .cmi already exist, what is the correct way to invoke ocamlc so that it finds the definition of Somemodule.mytype_t ?
Linktim has quit [Read error: 110 (Connection timed out)]
thermoplyae has left #ocaml []
kelaouchi has joined #ocaml
aska_ has joined #ocaml
aska_ has left #ocaml []
marmottine has joined #ocaml
r0bby has joined #ocaml
ygrek has joined #ocaml
l_a_m has joined #ocaml
kelaouchi has quit [Read error: 104 (Connection reset by peer)]
kelaouchi has joined #ocaml
kelaouchi has quit [Connection reset by peer]
kelaouchi has joined #ocaml
goalieca has quit [Remote closed the connection]
Yoric[DT] has joined #ocaml
Morphous is now known as Amorphous
mqtt has quit ["Quitte"]
ikaros has joined #ocaml
bluestorm has joined #ocaml
coucou747 has joined #ocaml
l_a_m has quit [Read error: 104 (Connection reset by peer)]
Yoric[DT] has quit ["Ex-Chat"]
ofaurax has joined #ocaml
Axioplase has joined #ocaml
Anarchos has joined #ocaml
<Anarchos>
why ocaml uses a static int variable (caml_async_signal_mode) to protect the access to the virtual machine, instead of using a semaphore ?
<flux>
uh, wouldn't a static variable likely to be much, much faster than likely a system call to use a semaphore?
ikaros has quit ["segfault"]
<Anarchos>
flux yes i know but in my case two threads were able to modify its value at same time so i have two processes accessing the VM :) guess it is the cause of my segfault
schme has joined #ocaml
<pango_>
indeed using a simple int to implement a semaphore looks a bit risky... Systems must provide semaphores for a reason ;)
<Anarchos>
pango_ i know.In fact the virtual machine is designed such that you never get two instances of the VM running in parallel in the same thread. Cause fork() will copy the memory so there is no overlapping between heaps
<Anarchos>
but i do some dirty tricks to interface with the API of my windowing system in C++, heavily multithreaded
<pango_>
maybe you're lacking an atomic implementation of Read_and_clear for your platform
<Anarchos>
pango_ no i have one . In which header is it define for ocaml ?
<pango_>
byterun/signals_machdep.h
<Anarchos>
pango_ ok i was just modifying caml_{enter,leave}_blocking_section to protect access to caml_async_signal_mode with a semaphore
Anarchos has quit [Read error: 113 (No route to host)]
Anarchos has joined #ocaml
<Anarchos>
sorry , wild reboot !
<Anarchos>
pango_ i am on beos, so i have a gnu C on an x86 architecture. I should get the right Read_and_Clear
<pango_>
maybe a warning should be added to the default case
<pango_>
if Read_and_clear is supposed to be atomic, it's a flaky implementation ;)
<Anarchos>
pango_ anyway Read_and_Clear is not used with caml_async_signal_mode
<pango_>
interesting... I wonder how this is supposed to work
<Anarchos>
pango_ yes i never understood the structure of the vm
ita has joined #ocaml
smimou has quit ["bli"]
hkBst has joined #ocaml
ofaurax has quit [Remote closed the connection]
Yoric[DT] has joined #ocaml
bluestorm has quit ["Konversation terminated!"]
Anarchos has quit [Read error: 104 (Connection reset by peer)]
pango_ has quit [Remote closed the connection]
Anarchos has joined #ocaml
pango_ has joined #ocaml
Anarchos has quit [Read error: 113 (No route to host)]
thermoplyae has joined #ocaml
Smerdyakov has quit ["Leaving"]
bongy has joined #ocaml
bluestorm has joined #ocaml
musically_ut has quit [Remote closed the connection]
evn has joined #ocaml
ttamttam has joined #ocaml
ita has quit [Remote closed the connection]
musically_ut has joined #ocaml
Axioplas1 has joined #ocaml
Axioplase has quit [Read error: 110 (Connection timed out)]
evn_ has joined #ocaml
Axioplase has joined #ocaml
Axioplas2 has joined #ocaml
Axioplas1 has quit [Read error: 110 (Connection timed out)]
Axioplase has quit [Read error: 110 (Connection timed out)]
Axioplas2 has quit [Remote closed the connection]
Axioplase has joined #ocaml
thelema has quit [Read error: 110 (Connection timed out)]
bla has quit [brown.freenode.net irc.freenode.net]
Oatschool has quit [brown.freenode.net irc.freenode.net]
ozzloy has quit [brown.freenode.net irc.freenode.net]
unfo- has quit [brown.freenode.net irc.freenode.net]
mbishop has quit [brown.freenode.net irc.freenode.net]
ozzloy_ has joined #ocaml
mbishop has joined #ocaml
filp has joined #ocaml
filp has quit [Client Quit]
bla has joined #ocaml
unfo- has joined #ocaml
Oatschool has joined #ocaml
ttamttam has left #ocaml []
thermoplyae has left #ocaml []
AxleLonghorn has joined #ocaml
thelema has joined #ocaml
goalieca has joined #ocaml
ofaurax has joined #ocaml
schme has quit [Remote closed the connection]
middayc has joined #ocaml
Axioplas1 has joined #ocaml
Axioplase has quit [Nick collision from services.]
Axioplas1 has quit [Client Quit]
Axioplase has joined #ocaml
ikatz has quit [Read error: 110 (Connection timed out)]
loufoque has joined #ocaml
<loufoque>
it is not possible to downcast in OCaml, right?
authentic has quit [Connection timed out]
ygrek has quit [Remote closed the connection]
<bla>
loufoque, hm.
<thelema>
loufoque: obj :> parent_class
ofaurax has quit ["Leaving"]
<loufoque>
thelema: that's upcasting.
<bluestorm>
so i guess the answer is "no it isn't, modulo black magic"
<thelema>
otherwise impossible, type information isn't present at runtime to do that.
<loufoque>
don't object have a pointer to their virtual function table which identifies them?
<bla>
It's in the runtime; if virtual method exists.
<thelema>
from the ocaml manual: "Indeed, narrowing coercions without runtime checks would be unsafe. Runtime type checks might raise exceptions, and they would require the presence of type information at runtime, which is not the case in the Objective Caml system. For these reasons, there is no such operation available in the language."
<loufoque>
ok
<loufoque>
that's good
jlouis has joined #ocaml
bongy has quit ["Leaving"]
authentic has joined #ocaml
bongy has joined #ocaml
musicallyut has joined #ocaml
ita has joined #ocaml
marmottine has quit [Remote closed the connection]
Morphous has joined #ocaml
musically has joined #ocaml
bongy has quit ["Leaving"]
musically_ut has quit [Remote closed the connection]
musically_ut has joined #ocaml
|Catch22| has joined #ocaml
musicallyut has quit [Remote closed the connection]
Amorphous has quit [Read error: 110 (Connection timed out)]
musically has quit [Remote closed the connection]
Yoric[DT] has left #ocaml []
_PenPen_ has joined #ocaml
bluestorm has quit [Read error: 113 (No route to host)]
kfor has joined #ocaml
kfor has quit [Client Quit]
AxleLonghor1 has joined #ocaml
AxleLonghorn has quit [Read error: 110 (Connection timed out)]
hkBst has quit ["Konversation terminated!"]
thelema has quit [Read error: 110 (Connection timed out)]