mbishop changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/ | Grab Ocaml 3.10.0 from http://caml.inria.fr/ocaml/release.html (featuring new camlp4 and more!)
linuxtk10 has quit ["Konversation terminated!"]
david_koontz has quit ["Leaving"]
gunark has joined #ocaml
Smirnov has joined #ocaml
Smirnov has left #ocaml []
pantsd has quit [Read error: 110 (Connection timed out)]
gunark has quit [Read error: 104 (Connection reset by peer)]
shawn has quit [Read error: 110 (Connection timed out)]
shawn has joined #ocaml
pantsd has joined #ocaml
pantsd has quit [Client Quit]
gunark has joined #ocaml
buluca has quit [Read error: 113 (No route to host)]
pantsd has joined #ocaml
shawn has quit [Read error: 110 (Connection timed out)]
yminsky has joined #ocaml
joshcryer has quit [Nick collision from services.]
joshcryer has joined #ocaml
yminsky has quit []
G has quit [Read error: 110 (Connection timed out)]
G has joined #ocaml
seafoodX has joined #ocaml
ramkrsna_ is now known as ramkrsna
shawn has joined #ocaml
diakopter has joined #ocaml
<Mr_Awesome> mbishop: a little late perhaps, but amen to that :)
<diakopter> hi; is there a public log for this channel (I'd like to see what's been discussed lately)?
seafoodX has quit []
ygrek has joined #ocaml
seafoodX has joined #ocaml
seafoodX has quit [Connection reset by peer]
seafoodX has joined #ocaml
seafoodX has quit []
seafoodX has joined #ocaml
slipstream has joined #ocaml
slipstream-- has quit [Read error: 110 (Connection timed out)]
_blackdog has joined #ocaml
_blackdog has left #ocaml []
pantsd has quit [Read error: 110 (Connection timed out)]
pantsd has joined #ocaml
slipstream has quit [Read error: 104 (Connection reset by peer)]
slipstream has joined #ocaml
Mr_Awesome has quit ["time to impregnate a moth"]
pango has quit [Remote closed the connection]
pango has joined #ocaml
buluca has joined #ocaml
noteventime has joined #ocaml
screwt8 has quit [Remote closed the connection]
screwt8 has joined #ocaml
<TFK> ocamldebug doesn't offer conditional breakpoints, does it?
* rwmjones usually uses gdb ... just wish it "knew" ocaml better
<TFK> gdb? Debugging native code?
<rwmjones> yup
<TFK> Hmmm... how does it work? I mean, you don't have your old line numbers, the function names are mangled, you can't read values easily (is the gc bit in the int the MSB or the LSB?)
<flux> tfk, try it out and report your findings?-)
<flux> and it's the LSB
<TFK> flux, hmmm, I just might do that :-)
<TFK> And gdb should have a graphical interface, I think...
piggybox__ has joined #ocaml
<flux> try ddd
<flux> or insight
<flux> or emacs
<flux> although I just use the cli..
slipstream-- has joined #ocaml
ygrek has quit ["Leaving"]
piggybox has quit [Read error: 110 (Connection timed out)]
slipstream has quit [Read error: 110 (Connection timed out)]
ygrek has joined #ocaml
piggybox has joined #ocaml
<TFK> flux, well, ddd complains there's no "init.c", and insight only shows assembly. (Which is only expected, I suppose.)
<flux> right, ocamlopt doesn't support generating debug information
<TFK> I knew I should've studied assembley earlier...
<TFK> Now that we have determined that my port can't run any faster, I at least want it to run correctly :-P
piggybox__ has quit [Read error: 110 (Connection timed out)]
G_ has joined #ocaml
leo037 has joined #ocaml
G has quit [Read error: 110 (Connection timed out)]
G has joined #ocaml
G_ has quit [Read error: 110 (Connection timed out)]
xavierbot has joined #ocaml
ygrek has quit [Remote closed the connection]
ygrek has joined #ocaml
buluca has quit [Read error: 113 (No route to host)]
slipstream has joined #ocaml
buluca has joined #ocaml
seafoodX has quit []
slipstream-- has quit [Read error: 113 (No route to host)]
slipstream-- has joined #ocaml
shekmalhen has joined #ocaml
slipstream has quit [Read error: 110 (Connection timed out)]
love-pingoo has joined #ocaml
buluca is now known as lubcau
lubcau has quit ["Leaving."]
seafoodX has joined #ocaml
pango has quit [Remote closed the connection]
pango has joined #ocaml
shekmalhen has quit ["beeeh"]
buluca has joined #ocaml
<TFK> ocamldebug can't execute functions, eh?
noteventime has quit [Remote closed the connection]
buluca has quit [Read error: 110 (Connection timed out)]
<flux> from glancing the documentation, it does appear so.. even though it has its fancy time traveling features, it is otherwise lacking :/
<flux> darn, it would've been a good ocaml summer of code project, enhancing ocamldebug ;)
<TFK> Or making exceptions useful in native code by printing a normal stack trace :-)
<TFK> flux, I wonder, time-traveling backwards doesn't actually reset any variables, right?
<pango> TFK: it makes process snapshots using fork()
<TFK> Does that mean that data in variables gets saved on every such snapshot?
<pango> modern Unixen do copy-on-write, so snapshots (and the running process) share most of their memory
<TFK> But in a case of a program that does heavy data mutation, the whole thing will explode after a while?
<pango> there's a limit to the number of snapshots kept around
<TFK> So I can't travel back in time indefinitely? Well, that makes sense. Might as well restart the program.
yminsky has joined #ocaml
<pango> it also doesn't work well with programs doing I/Os, or using fork() or threads already
pantsd has quit [Read error: 104 (Connection reset by peer)]
pantsd has joined #ocaml
yminsky has quit []
Mr_Awesome has joined #ocaml
screwt8 has quit [Remote closed the connection]
screwt8 has joined #ocaml
yminsky has joined #ocaml
piggybox_ has joined #ocaml
noteventime has joined #ocaml
piggybox has quit [Read error: 110 (Connection timed out)]
seafoodX has quit []
yminsky has quit []
ygrek has quit ["Leaving"]
Lena has joined #ocaml
pango has quit [Remote closed the connection]
pango has joined #ocaml
<noteventime> Isn't the IO module in the standard library?
_blackdog has joined #ocaml
_blackdog has left #ocaml []
buluca has joined #ocaml
pantsd has quit [Read error: 110 (Connection timed out)]
pantsd has joined #ocaml
buluc1 has joined #ocaml
buluca has quit [Nick collision from services.]
buluc1 is now known as buluca
pantsd has quit ["Leaving."]
david_koontz has joined #ocaml