mcc has quit [Quit: Connection closed for inactivity]
Algebr has quit [Ping timeout: 264 seconds]
kosh_ has quit [Ping timeout: 255 seconds]
zpe has joined #ocaml
zpe has quit [Ping timeout: 265 seconds]
hannes` is now known as hannes
kosh_ has joined #ocaml
Algebr has joined #ocaml
freusque has joined #ocaml
yomimono has joined #ocaml
zpe has joined #ocaml
<companion_cube>
infinity0: I don't think you can disable TCE
freusque has quit [Ping timeout: 265 seconds]
AlexDenisov has joined #ocaml
benjamin1 is now known as osheeta
Simn has joined #ocaml
freusque has joined #ocaml
johnelse_ is now known as johnelse
yomimono has quit [Ping timeout: 260 seconds]
larhat has joined #ocaml
mfp_ has joined #ocaml
kakadu has quit [Remote host closed the connection]
larhat has quit [Ping timeout: 265 seconds]
larhat has joined #ocaml
yomimono has joined #ocaml
rand__ has joined #ocaml
<infinity0>
companion_cube: oh man well do you have any debugging tips
<infinity0>
i managed to fix my problem by totally guessing what was wrong, but i can't really rely on that next time
<companion_cube>
erf, my tips are: use `assert` a lot; use backtraces or gdb
<companion_cube>
but indeed, it's not easy
averell has joined #ocaml
<infinity0>
companion_cube: what do you mean use backtraces? the fact that tce removes a lot of the stack frames is what was affecting me so the backtraces weren't very useful
<companion_cube>
yeah, agreed
octachron has joined #ocaml
<adrien>
infinity0: you shouldn't need to disable TCE
<adrien>
I mean, it shouldn't be what messes with your traces
silver has joined #ocaml
jonasen has quit [Ping timeout: 272 seconds]
jwatzman|work has joined #ocaml
<infinity0>
well there's a ton of stuff that's obviously missing from these traces
tg has quit [Quit: Leaving]
<infinity0>
Re-raised at file "camlinternalLazy.ml", line 32, characters 10-11
<infinity0>
Called from file "test/testDataGraph.ml", line 250, characters 19-43
<infinity0>
e.g. there is definitely something between my test and Lazy - which is used in another utility, but not directly by my test
<companion_cube>
try disabling inlining, too
<companion_cube>
what compiler version do you use?
<infinity0>
still on 4.02.3 with debian
<companion_cube>
ok, try inline(0) in _tags, or the equivalent, I think
tg has joined #ocaml
<Algebr>
hmm, caml_int64_ops segfaulting on me
<Algebr>
dealing with real 32 and 64 bit values is a real pain in ocaml
<infinity0>
still the same stack trace with inline 0, but nvmd i'll come back to this some other time
jonasen has joined #ocaml
johnelse has quit [Quit: leaving]
<infinity0>
adrien: but also, why do you think TCE *wouldn't* mess with my traces? i don't really know the internals of how ocaml does things
AltGr has left #ocaml [#ocaml]
yomimono has quit [Ping timeout: 260 seconds]
<adrien>
infinity0: it turns your functions calls into loops
johnelse has joined #ocaml
<adrien>
so you should see fewer steps or none but that's almost it
<infinity0>
does it only optimise if the tail call is to the same function? that would make sense then (that it doesn't mess with my stack traces)
<infinity0>
but *something* is cutting out stuff from my stack traces, i thought TCE was a reasonable candidate, assuming that it optimises all tail calls and not just ones to the same function
wu_ng has quit [Ping timeout: 252 seconds]
ygrek has quit [Ping timeout: 276 seconds]
<zozozo>
infinity0: it doesn't need to be the same function for TCE to be done
freusque has quit [Quit: WeeChat 1.4]
<zozozo>
for instance mutually recursive functions
<infinity0>
yeah that's what i thought. and i assume it does it even when there is no mutual recursion, but just when it can? i'd imagine it's not worth the effort to detect mutual recursion and restrict it to those cases
<zozozo>
right
rand__ has quit [Ping timeout: 265 seconds]
<Algebr>
doesn't 4.03.0 have something like [@@noline], maybe a no [@@notc] would be nice as well
mpsiaidezmoi has joined #ocaml
al-damiri has joined #ocaml
<mpsiaidezmoi>
bonjour j'ai une question à propos des arbres
<mpsiaidezmoi>
je ne comprends pas mon cours
<lyxia>
n'hésite pas à poser ta question
<lyxia>
oh wait this is #ocaml
<Enjolras>
mpsiaidezmoi: hi if you want to speak french please join #ocaml-fr
octachron has left #ocaml [#ocaml]
octachron has joined #ocaml
AlexDenisov has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
Nahra` has quit [Quit: ERC (IRC client for Emacs 24.5.1)]
Nahra has joined #ocaml
<Enjolras>
i think you can emulate a notc, at some cost. For instance, let rec no_tc' blah = ... do something ... ((), no_tc bar) let no_tc blah = snd @@ no_tc' blah
yomimono has joined #ocaml
artart78_ is now known as artart78
kiwnix has joined #ocaml
copy` has joined #ocaml
Sorella has joined #ocaml
AlexDenisov has joined #ocaml
hyperboreean has quit [Read error: Connection reset by peer]
AlexDenisov has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
_andre has joined #ocaml
rom15041 is now known as rom1504
kakadu has joined #ocaml
hyperboreean has joined #ocaml
AlexDenisov has joined #ocaml
ggole has joined #ocaml
<Algebr>
oh nice, completely forgot that result type is finally in pervasises
<companion_cube>
there is a compat package anyway
sdothum has joined #ocaml
jstolarek has joined #ocaml
profan_ is now known as profan
jstolarek has quit [Ping timeout: 244 seconds]
freusque has joined #ocaml
rgrinberg has joined #ocaml
rgrinberg has quit [Client Quit]
rgrinberg has joined #ocaml
cnu- has quit [Ping timeout: 272 seconds]
cnu- has joined #ocaml
mpsiaidezmoi has quit [Ping timeout: 240 seconds]
shinnya has joined #ocaml
yomimono has quit [Ping timeout: 260 seconds]
wxfdglm has joined #ocaml
jbrown has quit [Quit: Leaving]
jbrown has joined #ocaml
ee_ks has joined #ocaml
ee_ks has left #ocaml [#ocaml]
uberTaco has joined #ocaml
AlexDenisov has quit [Max SendQ exceeded]
AlexDenisov has joined #ocaml
pootler has joined #ocaml
zpe has quit [Remote host closed the connection]
Merv_ has quit [Ping timeout: 240 seconds]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 265 seconds]
freusque has quit [Ping timeout: 252 seconds]
freusque has joined #ocaml
sh0t has joined #ocaml
freusque has quit [Ping timeout: 252 seconds]
averell has quit [Ping timeout: 248 seconds]
jonasen has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
sz0 has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 252 seconds]
jwatzman|work has quit [Quit: jwatzman|work]
pootler has quit [Ping timeout: 265 seconds]
pootler has joined #ocaml
averell has joined #ocaml
pootler has quit [Read error: No route to host]
pootler has joined #ocaml
Guest45156 has quit [Ping timeout: 244 seconds]
fluter has quit [Ping timeout: 255 seconds]
kandu has joined #ocaml
kandu is now known as Guest57575
_whitelogger has joined #ocaml
fluter has joined #ocaml
orbifx has joined #ocaml
<orbifx>
hello all
freusque has joined #ocaml
<companion_cube>
hi orbifx
<orbifx>
why would ocamlbuild create a larger binary than ocamlfind + ocamlopt ?
<flux>
well, it uses ocamlfind and ocamlopt to create the binary, so it doesn't, unless it gives different arguments to them than your comparison
<flux>
ocamlbuild -v iirc displays the command lines used
<flux>
or maybe -classic-display if not that
<orbifx>
how do you tell it to -linkpkg?
<flux>
my suspicion: 1) you link in some additional library or 2) you have debug information 3) one is stripped or and one isn't
<flux>
tell what?
<flux>
ocamlbuild must use -linkpkg in the final step of compiling, no?
pootler has quit []
<orbifx>
when I was using ocamlfind + ocamlopt directly I had -linkpkg
<flux>
but ocamlbuild doesn't use -linkpkg?
<flux>
I think it must use, otherwise it is unable to create a binray
<orbifx>
which i pressume tells it to dynamic link to the libraries rathern then build them in?
AlexDenisov has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
<flux>
well, no
<flux>
ocamlfind uses -linkpkg to determine that the libraries must be linked in
<flux>
without -linkpkg they are not linked in
<flux>
and you cannot produce a final executable
<flux>
in other words, you must have it, or it won't work
<flux>
you get a bunch of errors without
<orbifx>
ok got you
<orbifx>
so it must be something else
<orbifx>
I run both the builds side to side and now the difference is miniscule
<orbifx>
guess the old binary was out of date
_whitelogger_ has joined #ocaml
_whitelogger has quit [Remote host closed the connection]
<libertas>
set rtp... and let g:syntastic_ocaml_checkers = ['merlin']
<libertas>
to ~/.vim/after/ftplugin/ocaml.vim?
<libertas>
tried but it returns error when opening an ocaml file
octachron has quit [Quit: Page closed]
slash^ has joined #ocaml
Algebr has quit [Ping timeout: 265 seconds]
AlexDenisov has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
AlexDenisov has joined #ocaml
larhat has quit [Quit: Leaving.]
smondet`` has quit [Ping timeout: 255 seconds]
<Bluddy[m]>
libertas: I don't think you can do that because by adding to rtp (runtimepath), you're adding the location of merlin, but you aren't sourcing (ie. loading) merlin's files. Vim sources its plugin files (all plugin files found in the rtp) when it boots up, and this isn't happening here. If you want merlin to be loaded lazily, I suggest you use a plugin manager (such as vim-plug, which is terrific), and use vim-plug's lazy init
<Bluddy[m]>
feature. In this case, though, you'll probably be using the version of merlin obtained from its git repo.
tristero has joined #ocaml
wxfdglm has quit [Ping timeout: 244 seconds]
AdmWiggin is now known as tianon
lolisa has joined #ocaml
Euturiel has joined #ocaml
ygrek has joined #ocaml
AlexDenisov has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
Leonidas has quit [Quit: An ideal world is left as an exercise to the reader]
Denommus has joined #ocaml
Euturiel has quit [Remote host closed the connection]
Denommus` has joined #ocaml
wxfdglm has joined #ocaml
Algebr has joined #ocaml
Daewron has joined #ocaml
Daewron has quit [Remote host closed the connection]
lolisa has quit [Ping timeout: 252 seconds]
Denommus has quit [Ping timeout: 265 seconds]
atsampson has quit [Ping timeout: 265 seconds]
atsampson has joined #ocaml
Element has joined #ocaml
eh_eff has joined #ocaml
Kakadu has quit [Ping timeout: 240 seconds]
Denommus` is now known as Denommus
rbocquet has quit [Ping timeout: 252 seconds]
rbocquet has joined #ocaml
shinnya has joined #ocaml
trevorriles_ is now known as trevorriles
MercurialAlchemi has joined #ocaml
ygrek has quit [Ping timeout: 255 seconds]
Element has quit [Remote host closed the connection]
Leonidas_ has joined #ocaml
Leonidas_ is now known as Leonidas
FreeBirdLjj has joined #ocaml
pootler has joined #ocaml
wagle_ is now known as wagle
FreeBirdLjj has quit [Ping timeout: 265 seconds]
zetavolt is now known as zv
Lughar has joined #ocaml
ygrek has joined #ocaml
Lughar has quit [Remote host closed the connection]
rgrinberg has quit [Ping timeout: 276 seconds]
wxfdglm has quit [Ping timeout: 265 seconds]
rand__ has joined #ocaml
wxfdglm has joined #ocaml
jonasen_ has joined #ocaml
jonasen has quit [Ping timeout: 260 seconds]
veggie_ has quit [Ping timeout: 260 seconds]
octachron has joined #ocaml
orbifx has joined #ocaml
veggie_ has joined #ocaml
AlexDenisov has joined #ocaml
rgrinberg has joined #ocaml
wxfdglm has quit [Ping timeout: 244 seconds]
eh_eff has quit [Ping timeout: 276 seconds]
pootler has quit [Read error: Connection reset by peer]
_andre has quit [Quit: leaving]
slash^ has quit [Read error: Connection reset by peer]
MercurialAlchemi has quit [Ping timeout: 252 seconds]
<reynir>
libertas: fwiw I usually do opam install merlin ocp-indent user-setup; opam user-setup install
AlexDenisov has quit [Quit: My Mac has gone to sleep. ZZZzzz…]