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/"]