kaustuv changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/ | 3.11.1 out now! Get yours from http://caml.inria.fr/ocaml/release.html
^authentic is now known as authentic
komar__ has quit [Read error: 113 (No route to host)]
slash_ has quit [Client Quit]
ched__ has joined #ocaml
ched_ has quit [Read error: 101 (Network is unreachable)]
ztfw has left #ocaml []
mfp has quit [Read error: 104 (Connection reset by peer)]
komar__ has joined #ocaml
mfp has joined #ocaml
travisbrady has quit []
komar__ has quit [Read error: 60 (Operation timed out)]
komar__ has joined #ocaml
ulfdoz_ has joined #ocaml
jmou has joined #ocaml
julm has quit [Read error: 110 (Connection timed out)]
jmou is now known as julm
ulfdoz has quit [Read error: 101 (Network is unreachable)]
ulfdoz_ is now known as ulfdoz
holgr_ has quit [Read error: 60 (Operation timed out)]
holgr has joined #ocaml
det has joined #ocaml
travisbrady has joined #ocaml
suckyuser has joined #ocaml
yziquel has quit [Ping timeout: 180 seconds]
suckyuser has quit [Client Quit]
mjs22 has joined #ocaml
willb has joined #ocaml
mjs22 has quit []
Yoric[DT] has joined #ocaml
arquebus has joined #ocaml
Yoric[DT] has quit ["Ex-Chat"]
arquebus has left #ocaml []
authentic has quit [Read error: 104 (Connection reset by peer)]
authentic has joined #ocaml
mal`` has quit ["Coyote finally caught me"]
mal`` has joined #ocaml
caligula_ has joined #ocaml
caligula__ has quit [Read error: 110 (Connection timed out)]
_zack has joined #ocaml
hkBst has joined #ocaml
ulfdoz has quit [Read error: 110 (Connection timed out)]
komar__ has quit ["WeeChat 0.2.6.3-ohshi"]
Yoric[DT] has joined #ocaml
ulfdoz has joined #ocaml
ertai_ has joined #ocaml
ertai_ has quit [Client Quit]
ertai has quit ["leaving"]
ertai has joined #ocaml
Yoric[DT] has quit [Read error: 113 (No route to host)]
yziquel has joined #ocaml
<yziquel> hi. What's the safest way to wrap a C++ object in an OCaml value? Wrap a pointer to the object in an abstract or custom block?
<yziquel> asking because i'm rewriting the swig module for ocaml... (almost working).
<flux> yziquel, yes, put the pointer in to an ocaml-allocated object
<yziquel> flux: thanks
<flux> yziquel, note that you need to handle deletion safely, by for example setting the pointer to 0 when deleting it, and asserting that in the interface
<flux> of course, that cannot be perfect if c++ objects point to/own each other, but better than nothing I suppose..
<yziquel> flux: one thing at a time. There'll be plenty of time for criticism...
<flux> :-)
komar_ has joined #ocaml
mgodshal1 has quit ["leaving"]
Submarine has joined #ocaml
authentic has quit [hubbard.freenode.net irc.freenode.net]
holgr has quit [hubbard.freenode.net irc.freenode.net]
prigaux_ has quit [hubbard.freenode.net irc.freenode.net]
Demitar has quit [hubbard.freenode.net irc.freenode.net]
wysek has quit [hubbard.freenode.net irc.freenode.net]
poucet has quit [hubbard.freenode.net irc.freenode.net]
bacam has quit [hubbard.freenode.net irc.freenode.net]
ozzloy has quit [hubbard.freenode.net irc.freenode.net]
travisbrady has quit [hubbard.freenode.net irc.freenode.net]
tonyIII has quit [hubbard.freenode.net irc.freenode.net]
bernardofpc has quit [hubbard.freenode.net irc.freenode.net]
brendan has quit [hubbard.freenode.net irc.freenode.net]
anders^^ has quit [hubbard.freenode.net irc.freenode.net]
peddie has quit [hubbard.freenode.net irc.freenode.net]
nimred has quit [hubbard.freenode.net irc.freenode.net]
Jedai has quit [hubbard.freenode.net irc.freenode.net]
M| has quit [hubbard.freenode.net irc.freenode.net]
sciendan has quit [hubbard.freenode.net irc.freenode.net]
tomaw has quit [hubbard.freenode.net irc.freenode.net]
ulfdoz has quit [hubbard.freenode.net irc.freenode.net]
willb has quit [hubbard.freenode.net irc.freenode.net]
TaXules has quit [hubbard.freenode.net irc.freenode.net]
rwmjones has quit [hubbard.freenode.net irc.freenode.net]
gildor_ has quit [hubbard.freenode.net irc.freenode.net]
tab has quit [hubbard.freenode.net irc.freenode.net]
r0bby has quit [hubbard.freenode.net irc.freenode.net]
qwr has quit [hubbard.freenode.net irc.freenode.net]
jawnsy has quit [hubbard.freenode.net irc.freenode.net]
noj has quit [hubbard.freenode.net irc.freenode.net]
maskd has quit [hubbard.freenode.net irc.freenode.net]
komar_ has quit [hubbard.freenode.net irc.freenode.net]
julm has quit [hubbard.freenode.net irc.freenode.net]
BiDOrD has quit [hubbard.freenode.net irc.freenode.net]
Pepe_ has quit [hubbard.freenode.net irc.freenode.net]
lanaer has quit [hubbard.freenode.net irc.freenode.net]
deavid has quit [hubbard.freenode.net irc.freenode.net]
xevz has quit [hubbard.freenode.net irc.freenode.net]
LeCamarade|Away has quit [hubbard.freenode.net irc.freenode.net]
rwmjones_ has quit [hubbard.freenode.net irc.freenode.net]
acatout has quit [hubbard.freenode.net irc.freenode.net]
mattam has quit [hubbard.freenode.net irc.freenode.net]
nominolo has quit [hubbard.freenode.net irc.freenode.net]
Camarade_Tux has quit [hubbard.freenode.net irc.freenode.net]
mbishop has quit [hubbard.freenode.net irc.freenode.net]
rbancroft has quit [hubbard.freenode.net irc.freenode.net]
Submarine has quit [hubbard.freenode.net irc.freenode.net]
hkBst has quit [hubbard.freenode.net irc.freenode.net]
_zack has quit [hubbard.freenode.net irc.freenode.net]
caligula_ has quit [hubbard.freenode.net irc.freenode.net]
ched__ has quit [hubbard.freenode.net irc.freenode.net]
lutter has quit [hubbard.freenode.net irc.freenode.net]
gim has quit [hubbard.freenode.net irc.freenode.net]
schme has quit [hubbard.freenode.net irc.freenode.net]
hcarty has quit [hubbard.freenode.net irc.freenode.net]
delroth has quit [hubbard.freenode.net irc.freenode.net]
petchema has quit [hubbard.freenode.net irc.freenode.net]
Hadaka has quit [hubbard.freenode.net irc.freenode.net]
mehdid has quit [hubbard.freenode.net irc.freenode.net]
animist has quit [hubbard.freenode.net irc.freenode.net]
yziquel has quit [hubbard.freenode.net irc.freenode.net]
tsuyoshi_ has quit [hubbard.freenode.net irc.freenode.net]
Ori_B has quit [hubbard.freenode.net irc.freenode.net]
svenl has quit [hubbard.freenode.net irc.freenode.net]
tarbo2 has quit [hubbard.freenode.net irc.freenode.net]
flux has quit [hubbard.freenode.net irc.freenode.net]
patronus has quit [hubbard.freenode.net irc.freenode.net]
mishok13 has quit [hubbard.freenode.net irc.freenode.net]
det has quit [hubbard.freenode.net irc.freenode.net]
sgwizdak has quit [hubbard.freenode.net irc.freenode.net]
aij has quit [hubbard.freenode.net irc.freenode.net]
kaustuv has quit [hubbard.freenode.net irc.freenode.net]
bohanlon has quit [hubbard.freenode.net irc.freenode.net]
__marius__ has quit [hubbard.freenode.net irc.freenode.net]
Amorphous has quit [hubbard.freenode.net irc.freenode.net]
bartiosze has quit [hubbard.freenode.net irc.freenode.net]
mellum has quit [hubbard.freenode.net irc.freenode.net]
mal`` has quit [hubbard.freenode.net irc.freenode.net]
maxote has quit [hubbard.freenode.net irc.freenode.net]
sbok has quit [hubbard.freenode.net irc.freenode.net]
fremo has quit [hubbard.freenode.net irc.freenode.net]
jlouis has quit [hubbard.freenode.net irc.freenode.net]
ski__ has quit [hubbard.freenode.net irc.freenode.net]
ulfdoz has joined #ocaml
mal`` has joined #ocaml
authentic has joined #ocaml
willb has joined #ocaml
travisbrady has joined #ocaml
holgr has joined #ocaml
anders^^ has joined #ocaml
peddie has joined #ocaml
nimred has joined #ocaml
Jedai has joined #ocaml
TaXules has joined #ocaml
jawnsy has joined #ocaml
rwmjones has joined #ocaml
qwr has joined #ocaml
maxote has joined #ocaml
tonyIII has joined #ocaml
sbok has joined #ocaml
gildor_ has joined #ocaml
M| has joined #ocaml
prigaux_ has joined #ocaml
fremo has joined #ocaml
Demitar has joined #ocaml
tab has joined #ocaml
sciendan has joined #ocaml
r0bby has joined #ocaml
bernardofpc has joined #ocaml
wysek has joined #ocaml
jlouis has joined #ocaml
poucet has joined #ocaml
bacam has joined #ocaml
tomaw has joined #ocaml
ski__ has joined #ocaml
noj has joined #ocaml
ozzloy has joined #ocaml
brendan has joined #ocaml
komar_ has joined #ocaml
julm has joined #ocaml
BiDOrD has joined #ocaml
Pepe_ has joined #ocaml
maskd has joined #ocaml
lanaer has joined #ocaml
deavid has joined #ocaml
xevz has joined #ocaml
Submarine has joined #ocaml
yziquel has joined #ocaml
hkBst has joined #ocaml
_zack has joined #ocaml
caligula_ has joined #ocaml
det has joined #ocaml
ched__ has joined #ocaml
nominolo has joined #ocaml
lutter has joined #ocaml
gim has joined #ocaml
LeCamarade|Away has joined #ocaml
Amorphous has joined #ocaml
animist has joined #ocaml
Camarade_Tux has joined #ocaml
rwmjones_ has joined #ocaml
flux has joined #ocaml
mishok13 has joined #ocaml
sgwizdak has joined #ocaml
mbishop has joined #ocaml
schme has joined #ocaml
hcarty has joined #ocaml
delroth has joined #ocaml
acatout has joined #ocaml
mattam has joined #ocaml
rbancroft has joined #ocaml
petchema has joined #ocaml
Hadaka has joined #ocaml
mehdid has joined #ocaml
tsuyoshi_ has joined #ocaml
kaustuv has joined #ocaml
Ori_B has joined #ocaml
tarbo2 has joined #ocaml
svenl has joined #ocaml
patronus has joined #ocaml
bohanlon has joined #ocaml
aij has joined #ocaml
__marius__ has joined #ocaml
mellum has joined #ocaml
bartiosze has joined #ocaml
Yoric[DT] has joined #ocaml
Associat0r has quit [Connection reset by peer]
maskd has quit [hubbard.freenode.net irc.freenode.net]
BiDOrD has quit [hubbard.freenode.net irc.freenode.net]
deavid has quit [hubbard.freenode.net irc.freenode.net]
lanaer has quit [hubbard.freenode.net irc.freenode.net]
xevz has quit [hubbard.freenode.net irc.freenode.net]
komar_ has quit [hubbard.freenode.net irc.freenode.net]
julm has quit [hubbard.freenode.net irc.freenode.net]
Pepe_ has quit [hubbard.freenode.net irc.freenode.net]
komar_ has joined #ocaml
julm has joined #ocaml
BiDOrD has joined #ocaml
Pepe_ has joined #ocaml
maskd has joined #ocaml
lanaer has joined #ocaml
deavid has joined #ocaml
xevz has joined #ocaml
julm has quit ["Genetic engineering: no thanks!"]
Associat0r has joined #ocaml
Amorphous has quit [Read error: 110 (Connection timed out)]
Amorphous has joined #ocaml
_andre has joined #ocaml
<yziquel> what's the difference between allocating a C structure with caml_stat_alloc, and declaring it directly as static in a .c file?
travisbrady_ has joined #ocaml
travisbrady has quit [Read error: 104 (Connection reset by peer)]
komar_ has quit [Read error: 60 (Operation timed out)]
komar_ has joined #ocaml
<flux> "caml_stat_alloc _is_ malloc, it's just that it raises the ocaml out-of-memory exception if malloc returns NULL. " - so it isn't magic. I imagine just using static is ok, and caml_stat_alloc doesn't directly relate to static memory allocation in that sense.
nominolo has quit ["leaving"]
komar_ has quit ["WeeChat 0.2.6.3-ohshi"]
<Camarade_Tux> so, when can we actually get such an exception on linux? malloc will never return NULL afaik (or unless we allocate a really big chunk at once?)
komar_ has joined #ocaml
<_andre> Camarade_Tux: echo 2 > /proc/sys/vm/overcommit_memory, according to the man page
<Camarade_Tux> _andre: but that isn't the default on most distributions
<Camarade_Tux> and actually on any distribution I know of
<_andre> indeed
<_andre> but if you change it you can get that exception :)
<flux> camarade_tux, also, ulimit
<flux> wish software didn't die when they are imposed an ulimit..
<flux> actually, I don't know how ulimit interacts with that
<flux> I suppose the virtual memory limitation should make malloc return NULL when the quota is used
<Camarade_Tux> dunno, I've never used ulimit
<flux> I sometimes put firefox under 600M ulimit, so it crashes when it leaks enough, so I can gracefully restart it :)
<Camarade_Tux> lol! ;p
komar_ has quit ["WeeChat 0.2.6.3-ohshi"]
komar_ has joined #ocaml
LeCamarade|Away is now known as LeCamarade
julm has joined #ocaml
ulfdoz_ has joined #ocaml
ulfdoz has quit [Read error: 104 (Connection reset by peer)]
ulfdoz_ is now known as ulfdoz
willb1 has joined #ocaml
willb has quit [Success]
bombshelter13_ has joined #ocaml
rjack has joined #ocaml
Lomono has joined #ocaml
willb1 has quit [Read error: 54 (Connection reset by peer)]
willb1 has joined #ocaml
Lomono has quit []
komar_ has quit [Read error: 60 (Operation timed out)]
Yoric[DT] has quit [Read error: 110 (Connection timed out)]
komar_ has joined #ocaml
willb2 has joined #ocaml
ulfdoz has quit [Read error: 110 (Connection timed out)]
delroth has quit [Read error: 110 (Connection timed out)]
delroth has joined #ocaml
willb2 has quit [Read error: 104 (Connection reset by peer)]
willb2 has joined #ocaml
willb1 has quit [Read error: 110 (Connection timed out)]
julm has quit [Read error: 110 (Connection timed out)]
julm has joined #ocaml
amuck_ has joined #ocaml
marmottine has joined #ocaml
marmottine has quit [Remote closed the connection]
Lomono has joined #ocaml
ulfdoz has joined #ocaml
travisbrady_ has quit []
ulfdoz has quit [Read error: 60 (Operation timed out)]
ulfdoz has joined #ocaml
_zack has quit ["Leaving."]
<yziquel> how do you modify the content of a custom bloc?
<yziquel> from c?
<julm> yziquel: by using Data_custom_val?
<yziquel> julm: yes, but somehow, i can only read, not write.
<yziquel> julm: i must be doing something wrong...
travisbrady has joined #ocaml
<yziquel> julm: ok. type casting error...
<yziquel> julm: got it now.
<julm> 'k ;)
willb2 has quit [Read error: 110 (Connection timed out)]
erickt has joined #ocaml
willb2 has joined #ocaml
<erickt> does Gerd Stolpmann happen to be in the channel?
ulfdoz_ has joined #ocaml
Rotaerk has joined #ocaml
<Camarade_Tux> erickt: not that I know
<Camarade_Tux> you can easily reach him by mail though
<erickt> Oh I did, I sent in a patch for findlib, he's probably been away from email for the past couple days
<Camarade_Tux> he seems to be quite often on holidays ;p
ulfdoz has quit [Read error: 110 (Connection timed out)]
ulfdoz_ is now known as ulfdoz
<Rotaerk> http://codepad.org/NUdru3xA could someone read this rant of mine and tell me if there's something like it and what it's called; I vaguely remember reading something like this years ago before I knew what the expression problem was
<Rotaerk> I guess the last paragraph is a bit sloppy..
travisbrady has quit []
travisbrady has joined #ocaml
yziquel has quit [Ping timeout: 180 seconds]
rwmjones has quit [Remote closed the connection]
LeCamarade is now known as LeCamarade|Away
LeCamarade|Away has quit ["Gone."]
rwmjones has joined #ocaml
willb2 has quit [Read error: 54 (Connection reset by peer)]
willb2 has joined #ocaml
Lomono has quit ["Don't even think about saying Candlejack or else you wi"]
<flux> rotaerk, are you familiar how ocaml's OO system works?
<flux> +with
willb1 has joined #ocaml
willb2 has quit [Connection timed out]
smimou has joined #ocaml
Yoric[DT] has joined #ocaml
charlenopires has joined #ocaml
charlenopires has left #ocaml []
ulfdoz_ has joined #ocaml
<Rotaerk> flux, nope; I was just told to ask that here
<Rotaerk> well.. I've done some F# coding
<flux> rotaerk, in any case, the writeup makes me think of ocaml's structural typing (with MI)
<Rotaerk> okay
<Rotaerk> I'll look into that then
ulfdoz has quit [Read error: 101 (Network is unreachable)]
ulfdoz_ is now known as ulfdoz
sramsay has joined #ocaml
ched__ has quit ["Ex-Chat"]
Ched has joined #ocaml
smimou has quit [Read error: 110 (Connection timed out)]
willb1 has quit [Read error: 110 (Connection timed out)]
_andre has quit ["leaving"]
_andre has joined #ocaml
Jedai has quit [Read error: 113 (No route to host)]
slash_ has joined #ocaml
smimou has joined #ocaml
willb has joined #ocaml
smimou has quit [Remote closed the connection]
amuck__ has joined #ocaml
amuck_ has quit [Read error: 54 (Connection reset by peer)]
amuck__ has quit []
BiDOrD has quit [Read error: 60 (Operation timed out)]
amuck_ has joined #ocaml
_andre has quit ["Lost terminal"]
willb has quit [Connection timed out]
willb has joined #ocaml
BiDOrD has joined #ocaml
Submarine has quit [Read error: 110 (Connection timed out)]
smimou has joined #ocaml
willb has quit [Read error: 110 (Connection timed out)]
willb has joined #ocaml
Rotaerk has quit ["Leaving"]
bombshelter13_ has quit []
willb has quit [Read error: 104 (Connection reset by peer)]
willb has joined #ocaml
komar_ has quit [Read error: 60 (Operation timed out)]
komar_ has joined #ocaml
sramsay has quit [Remote closed the connection]
smimou has quit [Remote closed the connection]
rjack has quit ["leaving"]
Yoric[DT] has quit ["Ex-Chat"]
bzzbzz has joined #ocaml
hkBst has quit [Read error: 104 (Connection reset by peer)]
willb has quit [Read error: 104 (Connection reset by peer)]
willb has joined #ocaml
hkBst has joined #ocaml
willb has quit [Read error: 54 (Connection reset by peer)]
willb has joined #ocaml
hkBst has quit [Remote closed the connection]
amuck_ has quit []
willb1 has joined #ocaml