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/
eikke has quit [Ping timeout: 248 seconds]
ulfdoz has quit [Ping timeout: 245 seconds]
ontologiae has quit [Ping timeout: 255 seconds]
gnuvince has quit [Ping timeout: 256 seconds]
fraggle_ has quit [Read error: Connection timed out]
studybot_ is now known as talzeus
eikke has joined #ocaml
madroach has quit [Ping timeout: 248 seconds]
madroach has joined #ocaml
tane has quit [Quit: Verlassend]
rgrinberg has joined #ocaml
rgrinberg has quit [Client Quit]
rudi1 has joined #ocaml
rudi1 is now known as rgrinberg
emmanuelux has quit [Quit: emmanuelux]
eikke has quit [Ping timeout: 252 seconds]
q66 has quit [Remote host closed the connection]
eikke has joined #ocaml
walter|r has quit [Ping timeout: 246 seconds]
walter has joined #ocaml
ggole has joined #ocaml
nalaginrut has joined #ocaml
gnuvince has joined #ocaml
Drup has quit [Quit: Leaving.]
Arsenik has quit [Remote host closed the connection]
Watcher7 is now known as Watcher7|off
dtg_ has joined #ocaml
dtg has quit [Ping timeout: 245 seconds]
dtg_ is now known as dtg
eikke has quit [Ping timeout: 276 seconds]
Watcher7|off is now known as Watcher7
cdidd has quit [Ping timeout: 260 seconds]
Watcher7 is now known as Watcher7|off
Kakadu has joined #ocaml
UncleVasya has joined #ocaml
leoncamel has quit [Ping timeout: 246 seconds]
leoncamel has joined #ocaml
nalaginrut has quit [Ping timeout: 245 seconds]
Kakadu has quit [Read error: Connection reset by peer]
Kakadu has joined #ocaml
rgrinberg has quit [Ping timeout: 276 seconds]
ttamttam has joined #ocaml
ttamttam has quit [Remote host closed the connection]
ttamttam has joined #ocaml
ttamttam has left #ocaml []
chrisdotcode has quit [Ping timeout: 245 seconds]
chrisdotcode has joined #ocaml
zpe has joined #ocaml
chrisdotcode has quit [Ping timeout: 256 seconds]
mcclurmc has joined #ocaml
awm22 has joined #ocaml
ulfdoz has joined #ocaml
barbapapa has joined #ocaml
contempt has quit [Ping timeout: 245 seconds]
mcclurmc has quit [Ping timeout: 245 seconds]
contempt has joined #ocaml
<wwilly> bonjour
<Kakadu> salut
contempt has quit [Ping timeout: 240 seconds]
contempt has joined #ocaml
contempt has quit [Ping timeout: 268 seconds]
contempt has joined #ocaml
tane has joined #ocaml
contempt has quit [Ping timeout: 276 seconds]
contempt has joined #ocaml
contempt has quit [Ping timeout: 252 seconds]
contempt has joined #ocaml
eni has quit [Ping timeout: 256 seconds]
ivan\ has quit [Quit: ERC Version 5.3 (IRC client for Emacs)]
smerz_ has quit [Ping timeout: 256 seconds]
contempt has quit [Ping timeout: 256 seconds]
ulfdoz has quit [Quit: kernel update]
contempt has joined #ocaml
mcclurmc has joined #ocaml
ulfdoz has joined #ocaml
contempt has quit [Ping timeout: 268 seconds]
contempt has joined #ocaml
ulfdoz has quit [Quit: deprecated]
ulfdoz has joined #ocaml
ivan\ has joined #ocaml
contempt has quit [Ping timeout: 258 seconds]
contempt has joined #ocaml
zpe has quit [Remote host closed the connection]
eikke has joined #ocaml
contempt has quit [Ping timeout: 258 seconds]
contempt has joined #ocaml
eni has joined #ocaml
contempt has quit [Ping timeout: 268 seconds]
barbapapa has quit [Remote host closed the connection]
contempt has joined #ocaml
contempt has quit [Ping timeout: 245 seconds]
UncleVasya has quit [Read error: Connection reset by peer]
contempt has joined #ocaml
zpe has joined #ocaml
UncleVasya has joined #ocaml
zpe has quit [Remote host closed the connection]
ontologiae has joined #ocaml
UncleVasya has quit [Read error: Connection reset by peer]
ttamttam has joined #ocaml
eikke has quit [Ping timeout: 245 seconds]
q66 has joined #ocaml
eikke has joined #ocaml
ulfdoz has quit [Ping timeout: 248 seconds]
jsvgoncalves has joined #ocaml
eikke has quit [Ping timeout: 264 seconds]
eikke has joined #ocaml
zpe has joined #ocaml
zpe has quit [Ping timeout: 256 seconds]
bitbckt has quit [Ping timeout: 264 seconds]
bitbckt has joined #ocaml
zpe has joined #ocaml
cdidd has joined #ocaml
tane has quit [Quit: Verlassend]
zpe has quit [Remote host closed the connection]
Anarchos has joined #ocaml
awm22 has quit [Ping timeout: 256 seconds]
awm22 has joined #ocaml
yacks has quit [Quit: Leaving]
asmanur has quit [Read error: Connection reset by peer]
<Anarchos> nobody already did an interfacing between ocaml and C ?
<ousado> Anarchos: what do you mean?
<Anarchos> ousado i don"'t know how to keep track of ocaml classes in the C++ side...
<ousado> ah still the moving GC issue?
<pippijn> ocaml classes?
<Anarchos> ousado yes...
<Anarchos> pippijn yes
<pippijn> what do you want to do with them?
<Anarchos> pippijn i want my C++ class to be able to call method for its corresponding ocaml class
<Kakadu> Anarchos: what is the problem? same ocaml value on C++ side
<Kakadu> s/same/save/
<pippijn> ah
<pippijn> Anarchos: you need to register a generational root or something
<pippijn> and all mutations must then go through caml_mutate_generational or something
<pippijn> let me check the actual names
<ggole> caml_modify
<ousado> caml_named_value(n)
<ousado> "On the C side, a pointer to the value registered under name n is obtained by calling caml_named_value(n). The returned pointer must then be dereferenced to recover the actual OCaml value"
<ousado> section 19.7.2
<pippijn> caml_register_generational_global_root
<pippijn> caml_modify_generational_global_root
<Anarchos> ousado i know that , is there not another solution ?
<pippijn> see caml/memory.h
<pippijn> it explains in the comments
<Anarchos> i tried to implement an ocaml map between c pointers (as values) and ocaml objects, but the typechecker complains because of ocaml classes type have rank type variable that escape the scope of the map...
<ousado> I don't know - but it seems to me any possible mechanism would be doing somehting equivalent
<ousado> and thelema mentioned you can tweak how the GC works
<ousado> using some OCAMLRUNPARAM IIRC
<ousado> Anarchos: how many classes do you have there?
<Anarchos> maybe 30
<ousado> can't you just use an ADT then
<Anarchos> ADT ?
<ousado> data type
<pippijn> Anarchos: what are you doing?
<Anarchos> pippijn interfacing with my operating system API
<pippijn> I think the global generational root is more efficient than the named value
<pippijn> but that's just my feeling, I haven't tested the named value at all
<Anarchos> pippijn yes, but in the manual, it says that caml_generational_global_root must be called just before or after the value is first assigned a valid content...
<pippijn> yes
<pippijn> after
<Anarchos> but my ocaml value can be created from the ocaml code, so how to call this function on an ocaml object ?
<Anarchos> and if i modify attributes of the ocaml object, does it modify the value cell of the object ?
Tobu has quit [Ping timeout: 246 seconds]
jpdeplaix` has quit [Ping timeout: 248 seconds]
jpdeplaix has joined #ocaml
<ousado> Anarchos: might be relevant https://groups.google.com/forum/?fromgroups=#!topic/fa.caml/cfeWBiAFTfo
jsvgoncalves has quit [Read error: Operation timed out]
<ousado> ah no.. too old, not relevant anymore
<pippijn> Anarchos: when the ocaml value goes to C++, you need to create a C++ object for it
<pippijn> (or assign an existing one)
<pippijn> if your C++ object is kept alive on the C++ side after the FFI call returns, you need to register it as global root
<Anarchos> pippijn explain FFI?
<pippijn> foreign call
<pippijn> call to C++
<pippijn> that is, iff the C++ object holds a reference to the ocaml value
yacks has joined #ocaml
<Anarchos> which one should i register, the c++ object or the ocaml value that it references ?
<pippijn> the ocaml value
<Anarchos> pippijn ok i will try this one
<pippijn> for example, you can register it in the ctor of the C++ object, and unregister it in the dtor
<Anarchos> pippijn how many global root can ocaml GC manages ?
<pippijn> I have no idea
<pippijn> many :)
<Anarchos> pippijn ok, let's go to code :)
rgrinberg has joined #ocaml
zpe has joined #ocaml
jsvgoncalves has joined #ocaml
zpe has quit [Ping timeout: 260 seconds]
Anarchos has quit [Quit: Vision[0.9.7-H-090423]: i've been blurred!]
eni has quit [Ping timeout: 245 seconds]
Drup has joined #ocaml
dezzy has quit [Read error: Connection reset by peer]
jsvgoncalves has quit [Ping timeout: 246 seconds]
dezzy has joined #ocaml
Anarchos has joined #ocaml
troydm has quit [Read error: Operation timed out]
ttamttam has left #ocaml []
breakds has joined #ocaml
rgrinberg has quit [Ping timeout: 245 seconds]
emmanuelux has joined #ocaml
travisbrady has joined #ocaml
Anarchos has quit [Quit: Vision[0.9.7-H-090423]: i've been blurred!]
jsvgoncalves has joined #ocaml
eni has joined #ocaml
ttamttam has joined #ocaml
ontologiae has quit [Ping timeout: 245 seconds]
zpe has joined #ocaml
zpe has quit [Ping timeout: 255 seconds]
dezzy has quit [Quit: leaving]
dezzy has joined #ocaml
darkf has quit [Quit: Leaving]
chris2 has quit [Remote host closed the connection]
UncleVasya has joined #ocaml
chrisdotcode has joined #ocaml
nalaginrut has joined #ocaml
jsvgoncalves has quit [Ping timeout: 252 seconds]
jsvgoncalves has joined #ocaml
ulfdoz has joined #ocaml
flx_ has joined #ocaml
eni has quit [Ping timeout: 256 seconds]
flux has quit [Ping timeout: 256 seconds]
flx_ is now known as flux
breakds has quit [Quit: Konversation terminated!]
wwilly has quit [Quit: Leaving]
awm22 has quit [Quit: Leaving.]
tane has joined #ocaml
smondet has joined #ocaml
nalaginrut has quit [Ping timeout: 264 seconds]
rgrinberg has joined #ocaml
chrisdotcode has quit [Ping timeout: 256 seconds]
rwmjones has quit [Read error: Operation timed out]
troydm has joined #ocaml
nalaginrut has joined #ocaml
rwmjones has joined #ocaml
travisbrady has quit [Quit: travisbrady]
The_third_man has quit [Read error: Operation timed out]
q66_ has joined #ocaml
The_third_man has joined #ocaml
q66 has quit [Ping timeout: 256 seconds]
q66_ is now known as q69
travisbrady has joined #ocaml
Anarchos has joined #ocaml
jsvgoncalves has quit [Ping timeout: 276 seconds]
nalaginrut has quit [Ping timeout: 245 seconds]
ttamttam has left #ocaml []
mcclurmc has quit [Ping timeout: 264 seconds]
Tobu has joined #ocaml
rgrinberg has quit [Ping timeout: 260 seconds]
ggole has quit []
dtg has quit [Read error: Connection reset by peer]
dtg has joined #ocaml
asmanur has joined #ocaml
Derander_ has joined #ocaml
rwmjones has quit [*.net *.split]
jonafan has quit [*.net *.split]
Derander has quit [*.net *.split]
rwmjones has joined #ocaml
jonafan has joined #ocaml
awm22 has joined #ocaml
asmanur has quit [Ping timeout: 256 seconds]
asmanur_ has joined #ocaml
Anarchos has quit [Quit: Vision[0.9.7-H-090423]: i've been blurred!]
rwmjones has quit [*.net *.split]
jonafan has quit [*.net *.split]
jonafan has joined #ocaml
chris2 has joined #ocaml
gnuvince has quit [Ping timeout: 245 seconds]
rwmjones has joined #ocaml
<troydm> i think that Download button on the right at http://ocaml.org/ looks out of place/design
<troydm> what do you guys think?
<tane> in what way
<thelema> troydm: maybe a bit; the green is odd, but the orange matches the camel sky
<troydm> well colors kinda don't match overall website color map
<thelema> https://github.com/ocaml/ocaml.org <- send a pull request with a new graphic
<avsm> you probably want to look at the redesign mockups and send feedback on those
<troydm> green and orange well yes but that dark greyish frame
<troydm> that mockup is cool
<thelema> yes, I like the mockup, although isn't that perl's camel in the dunes?
<troydm> nope
<thelema> you're right, n/m
<avsm> perl's a bactrian!
<thelema> avsm: perl's a dromedary
<thelema> ocaml is a bactrian
<avsm> err oops
<avsm> dammit
<thelema> :)
<avsm> B has two humps, therefore Bactrian
<avsm> D has one, therefore Dromedary
* avsm repeats 100 times
<bitbckt> haha
gustav has quit [Remote host closed the connection]
raichoo has joined #ocaml
troydm has quit [Quit: What is hope? That all of your wishes and all of your dreams come true? (C) Rau Le Creuset]
ontologiae has joined #ocaml
<bernardofpc> I'm no designer, but I definetly prefer text over fancy illustrations
<bernardofpc> the "new packages" is a nice add
troydm has joined #ocaml
coooooool has joined #ocaml
<coooooool> hi guys
<Cypi> hi
gasche has quit [Ping timeout: 255 seconds]
gasche has joined #ocaml
bernardofpc has quit [Ping timeout: 240 seconds]
bernardofpc has joined #ocaml
Anarchos has joined #ocaml
smondet has quit [Remote host closed the connection]
Nahra has quit [Remote host closed the connection]
smondet has joined #ocaml
Nahra has joined #ocaml
smondet has quit [Remote host closed the connection]
gustav has joined #ocaml
milosn has quit [Remote host closed the connection]
Watcher7|off is now known as Watcher7
milosn has joined #ocaml
smerz_ has joined #ocaml
Watcher7 has quit [Quit: ded]
mcclurmc has joined #ocaml
<rks_> good evening thelema !
jsvgoncalves has joined #ocaml
rwmjones has quit [Read error: Operation timed out]
<thelema> rks_: hi
<thelema> how can I help you make merlin better?
<rks_> :D
<Anarchos> my first type checker error that i really don't know what it is about :)
<companion_cube> by using it?
<Anarchos> Error: The universal type variable 'a cannot be generalized: it escapes its scope.
<thelema> companion_cube: I am. It gives errors.
<rks_> well thelema, I thought I could help for your problem
<companion_cube> thelema: heh
<thelema> rks_: that's ok too; how can you help me make my merlin better?
<rks_> but it turned out that I cannot in fact, sorry :D
<rks_> so you will have to wait for asmanur_ :-'
<thelema> oh well. I didn't think the requested data looked particularly useful.
<rks_> well thelema, from what I can see, I'm guessing you installed merlin through opam
<thelema> rks_: correct
<rks_> (that is "you have an old version")
<thelema> :) ok, I can install the git version (or at least try)
<rks_> but I'm not sure that switching to the current git version would solve your problem
* Anarchos never knows when to use subtyping or coercion
<rks_> but yes, you can try
UncleVasya has quit [Quit: UncleVasya]
<rks_> thelema: if merlin doesn't work at all for you at the moment, it might be worth a shot
<rks_> but if it does work approximately and you're not to impatient, we will update the opam package in the next few days, so you could wait for that
<rks_> your choice :)
<thelema> I've got git downloaded and compiled... now how to install so that I can switch back to opam version easily
<thelema> s/git/git version/
<rks_> well thelema, from what I understand (I'm using vim, not emacs, be warned) you just have to change
<rks_> « (add-to-list 'load-path ".opam/4.00.1/share/emacs/site-lisp/") »
<thelema> to the emacs subdir of git?
<rks_> to whatever is appropriate after having called « make install »
<thelema> but then how does it use the correct ocamlmerlin
<rks_> that would work too thelema yes
<thelema> I guess PATH
<rks_> yes :)
<rks_> exactly
<rks_> (but then it's up to you to have the "good" version of merlin accessible first)
rwmjones has joined #ocaml
<rks_> thelema: any news? :)
jbrown__ has quit [Ping timeout: 240 seconds]
Kakadu has quit []
coooooool is now known as Copeiste
ulfdoz has quit [Ping timeout: 245 seconds]
UncleVasya has joined #ocaml
raichoo has quit [Quit: leaving]
Anarchos has quit [Read error: Connection reset by peer]
tobiasBora has joined #ocaml
<tobiasBora> Hello !
Anarchos has joined #ocaml
UncleVasya has quit [Quit: UncleVasya]
<tobiasBora> In the debug mode I need to call a function to have a nive display for an array. Is it possible to call it during a debug session ?
travisbrady has quit [Quit: travisbrady]
darkf has joined #ocaml
tobiasBora has quit [Quit: Konversation terminated!]
mcclurmc has quit [Ping timeout: 276 seconds]
tane has quit [Quit: Verlassend]
Copeiste has quit [Quit: Page closed]
ontologiae has quit [Ping timeout: 248 seconds]
Anarchos has quit [Quit: Vision[0.9.7-H-090423]: i've been blurred!]
eikke has quit [Ping timeout: 252 seconds]
q69 has quit [Remote host closed the connection]
eikke has joined #ocaml
jsvgoncalves has quit [Ping timeout: 272 seconds]
jsvgoncalves has joined #ocaml
kaktus has joined #ocaml
jsvgoncalves has quit [Ping timeout: 248 seconds]
jsvgoncalves has joined #ocaml
jsvgoncalves has quit [Ping timeout: 264 seconds]