gildor changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/ | OCaml 3.12.1 http://bit.ly/nNVIVH
tac-tics[king] is now known as tac-tics[home]
eni has quit [Ping timeout: 256 seconds]
olasd_ is now known as olasd
madroach has quit [Ping timeout: 265 seconds]
madroach has joined #ocaml
emmanuelux has quit [Read error: Connection reset by peer]
Chambart has quit [Ping timeout: 260 seconds]
tac-tics[home] has quit [Ping timeout: 256 seconds]
vincentbalat has quit [Ping timeout: 245 seconds]
vincentbalat has joined #ocaml
beckerb has quit [Ping timeout: 245 seconds]
beckerb_ has joined #ocaml
ankit9 has joined #ocaml
Progster has quit [Ping timeout: 265 seconds]
ankit9 has quit [Ping timeout: 252 seconds]
Progster has joined #ocaml
ankit9 has joined #ocaml
Progster has quit [Ping timeout: 260 seconds]
ulfdoz has quit [Ping timeout: 244 seconds]
ulfdoz has joined #ocaml
ulfdoz has quit [Ping timeout: 246 seconds]
ulfdoz has joined #ocaml
<xenocons> ocsigen down?
cdidd has joined #ocaml
psaxl has joined #ocaml
sepp2k has joined #ocaml
ulfdoz has quit [Ping timeout: 252 seconds]
Guest46559 has joined #ocaml
<Guest46559> Hi, new to ocaml and trying to build a project in which one file contains at top: open Batteries,but when i run 'make' I get: ocamlfind: Package `Batteries.pa_batteries' not found
<Guest46559> and similar for batteries.pa_strings and pa_where
<Guest46559> i installed batteries via godi-batteries
<Guest46559> is that the right way to install batteries?
<Guest46559> While trying to build this: https://github.com/martindemello/ocaml-tetris
<Guest46559> godi_console says batteries version 1.4.1, and installed at /opt/godi/lib/ocaml/pkg-lib/batteries
<Guest46559> :(
pango is now known as pangoafk
<fasta> Is there some option to statically compile a binary in OCaml?
<fasta> That is, include all C libraries, and all OCaml libraries into one binary that you only need to copy and paste somewhere.
srcerer has quit [Ping timeout: 245 seconds]
djcoin has joined #ocaml
<adrien> ocaml uses static linking by defaults, so nothing to do there
<adrien> for C libraries, you can if you tell the C linker to link statically too
<adrien> however
<adrien> it won't always work
<adrien> some C libraries are designed with dynamic linking in mind, and/or use plugins (GTK+)
<adrien> also, for C libraries, depending on your needds, setting LD_LIBRARY_PATH is a good first option
hkBst has joined #ocaml
hkBst has quit [Changing host]
hkBst has joined #ocaml
Cyanure has joined #ocaml
wagle has quit [Ping timeout: 252 seconds]
hkBst_ has joined #ocaml
hkBst_ has quit [Changing host]
hkBst_ has joined #ocaml
mika1 has joined #ocaml
hkBst has quit [Remote host closed the connection]
eni has joined #ocaml
wagle has joined #ocaml
cago has joined #ocaml
Cyanure has quit [Remote host closed the connection]
Guest46559 has quit [Remote host closed the connection]
psaxl has quit [Remote host closed the connection]
ftrvxmtrx has quit [Quit: Leaving]
Cyanure has joined #ocaml
_habnabit has quit [Ping timeout: 260 seconds]
err404 has joined #ocaml
ftrvxmtrx has joined #ocaml
Chambart has joined #ocaml
_habnabit has joined #ocaml
ontologiae has joined #ocaml
munga has joined #ocaml
_habnabit has quit [Ping timeout: 265 seconds]
habnabit has joined #ocaml
ontologi1e has joined #ocaml
ontologiae has quit [Read error: Connection reset by peer]
b` has joined #ocaml
hkBst_ has quit [Remote host closed the connection]
hkBst_ has joined #ocaml
hkBst_ has quit [Changing host]
hkBst_ has joined #ocaml
<b`> is it possible in ocmal emacs to have minibuffer show function arguments as you type as it does in lisp+slime?
<b`> ocaml*
fschwidom has joined #ocaml
hkBst__ has joined #ocaml
<fasta> b`: currently, I think no.
Yoric has joined #ocaml
<fasta> b`:ocaml has a standard documentation format, right?
<fasta> b`: as such it could be fairly easily added.
<fasta> b`: but probably there is no market for it, as TypeRex development has also stalled.
sepp2k1 has joined #ocaml
hkBst_ has quit [*.net *.split]
b` has quit [*.net *.split]
cago has quit [*.net *.split]
sepp2k has quit [*.net *.split]
cago has joined #ocaml
<adrien> for _andre, for gmail's spam filter: "Be careful with this message. Our systems couldn't verify that this message was really sent by digirati.com.br. "
Anarchos has joined #ocaml
ontologiae has joined #ocaml
ontologi1e has quit [Read error: Connection reset by peer]
eikke has quit [Ping timeout: 246 seconds]
Snark has joined #ocaml
ontologiae has quit [Read error: Connection reset by peer]
ontologiae has joined #ocaml
eikke has joined #ocaml
olasd has quit [Quit: quat]
olasd_ has joined #ocaml
olasd_ has quit [Changing host]
olasd_ has joined #ocaml
munga has quit [Ping timeout: 265 seconds]
olasd_ is now known as olasd
err404 has quit [Remote host closed the connection]
munga has joined #ocaml
_andre has joined #ocaml
Progster has joined #ocaml
<fasta> Let's say you have something like let x = ((3 + 4) + f x + g y); , is it possible to evaluate subexpressions of that while in the Emacs buffer?
<fasta> (In Emacs Lisp mode you can easily do things like that.)
<flux> well, you have ^X^E for evaluating the preceding phrase, but I don't know if there's an existing binding for evaluating a parenthesized subexpression
<flux> if you mark it, you can do ^C^R to evaluate it
<flux> I use ^X^E mostly, though
<flux> for sake of completeness ^C^B evaluates the whole buffer
<fasta> flux: what is the definition of a phrase here?
<fasta> flux: never mind.
eni has quit [Ping timeout: 252 seconds]
Tobu has quit [Ping timeout: 272 seconds]
Progster has quit [Read error: Operation timed out]
Progster has joined #ocaml
Tobu has joined #ocaml
eni has joined #ocaml
Progster has quit [Ping timeout: 250 seconds]
eni has quit [Ping timeout: 248 seconds]
Tobu has quit [Read error: Connection reset by peer]
Tobu_ has joined #ocaml
Tobu_ has quit [Ping timeout: 260 seconds]
Tobu has joined #ocaml
<hcarty> thelema: Any suggestions for a module name for limited range values? See here for some sample code: https://raw.github.com/gist/3388696/52d29fc5fc918e14f565150be7465b2e06f5ce10/limited.ml
<hcarty> thelema: I had asked about adding this to Batteries before. I'd like to try to get it in before 2.0, but I don't know if I'll have time.
<hcarty> thelema: I'd also like to get Umatrix ported to Batteries and submitted as well (http://0ok.org/cgit/cgit.cgi/ulib/tree/umatrix.mli)
<hcarty> Suggestions for a module/functor for representing values of a limited range (ex. integers from 1 to 10) are welcome from anyone :-)
<mehdid> something like http://jfla.inria.fr/2010/actes/PDF/bonichon_cuoq.pdf would be cool (but a tad different from what you suggest :))
emmanuelux has joined #ocaml
<thelema> hcarty: adding code is much easier than changing/removing anything.
<thelema> hcarty: how about 'Bounded'?
Tobu has quit [Read error: Connection reset by peer]
Tobu has joined #ocaml
Anarchos has quit [Ping timeout: 244 seconds]
<thelema> mehdid: batteries already has IMap/ISet, which are very similar but don't provide as much emphasis on mergability
<adrien> being called "bonichon" is probably not always easy :P
<hcarty> thelema: Bounded is good, thanks
<thelema> mehdid: but these optimize for contiguous intervals, but don't really map from intervals; i.e. the lookup is fundamentally for a point
mk270 has quit [Ping timeout: 256 seconds]
mk270 has joined #ocaml
<thelema> hcarty: as for 2.0, very easy to get in as Incubator, without guarantees of stability.
<mehdid> good to know, thanks! (/me shame on me for not checking :))
<hcarty> thelema: Incubator is my plan for both, unless one or both modules get enough testing and feedback from others before release.
<thelema> mehdid: I'll admit that I haven't needed a mapping from actual intervals, and have just written the code to merge overlaps
<thelema> hcarty: send pull requests
<hcarty> thelema: On the zip/camlzip front - I think both zip and camlzip have similar lengths of history.
<thelema> hcarty: also, we should probably have a general in_range function, maybe in Ord
mattrepl has joined #ocaml
<hcarty> thelema: I will once I get either of them properly/somewhat into Batteries :-)
<hcarty> thelema: Agreed
<thelema> hcarty: zip has been pushed to upstream, I think the godi community will be able to keep compatibility with both names
Tobu_ has joined #ocaml
Tobu has quit [Ping timeout: 260 seconds]
<yezariaely> I am looking for an ordered set in ocaml, i.e. a set which retains the order in which the elements are inserted but does not allowed double elements.
<yezariaely> anything like this in ocaml or batteries I don't see?
<thelema> yezariaely: use List.mem to avoid double-insertion, but why do you want such a data structure?
osa1 has joined #ocaml
Tobu_ has quit [Ping timeout: 260 seconds]
Tobu has joined #ocaml
<yezariaely> thelema: first: thanks, second: I will check if the datastructure is really necessary...
emmanuelux has quit [Read error: Connection reset by peer]
<yezariaely> … maybe I have to get a broader view of my problem
Kakadu_ has joined #ocaml
cago1 has joined #ocaml
cago has quit [Ping timeout: 260 seconds]
paolooo has joined #ocaml
mika1 has quit [Quit: Leaving.]
cago1 has quit [Ping timeout: 256 seconds]
Anarchos has joined #ocaml
ChristopheT has joined #ocaml
Drakken has quit [Read error: Connection reset by peer]
<hcarty> _andre: Would you mind making an updated uint release? Or would you mind if I uploaded a git snapshot to oasis-db?
<_andre> not at all, i'll do it right now
smondet has joined #ocaml
<hcarty> _andre: Thanks! One more step on the way to getting the oasis-db's packages all OCaml 4.x installable :-)
<hcarty> thelema: Do you mind if I remove the ocamlgsl packages from oasis-db? Markus Mottl's official packages are pre-oasis'd and probably a safer thing to keep around at this point.
ankit9 has quit [Ping timeout: 240 seconds]
ftrvxmtrx has quit [Quit: Leaving]
ankit9 has joined #ocaml
hkBst__ has quit [Quit: Konversation terminated!]
eni has joined #ocaml
<hcarty> _andre: Thank you very much. Would you like to upload it to oasis-db? Otherwise I can do so.
<_andre> forgot that :)
<thelema> hcarty: I don't mind at all.
<_andre> hcarty: done
<hcarty> _andre: Thanks - I'll test and then push it up the version chain.
<hcarty> thelema: Done. That clears up one of the warnings on the admin page.
fschwidom has quit [Ping timeout: 252 seconds]
ankit9 has quit [Quit: Leaving]
Cyanure has quit [Remote host closed the connection]
ontologiae has quit [Read error: Connection reset by peer]
ontologiae has joined #ocaml
ontologiae has quit [Read error: Connection reset by peer]
ontologiae has joined #ocaml
ChristopheT has left #ocaml []
ChristopheT has joined #ocaml
fschwidom has joined #ocaml
ontologiae has quit [Read error: Connection reset by peer]
Kakadu_ has quit [Quit: Konversation terminated!]
_andre has quit [Ping timeout: 248 seconds]
ontologiae has joined #ocaml
_andre has joined #ocaml
ontologi1e has joined #ocaml
ontologiae has quit [Read error: Connection reset by peer]
julm has quit [Ping timeout: 248 seconds]
ftrvxmtrx has joined #ocaml
ChristopheT has quit [Read error: Operation timed out]
ontologiae has joined #ocaml
ontologi1e has quit [Read error: Connection reset by peer]
munga has quit [Read error: Operation timed out]
ontologiae has quit [Read error: Connection reset by peer]
ontologiae has joined #ocaml
ankit9 has joined #ocaml
eni has quit [Ping timeout: 246 seconds]
<fx_> why all that repetetive stuff in opam recipes? I mean when the package uses oasis it's build and remove lines are boilerplate - why not derive it automatically from package name?
<thelema> fx_: that's more or less what odb does
<thelema> I agree it's very repetitive, and possibly prone to error.
<thelema> :( opam's github repo is private, so I can't try auto-installing opam with odb.ml
<thelema> n/m, it's just a bad link
<thelema> :( on opam's makefile that handles dependencies
<thelema> it works nicely, but it's not proper integration with system libs
<thelema> $ odb.ml --sudo git://github.com/OCamlPro/opam.git
<thelema> one command install of opam from git
munga has joined #ocaml
sepp2k has joined #ocaml
sepp2k1 has quit [Ping timeout: 272 seconds]
julm has joined #ocaml
Yoric has quit [Ping timeout: 244 seconds]
Chambart has quit [Ping timeout: 260 seconds]
twigmorewelsh has joined #ocaml
pangoafk is now known as pango
emmanuelux has joined #ocaml
djcoin has quit [Quit: WeeChat 0.3.2]
tane has joined #ocaml
fschwidom has quit [Remote host closed the connection]
ontologiae has quit [Ping timeout: 244 seconds]
ankit9 has quit [Ping timeout: 244 seconds]
ankit9 has joined #ocaml
_andre_ has joined #ocaml
_andre_ has quit [Client Quit]
andre___ has joined #ocaml
_andre has quit [Ping timeout: 246 seconds]
hyperboreean has quit [Ping timeout: 245 seconds]
hyperboreean has joined #ocaml
Drakken has joined #ocaml
mattrepl has quit [Quit: mattrepl]
habnabit is now known as _habnabit
ontologiae has joined #ocaml
munga has quit [Quit: Ex-Chat]
fschwidom has joined #ocaml
fschwidom has quit [Remote host closed the connection]
fschwidom has joined #ocaml
emmanuelux has quit [Ping timeout: 245 seconds]
srcerer has joined #ocaml
eni has joined #ocaml
srcerer has quit [Read error: Connection reset by peer]
srcerer has joined #ocaml
srcerer has quit [Client Quit]
eni has quit [Ping timeout: 268 seconds]
sivoais has quit [Ping timeout: 248 seconds]
Xizor has joined #ocaml
fschwidom has quit [Ping timeout: 244 seconds]
Yoric has joined #ocaml
sepp2k has quit [Remote host closed the connection]
Snark has quit [Quit: Quitte]
sivoais has joined #ocaml
cdidd has quit [Read error: Connection reset by peer]
scri has joined #ocaml
ontologiae has quit [Ping timeout: 245 seconds]
eikke has quit [Ping timeout: 265 seconds]
eikke has joined #ocaml
ontologiae has joined #ocaml
ontologiae has quit [Client Quit]
ontologiae has joined #ocaml
Yoric has quit [Ping timeout: 240 seconds]
andre___ has quit [Quit: leaving]
ankit9 has quit [Read error: Connection reset by peer]
ankit9 has joined #ocaml
Anarchos has quit [Quit: sleep time after hours of MMIX assembly....]
Xizor has quit []
Yoric has joined #ocaml
Yoric has quit [Ping timeout: 252 seconds]
Tobu has quit [Ping timeout: 272 seconds]
Tobu has joined #ocaml
tane has quit [Remote host closed the connection]
BiDOrD_ has joined #ocaml
paolooo has quit [Quit: Page closed]
BiDOrD has quit [Ping timeout: 256 seconds]
Tobu has quit [Read error: Connection reset by peer]
Tobu has joined #ocaml
Tobu has quit [Ping timeout: 272 seconds]
Tobu has joined #ocaml
srcerer has joined #ocaml
Ptival has quit [Quit: Quat]
scri has quit [Remote host closed the connection]
smondet has quit [Quit: Leaving]
Tobu has quit [Ping timeout: 260 seconds]
Tobu has joined #ocaml
ontologiae has quit [Ping timeout: 244 seconds]
TaXules has quit [Ping timeout: 246 seconds]
osa1 has quit [Ping timeout: 264 seconds]
Tobu has quit [Ping timeout: 260 seconds]
Tobu has joined #ocaml
ontologiae has joined #ocaml
TaXules has joined #ocaml
eikke has quit [Ping timeout: 268 seconds]
ontologiae has quit [Ping timeout: 272 seconds]
emmanuelux has joined #ocaml
eni has joined #ocaml
eni has quit [Client Quit]
osa1 has joined #ocaml
osa1 has quit [Client Quit]
ankit9 has quit [Ping timeout: 260 seconds]
dwmw2_gone has quit [Read error: No route to host]
dwmw2_gone has joined #ocaml