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
ankit9 has joined #ocaml
lusory has joined #ocaml
ontologiae has joined #ocaml
ontologiae has quit [Ping timeout: 248 seconds]
madroach has quit [Ping timeout: 265 seconds]
madroach has joined #ocaml
cacho has quit [Read error: Connection reset by peer]
cacho has joined #ocaml
ankit9 has quit [Read error: Connection reset by peer]
<dsheets> ocamlcore.org down?
ankit9 has joined #ocaml
<hcarty> dsheets: Looks that way here
<hcarty> thelema: I've updated the gist for BatBounded - https://gist.github.com/3388696 - I think that is getting closer to a reasonable interface.
emmanuelux has quit [Ping timeout: 244 seconds]
ankit9 has quit [Ping timeout: 256 seconds]
mattrepl has joined #ocaml
ontologiae has joined #ocaml
ontologiae has quit [Ping timeout: 245 seconds]
ankit9 has joined #ocaml
mattrepl has quit [Quit: mattrepl]
<thelema> Untested changes on batBounded (edited using github editor, not compiled): https://gist.github.com/3506652
ankit9 has quit [Ping timeout: 268 seconds]
ankit9 has joined #ocaml
Progster has joined #ocaml
mattrepl has joined #ocaml
ankit9 has quit [Ping timeout: 264 seconds]
Fnar has quit [Quit: Client exiting]
Fnar has joined #ocaml
cdidd has joined #ocaml
sepp2k has joined #ocaml
Progster has quit [Ping timeout: 248 seconds]
hkBst has joined #ocaml
hkBst has quit [Changing host]
hkBst has joined #ocaml
pango is now known as pangoafk
`micro has quit [Remote host closed the connection]
mika1 has joined #ocaml
cago has joined #ocaml
djcoin has joined #ocaml
ankit9 has joined #ocaml
caligula has quit [Ping timeout: 265 seconds]
mmajchrzak_ has joined #ocaml
Znudzon has quit [Ping timeout: 252 seconds]
caligula has joined #ocaml
eikke has joined #ocaml
zorun has joined #ocaml
Ptival has joined #ocaml
Cyanure has joined #ocaml
_habnabit has quit [Ping timeout: 240 seconds]
_habnabit has joined #ocaml
_habnabit has quit [Ping timeout: 265 seconds]
olasd has quit [*.net *.split]
_habnabit has joined #ocaml
Chambart has joined #ocaml
fschwidom has joined #ocaml
olasd has joined #ocaml
olasd has quit [Changing host]
olasd has joined #ocaml
ftrvxmtrx has quit [Quit: Leaving]
err404 has joined #ocaml
Yoric has joined #ocaml
_habnabit has quit [Excess Flood]
_habnabit has joined #ocaml
_habnabit has quit [Ping timeout: 248 seconds]
_habnabit has joined #ocaml
_habnabit has quit [Excess Flood]
_habnabit has joined #ocaml
_habnabit has quit [Ping timeout: 244 seconds]
_habnabit has joined #ocaml
_habnabit has quit [Ping timeout: 264 seconds]
_habnabit has joined #ocaml
fschwidom has quit [Remote host closed the connection]
Chambart has quit [Ping timeout: 244 seconds]
twigmorewelsh has quit [Quit: Linkinus - http://linkinus.com]
twigmorewelsh has joined #ocaml
djcoin has quit [Quit: WeeChat 0.3.2]
munga has joined #ocaml
_andre has joined #ocaml
Yoric has quit [Ping timeout: 268 seconds]
ChristopheT has joined #ocaml
Yoric has joined #ocaml
Chambart has joined #ocaml
err404 has quit [Ping timeout: 244 seconds]
Tobu has quit [Remote host closed the connection]
err404 has joined #ocaml
Tobu has joined #ocaml
err404 has quit [Remote host closed the connection]
Mnabil has joined #ocaml
Progster has joined #ocaml
ontologiae has joined #ocaml
ontologiae has quit [Read error: Connection reset by peer]
ontologiae has joined #ocaml
mart has joined #ocaml
ontologiae has quit [Read error: Connection reset by peer]
ontologiae has joined #ocaml
<mart> What's the ocaml equivalent of sysroot? I want to build against old versions of libc so I don't pick up recent symbol versions.
<thelema> mart: ocaml uses the system compiler to do the final linking, so most likely you can do -ccopt and your sysroot arg
<mart> thelema: I'm trying that without success. I just can't figure out where this libc 2.14 symbol (memcpy) is coming from.
<thelema> the -v option will print the gcc invocations; maybe that'll help you debug
<mart> aha, will try that.
<thelema> err, -verbose
<thelema> -v is just version
ontologi1e has joined #ocaml
ontologiae has quit [Read error: Connection reset by peer]
smondet has joined #ocaml
Cyanure has quit [Remote host closed the connection]
Cyanure has joined #ocaml
<mart> thelema: any idea how to convince ocamlopt not delete the camlstartup*.s files?
<mart> or alternatively, how to generate one..
<thelema> -S
<thelema> o wait, camlstartup*.s?
<mart> yep
<thelema> -S keeps the assembly for each .ml
<mart> it seems to refer to modules in the program
<thelema> the camlstartup is dynamically generated, and the routines for doing so are baked into the compiler
<thelema> I'm guessing that you may have to recompile your ocaml system to get the result you want
<mart> gad.
<thelema> if it is the camlstartup that you want to change
<thelema> it's actually pretty easy to compile (if not that fast)
<mart> I don't want to change it, I just want a copy of it, before it's deleted.
<mart> I guess I could LD_PRELOAD a library with an empty unlink function :)
<mart> I'm not sure if that'd work.
ontologi1e has quit [Read error: Connection reset by peer]
<mart> it does :)(
ontologiae has joined #ocaml
<vbmithr> hi all
<vbmithr> I’ve got a problem with tuareg mode
<vbmithr> The setting "Tuareg match clause indent" seems inactive for me
<vbmithr> No matter what I set for this settings, The things going after a | clause -> got indented 2 chars after the | (that is exactly below clause)
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
<fx_> mart, one more way is to run it in gdb with breakpoint on unlink :)
ankit9 has quit [Quit: Leaving]
Anarchos has joined #ocaml
ontologiae has quit [Read error: Connection reset by peer]
<mart> fx_: yeah, I thought of that, but didn't have it installed :)
ontologiae has joined #ocaml
paolooo has joined #ocaml
<mart> well, I don't think I'm smart enough to solve this one yet.
ontologiae has quit [Read error: Connection reset by peer]
<mart> I did get a bit further than before. thanks for your help, thelema.
ontologiae has joined #ocaml
hongboz has joined #ocaml
<thelema> mart: you're welcome
<thelema> vbmithr: what version of tuareg
<vbmithr> 2.0.6
<vbmithr> the last one
<thelema> are you using the smie-based indentation engine? (setq tuareg-use-smie t)
<thelema> in any case, you probably want to adjust the when-indent
<vbmithr> I don’t think so
<vbmithr> Ok, I’ll have a look
<thelema> you should be aware that the default of | lining up with `match` is correct according to the official "caml programming guidelines"
<hongboz> hi vbmithr, why not caml-mode? I found it pretty nice compared with tuareg-mode
<vbmithr> I’m sure tuareg follows the guidelines :) It’s just that the program I’m coding right now doesn’t…
<vbmithr> hongboz: Dunno, I’ve been using that from the beginning
<hongboz> vbmithr: I have heard that tuarge mode is much nicer than caml-mode, but after I have tried both, I found that's not true
<thelema> hongboz: I'm happier with tuareg mode as it's actually being maintained
<Anarchos> i began to port the ocaml runtime in MMIX assembly :)
<hongboz> caml-mode is also well maintained, works pretty well with type-spot, and ocaml-debug out of the box
Chambart has quit [Ping timeout: 265 seconds]
<thelema> hongboz: really? I had the impression that it hadn't changed in a long while.
Progster has quit [Ping timeout: 268 seconds]
<hongboz> thelema: you can see the svn commit, it works well with syntax like 'let open Module in'
<hongboz> tuareg is broken for a long time
<thelema> https://github.com/thelema/ocaml-community/commits/origin/emacs <- I guess you're right about ocaml-mode; it is getting commits from doligez
ontologiae has quit [Read error: Connection reset by peer]
<thelema> I'll admit I don't use 'let open Foo in' often, but it works for me.
ontologiae has joined #ocaml
ccasin has joined #ocaml
mika1 has quit [Quit: Leaving.]
cago has quit [Quit: Leaving.]
Yoric has quit [Remote host closed the connection]
hkBst has quit [Remote host closed the connection]
hkBst has joined #ocaml
ccasin has quit [Remote host closed the connection]
asmanur has quit [Quit: leaving]
Cyanure has quit [Remote host closed the connection]
hkBst has quit [Quit: Konversation terminated!]
tane has joined #ocaml
ontologiae has quit [Read error: Connection reset by peer]
ccasin has joined #ocaml
ontologiae has joined #ocaml
Xizor has joined #ocaml
sepp2k1 has joined #ocaml
sepp2k has quit [Ping timeout: 264 seconds]
lusory has quit [Read error: No route to host]
hongboz has quit [Remote host closed the connection]
eikke has quit [Ping timeout: 245 seconds]
Yoric has joined #ocaml
Yoric has quit [Ping timeout: 248 seconds]
emmanuelux has joined #ocaml
Yoric has joined #ocaml
Yoric has quit [Ping timeout: 246 seconds]
Yoric has joined #ocaml
Mnabil has quit [Ping timeout: 268 seconds]
Yoric has quit [Ping timeout: 246 seconds]
Yoric has joined #ocaml
pangoafk is now known as pango
twigmorewelsh has quit [Quit: Leaving...]
twigmorewelsh has joined #ocaml
ontologiae has quit [Ping timeout: 268 seconds]
bddn has quit [Ping timeout: 240 seconds]
paolooo has quit [Ping timeout: 245 seconds]
bddn has joined #ocaml
Submarine has joined #ocaml
BiDOrD has joined #ocaml
BiDOrD_ has quit [Ping timeout: 260 seconds]
beckerb_ has quit [Ping timeout: 272 seconds]
emmanuelux has quit [Ping timeout: 244 seconds]
Submarine has quit [Quit: Leaving]
_andre has quit [Quit: leaving]
Progster has joined #ocaml
Yoric has quit [Ping timeout: 256 seconds]
Yoric has joined #ocaml
sepp2k1 has quit [Remote host closed the connection]
eni has joined #ocaml
Yoric has quit [Ping timeout: 244 seconds]
Xizor has quit []
eikke has joined #ocaml
Ptival has quit [Read error: Connection reset by peer]
tane has quit [Quit: Verlassend]
twigmorewelsh has quit [Ping timeout: 245 seconds]
eni has quit [Ping timeout: 245 seconds]
eikke has quit [Ping timeout: 268 seconds]
mmajchrzak_ has quit [Quit: Leaving]
sgnb` has joined #ocaml
Tobu has quit [Remote host closed the connection]
Tobu has joined #ocaml
rixed_ has quit [Ping timeout: 245 seconds]
rixed has joined #ocaml
sgnb has quit [Ping timeout: 246 seconds]
emmanuelux has joined #ocaml
sgnb` has quit [Read error: Connection reset by peer]
sgnb` has joined #ocaml
ChristopheT has quit [Ping timeout: 264 seconds]
mattrepl has quit [Quit: mattrepl]