ayrnieu changed the topic of #ocaml to: OCaml 3.08.4 available! Archive of Caml Weekly News: http://sardes.inrialpes.fr/~aschmitt/cwn/ | A free book: http://cristal.inria.fr/~remy/cours/appsem/ | Mailing List: http://caml.inria.fr/bin/wilma/caml-list/ | Cookbook: http://pleac.sourceforge.net/
TaXules has joined #ocaml
mlh_ has joined #ocaml
menace has quit ["Verlassend"]
TaXules has quit [Read error: 110 (Connection timed out)]
mrsolo has quit [Read error: 104 (Connection reset by peer)]
booyaa has joined #ocaml
Korollary has joined #ocaml
zigong has joined #ocaml
zigong has quit [Remote closed the connection]
palomer has quit ["Leaving"]
mlh_ has quit [Client Quit]
mlh_ has joined #ocaml
Herrchen_ has joined #ocaml
Smerdyakov has joined #ocaml
Herrchen has quit [Read error: 110 (Connection timed out)]
Smerdyakov has quit [Read error: 110 (Connection timed out)]
joeytwiddle has quit [Read error: 104 (Connection reset by peer)]
threeve has joined #ocaml
threeve has quit []
cmeme has quit ["Client terminated by server"]
Korollary has quit [Read error: 104 (Connection reset by peer)]
Korollary_ has joined #ocaml
cmeme has joined #ocaml
sebell has joined #ocaml
sebell has left #ocaml []
joeytwiddle has joined #ocaml
sebell has joined #ocaml
mlh_ has quit [Client Quit]
booyaa has quit ["leaving"]
Snark has joined #ocaml
sebell has quit []
__DL__ has joined #ocaml
pango_ has joined #ocaml
Korollary_ has quit [Connection timed out]
pango_ has quit [Remote closed the connection]
pango has quit [Read error: 110 (Connection timed out)]
Gueben has joined #ocaml
AngleSaxe has joined #ocaml
AngleSaxe has quit [Client Quit]
vodka-goo has joined #ocaml
Chipster1 has joined #ocaml
Chipster1 has quit [Remote closed the connection]
ski has joined #ocaml
Chipster1 has joined #ocaml
Chipster1 has quit [Remote closed the connection]
Chipster1 has joined #ocaml
Chipster1 has quit [Remote closed the connection]
Chipster1 has joined #ocaml
Chipster1 has quit [Remote closed the connection]
TaXules has joined #ocaml
slashvar[lri] has joined #ocaml
vezenchio has joined #ocaml
ramkrsna has joined #ocaml
ramkrsna has quit [No route to host]
gim has quit ["restart x"]
Korollary_ has joined #ocaml
gim has joined #ocaml
Schmurtz has joined #ocaml
threeve has joined #ocaml
pango has joined #ocaml
Smerdyakov has joined #ocaml
Smerdyakov has quit ["SPIN"]
gim has quit ["brb"]
Korollary_ has quit [Read error: 110 (Connection timed out)]
vodka-goo has quit []
gim has joined #ocaml
ejt has joined #ocaml
petter_ has joined #ocaml
<petter_> I have the following problem:
<petter_> At some point my program might terminate due to an exeption
<petter_> exception...
<petter_> then I wan't to print out the location in thw source code...
<Snark> s/wan't/want/ ?
<petter_> yes :-)
<avlondono> petter_: compile the program with ocamlc -g and export OCAMLRUNPARAM=b then run the program
<avlondono> it should printout a backtrace that tells you where the exception occurred
<avlondono> or run it in the debugger
<petter_> avlondono: "-g" add debugging information right?
<avlondono> yup
<petter_> I was afraid I would have to run it inside the debugger
<avlondono> why afraid?
<petter_> It's going to run on windows
<petter_> and the debugger only runs on Unix i think?
<avlondono> dunno, I mostly deal with Unix
<petter_> where can I find documentation on OCAMLRUNPARAM?
<petter_> found it...
<avlondono> it's in the manual
<avlondono> ok
<avlondono> I learned about it fixing a parser
<petter_> is there some way of printing this backtrace without the program being aborted by an uncaught exception?
<avlondono> emm .. you catch it? :-) or run it in the debugger ;-)
<avlondono> or someone else will ilustrate me with a new techninque
<petter_> so if I catch the exception, I can still print the backtrace and then continue the program
<avlondono> but then there is no error
<avlondono> no need of backtrace
<petter_> well...
<avlondono> petter_: if there is an exception, where should the program continue?
<avlondono> if you don't catch it ... what is the program flow?
<petter_> This is for a test automation program. If one test in the test-suite is INCONCLUSIVE of FAILED for example, I wan't to report that in an informative way, where in the test automation program it failed, and then continue with the other test
<avlondono> well, another test is another run in that case
<petter_> My OCaml program will run different test cases, these are proprietary executable files
<petter_> Each test is run via "Sys.command", after setting up different configuration files for the particular test
<avlondono> I don't understand your problem. do you know how to handle exceptions in ocaml?
<petter_> Yes
<petter_> This doesn't have to be an exception
<petter_> hmm, difficult to explain maybee
<petter_> Under certain conditions, I wan't to print a backtrace, then continue, maybe I have to examine the debugger further
<avlondono> continue where?
<avlondono> where you match the error ... look you could use something like try ... with | e -> print msg; raise e
<avlondono> maybe that's what you're looking for
<avlondono> I still don't get what the problem is
<avlondono> but I'm hungry :-)
ejt has quit [Remote closed the connection]
<petter_> After I run a test-case, I check the return value(or the output, doesn't matter), if the return value indicates that the test-case failed, I want to print a backtrace, then continue.
<petter_> So I guess the problem is, I want the backtrace you can get when the program terminates due to an uncaught exception, but I don't want the program to terminate...
<avlondono> you want the backtrace of the external program?
<petter_> a backtrace of my OCaml program
<avlondono> you catch the errors and print your own backtrace as I said before.
<petter_> yes, but then how do I know "where" in the code I am so to speak?
<avlondono> you print a message!
<avlondono> ok, I have to eat
<petter_> ok, se you
<petter_> Ahhh, I could use assert, of course...
pango has quit ["Leaving"]
interferon has joined #ocaml
interferon has quit [Remote closed the connection]
<avlondono> petter_: now that you found it I see what you wanted, just not having to type the message.
<ax> does anyone know how to find the resolution of an interval timer in the Unix module?
<Schmurtz> look at standard unix man pages
<ax> like "man Unix"
<Schmurtz> "man setitimer" is better ;)
<ax> cool :)
<Schmurtz> I've just looked, it's not written
<ax> ok
<Schmurtz> " Time values smaller than the resolution of the system clock are rounded
<Schmurtz> up to this resolution (typically 10 milliseconds)."
<Schmurtz> maybe 10ms ?
<ax> ok.. hmm, i need to do my calculations again but i think i need better resolution, i need to find some good source of information about how people do time sensitive computing with high resolution on consumer computers
<ax> Schmurtz: thanks for your help
<Schmurtz> don't forget that the Unix module is just a binding to standard unix API
<Schmurtz> so, man pages are useful ;)
zigong has joined #ocaml
ski_ has joined #ocaml
ski has quit [Nick collision from services.]
ski_ is now known as ski
threeve has quit []
ski_ has joined #ocaml
ski__ has joined #ocaml
ski_ has quit [Read error: 104 (Connection reset by peer)]
ski has quit [Read error: 145 (Connection timed out)]
threeve has joined #ocaml
skylan_ has joined #ocaml
Snark has quit ["Leaving"]
ski__ is now known as ski
booyaa has joined #ocaml
booyaa has quit [Client Quit]
booyaa has joined #ocaml
ski has quit ["Zzz"]
skylan has quit [No route to host]
pango has joined #ocaml
twobitsprite has joined #ocaml
Purice has joined #ocaml
<twobitsprite> so... a value in binary is a "boolean"... what would one call a value in ternary logic?
<petter_> boolean from George Boole, maybe name it after someone who has done work on ternary logic?
<twobitsprite> hmm...
<twobitsprite> well... the ternary equivalent of a bit is a trit... I think I'll just call it a trit...
<Schmurtz> trit is the 3 version of bit
<Schmurtz> but boolean and bit are quite different
<Schmurtz> it's often called tristate variables
<twobitsprite> what would you call the inputs/outputs on a binary neural network? They have a value of 0 or 1... would that be a bit or a boolean?
booyaa has quit ["leaving"]
booyaa has joined #ocaml
vincenz has quit ["Lost terminal"]
vincenz has joined #ocaml
petter_ has quit [Remote closed the connection]
__DL__ has quit ["Bye Bye"]
threeve has quit []
Purice has quit ["Leaving"]
Purice has joined #ocaml
skylan_ is now known as skylan
Purice has quit [Remote closed the connection]
ulfdoz_ has joined #ocaml
zigong has quit [Remote closed the connection]
ulfdoz has quit [Read error: 110 (Connection timed out)]
threeve has joined #ocaml
vezenchio has quit ["\o/ in mochintin namocniuh \o/"]
Gueben has quit [Remote closed the connection]