Cheshire has quit [Read error: 110 (Connection timed out)]
jado has joined #ocaml
sanehe has quit [Read error: 110 (Connection timed out)]
Ched has quit ["Ex-Chat"]
slash__ has quit ["leaving"]
Yoric[DT] has quit ["Ex-Chat"]
jonasb has quit [Remote closed the connection]
willb has joined #ocaml
kaustuv has joined #ocaml
bluestorm has quit [Remote closed the connection]
tonyIII_ has joined #ocaml
tonyIII__ has quit [Connection reset by peer]
^authentic has joined #ocaml
authentic has quit [Connection timed out]
^authentic is now known as authentic
jeddhaberstro has quit []
Waleee has quit [Connection timed out]
sporkmonger has quit []
mfp has quit [Read error: 104 (Connection reset by peer)]
mfp has joined #ocaml
tripwyre has joined #ocaml
tripwyre has quit [Client Quit]
mfp has quit [Read error: 110 (Connection timed out)]
mfp_ has joined #ocaml
tripwyre has joined #ocaml
mfp_ has quit [Read error: 110 (Connection timed out)]
mfp_ has joined #ocaml
mfp_ has quit [Read error: 104 (Connection reset by peer)]
mfp_ has joined #ocaml
det has quit [Remote closed the connection]
det has joined #ocaml
det has quit [Remote closed the connection]
det has joined #ocaml
Cheshire has joined #ocaml
Narrenschiff has joined #ocaml
fremo has quit [Read error: 110 (Connection timed out)]
mfp_ has quit [Read error: 104 (Connection reset by peer)]
_zack has joined #ocaml
Narrenschiff has quit []
Associat0r has quit [Read error: 104 (Connection reset by peer)]
mfp_ has joined #ocaml
tripwyre has quit []
tonyIII__ has joined #ocaml
tonyIII_ has quit [Connection reset by peer]
mrvn has joined #ocaml
<mrvn>
moin.
<mrvn>
I'm working on some C binding and have a little problem. I need to keep alive a record of closures and a pointer to a C structure. I need a finalize() function to free the resources and I can only store a void* inside the C lib I'm binding for. No idea where/how it stores that internally.
<mrvn>
Ideas?
xian has joined #ocaml
_zack has quit [Read error: 60 (Operation timed out)]
Snark has joined #ocaml
bluestorm has joined #ocaml
mfp_ has quit [Read error: 104 (Connection reset by peer)]
mfp_ has joined #ocaml
<bluestorm>
naming question (for batteries)
<bluestorm>
i've got module interfaces such as Mapable, Enumerable
<totom>
Mappable sounds better to me
<totom>
:-)
<bluestorm>
and i'd like to do slight variation on them, eg. have a "monomorphic mapable" version, or "enumerable association"
<bluestorm>
should I rather use "EnumerableAssoc" or "AssocEnumerable" ?
<bluestorm>
MonoMappable or MappableMono ?
<bluestorm>
totom: right, thank
<bluestorm>
s
<totom>
:-)
<bluestorm>
having to commit a spelling fix is quite humiliating :-'
<bluestorm>
it seems Reins use the AssocEnumerable format
mfp_ has quit [Read error: 110 (Connection timed out)]
mfp_ has joined #ocaml
<totom>
less humiliating than not committing it :-)
_zack has joined #ocaml
<bluestorm>
_zack: I have a question regarding the make/configure stuff aroung config.ml
<_zack>
bluestorm: in batteries, I guess
<bluestorm>
yes
<_zack>
go ahead
<bluestorm>
is it right to have both a config.ml.in file (wich isn't in configure.ac's AC_CONFIG_FILES anymore) and a Makefile "config.ml" target ?
<_zack>
uhm, in the beginning, config.ml was supposed to be generated only by ./configure
<_zack>
then however yoric changed something
<bluestorm>
I think there is redundancy going there but I'm a total build system newbie and don't know wich one is the right thing (though I feel it should be config.ml.in)
<_zack>
and I don't remember the final decision
<bluestorm>
ah
<_zack>
at some moment it was not possible to have it generated by configure, but don't ask me why :) , it was a consideration by yoric
<bluestorm>
additionnaly, I think "gnome-open" should be replaced by "xdg-open" as the default browser setting
<_zack>
I'm all for having a "standard" setting in which config.ml is generated by ./configure
<_zack>
bluestorm: yeah, agreed
<bluestorm>
well we should probably ask Yoric when he's around
jlouis has quit ["leaving"]
jlouis has joined #ocaml
Ched has joined #ocaml
slash_ has joined #ocaml
authentic has quit [Read error: 104 (Connection reset by peer)]
<bluestorm>
(an IRC discussion about the config.ml file)
Waleee has joined #ocaml
<Yoric[DT]>
thanks
willb has quit [Read error: 110 (Connection timed out)]
<bluestorm>
Yoric[DT]: the implicit question was : wich one should we keep ?
<bluestorm>
I'm ready to make the change if others aren't interested
hkBst has joined #ocaml
sporkmonger has joined #ocaml
jeddhaberstro has joined #ocaml
smimou has quit ["bli"]
Waleee has quit [Read error: 104 (Connection reset by peer)]
<Yoric[DT]>
bluestorm: I'll take a look
<Yoric[DT]>
(sorry, I was afk)
Waleee has joined #ocaml
<Yoric[DT]>
bluestorm: xdg-open is fine by me.
Snark has quit ["Ex-Chat"]
^authentic has joined #ocaml
authentic has quit [Read error: 104 (Connection reset by peer)]
^authentic is now known as authentic
tripwyre has joined #ocaml
mfp_ is now known as mfp
jonasb has joined #ocaml
bluestorm has quit [Remote closed the connection]
<hcarty>
Yoric[DT]: Have you had a chance to look at the Bigarray map/mapi/to_array patch?
<Yoric[DT]>
hcarty: not yet, sorry.
<Yoric[DT]>
I'm currently on administrative deadline.
<Yoric[DT]>
I probably won't have time to look at anything before Monday 2nd.
<Yoric[DT]>
If you want a faster answer, you'll probably need to ask someone else.
<hcarty>
Yoric[DT]: Understood. Thanks for information
<Yoric[DT]>
Well, sorry for not being able to deliver on my promises.
<hcarty>
Sometimes work has to come first :-) I'm coming up on a grad school deadline, so the issue is at the front of my mind
<hcarty>
_zack, thelema: Care to take a look at a Batteries patch for ExtBigarray? It adds map, mapi, to_array to 1D, 2D and 3D Bigarrays
Alpounet has joined #ocaml
bluestorm has joined #ocaml
smimou has joined #ocaml
<Yoric[DT]>
hcarty: what kind of deadline is that?
Waleee has quit [Read error: 104 (Connection reset by peer)]
r0bby_ has joined #ocaml
sporkmonger has quit [brown.freenode.net irc.freenode.net]
Ched has quit [brown.freenode.net irc.freenode.net]
mrvn has quit [brown.freenode.net irc.freenode.net]
schme has quit [brown.freenode.net irc.freenode.net]
r0bby has quit [brown.freenode.net irc.freenode.net]
sporkmonger has joined #ocaml
Ched has joined #ocaml
mrvn has joined #ocaml
schme has joined #ocaml
Waleee has joined #ocaml
bluestorm has quit [Remote closed the connection]
Associat0r has joined #ocaml
_zack has quit ["Leaving."]
schme has quit ["Lost terminal"]
schme has joined #ocaml
<hcarty>
Yoric[DT]: PhD proposal/topic defense
<Yoric[DT]>
Nice :)
<Yoric[DT]>
What subject?
<hcarty>
It is a study of variations in rain structure in the tropics
<Yoric[DT]>
Not quite my field :)
Amorphous has quit [Read error: 110 (Connection timed out)]
Amorphous has joined #ocaml
<hcarty>
No, definitely not CS :-) But physical sciences are sorely lacking when it comes to using recent (last 30 years??) CS developments
<hcarty>
So discovering OCaml and the surrounding community has been quite fun
<Yoric[DT]>
:)
ikaros has joined #ocaml
jonasb has quit [Read error: 104 (Connection reset by peer)]
jonasb has joined #ocaml
Associat0r has quit [Read error: 104 (Connection reset by peer)]
Demitar has joined #ocaml
Associat0r has joined #ocaml
Camarade_Tux has joined #ocaml
tripwyre has quit []
Camarade_Tux has quit ["Quitte"]
ma82 has joined #ocaml
Yoric_ has joined #ocaml
Yoric[DT] has quit [Read error: 113 (No route to host)]
love-pingoo has joined #ocaml
|jedai| has joined #ocaml
Alpounet has quit ["Ex-Chat"]
weechat2 has quit [Read error: 113 (No route to host)]
ma82 has left #ocaml []
_zack has joined #ocaml
<mrvn>
Anyone an idea how to allocate a chunk of memory with fixed address, finalize() function and containing values the GCC will follow?
<mrvn>
s/GCC/GC/
* Yoric_
doesn't think it's possible.
Yoric_ is now known as Yoric[DT]
<mrvn>
What if I create a custom block, register the values within as new roots and unregister them in finalize()?
<Yoric[DT]>
I'm not familiar enough with interfacing of C with OCaml.
<Yoric[DT]>
mmmhhh....
<Yoric[DT]>
Actually, I reserve my earlier jugement.
<Yoric[DT]>
I believe it is possible.
<Yoric[DT]>
I just don't know how.
<Yoric[DT]>
But that sounds a look like Ancient.
hkBst has quit [Remote closed the connection]
<mrvn>
I wonder if I'm allowed to unregister a root block in finalize(). The docs say CAMLparam or any allocations isn't allowed. But nothing about caml_remove_global_root.
<mrvn>
Yoric[DT]: any hint where to look? I don't see anything to mark a block as unmovable for the GC.
<Yoric[DT]>
Have you looked at Ancient?
Cheshire has quit ["Leaving"]
verte has joined #ocaml
<mrvn>
Yoric[DT]: looks evil
<Yoric[DT]>
That it does.
<Yoric[DT]>
But that's probably related to what you're looking for.
<mrvn>
Plus it requires totaly non-mutable structures. No way I can make sure of that.
weechat2 has joined #ocaml
<mrvn>
I think I've found a solution. If I use CPS notation then I can have a CAMLlocal variable to keep everything needed alive and use the address of it inside the C lib for reference.
<mrvn>
fun run ops fn : operations -> (t -> unit) -> unit
slash_ has quit ["leaving"]
jonasb has quit [Remote closed the connection]
_zack has quit ["Leaving."]
OChameau has joined #ocaml
love-pingoo has quit ["Connection reset by pear"]
ikaros has quit ["Leave the magic to Houdini"]
Waleee has quit [Connection timed out]
OChameau has quit [Read error: 60 (Operation timed out)]
vovkaii has quit [Read error: 110 (Connection timed out)]
vovkaii has joined #ocaml
<Yoric[DT]>
Is there anyone around here who's familiar with existential types?
vovkaii has quit [Read error: 110 (Connection timed out)]