<oriba>
thelema, wikipedia says: "A directed graph is called strongly connected if there is a path from each vertex in the graph to every other vertex."
<oriba>
but thats not true in my case
<oriba>
I can have seperated connected regions
<oriba>
some input end sin loop 1 , others in other loops
<thelema>
yes, within a "loop" (correct term: cycle), there is a path from each vertex to each other.
<thelema>
this subgraph forms a "strongly connected component"
<thelema>
while the whole graph may not be strongly connected, every graph can be partitioned into strongly connected components.
<oriba>
hmhh
<thelema>
such that within each partition, one can follow transitions to get from any node to any other node
<adrien>
actually you could try it in bytecode and change the stack size and see if it changes how/when it crashes
<oriba>
I can check this with bytecode recompilation
<oriba>
does ocamlgraph use List.map?
<oriba>
I also used List.map for the new code... hmhh
<adrien>
isn't ocamlgraph using functors? with code which you provide?
<adrien>
is "RD" something from you?
<oriba>
Stack_overflow !
<oriba>
what is "RD"?
<oriba>
I will change my List.map stuff to List.rev_map
<oriba>
maybe it's not ocamlgraph, here
<adrien>
RD could be from ocamlgraph's code too; I don't know but if it's from your code, the crasher is probably from your code too
<oriba>
yes, it looks like that
<oriba>
sorry for the ocamlgraph-blaming
<adrien>
heh, it's natural to do that =)
sebz has joined #ocaml
<oriba>
hehe, thanks for your understanding :)
<oriba>
I used List.rev_map now
<oriba>
and the segfault is gone :)
nixfreak has joined #ocaml
<adrien>
plus, segfaults are always quite surprising in ocaml
ikaros has quit [Ping timeout: 244 seconds]
ankit9 has quit [Ping timeout: 248 seconds]
ikaros has joined #ocaml
<oriba>
normally I use Ocaml NOT to get segfaults
<oriba>
but in native code this seems to be not always working
<oriba>
most often I used bytecode
<oriba>
but this time I needed more speed
<oriba>
ocamlgraph is much faster than my ad-hoc implementation...
<oriba>
n = 10: my: 47 sec, ocamlgraph: 26 sec; n = 11: my: 3m51, ocamlgraph: 1m57
<oriba>
so, it's convincing
<oriba>
need to go for noe; thx all for pointing me into the right direction... need to remember the always-use-tailrec-rule ;-)
<oriba>
s/noe/now/
oriba has quit [Quit: oriba]
yezariaely has quit [Quit: Leaving.]
Cyanure has quit [Remote host closed the connection]
raichoo has quit [Ping timeout: 260 seconds]
ankit9 has joined #ocaml
struktured has quit [Ping timeout: 252 seconds]
struktured has joined #ocaml
nixfreak has quit [Ping timeout: 240 seconds]
ousado_ has joined #ocaml
ousado has quit [Ping timeout: 258 seconds]
ousado_ is now known as ousado
ousado has quit [Changing host]
ousado has joined #ocaml
struktured has quit [Read error: Operation timed out]
struktured has joined #ocaml
ftrvxmtrx has quit [Quit: Leaving]
cago has quit [Quit: Leaving]
spearalot has joined #ocaml
EmmanuelOga has quit [Ping timeout: 248 seconds]
EmmanuelOga has joined #ocaml
ulfdoz has joined #ocaml
_habnabit has quit [Changing host]
_habnabit has joined #ocaml
struktured has quit [Ping timeout: 240 seconds]
ikaros has quit [Quit: Ex-Chat]
struktured has joined #ocaml
pcjoby has left #ocaml []
struktured has quit [Read error: Connection reset by peer]
rbancroft has joined #ocaml
Anarchos has joined #ocaml
ikaros has joined #ocaml
nixfreak has joined #ocaml
ijp has joined #ocaml
sepp2k1 has joined #ocaml
sepp2k has quit [Ping timeout: 244 seconds]
raichoo has joined #ocaml
fraggle_laptop has joined #ocaml
nixfreak has quit [Ping timeout: 244 seconds]
Drakken has left #ocaml []
nixfreak has joined #ocaml
ftrvxmtrx has joined #ocaml
<_habnabit>
anyone know of an ocaml linter? I wanted to get flymake doing something for ocaml, but I wasn't sure if I wanted to bother trying to get it to work with ocamlbuild
<adrien>
check pfff
<adrien>
also, Jun Furuse' parser
ftrvxmtrx has quit [Quit: Leaving]
sebz has quit [Quit: Computer has gone to sleep.]
<hcarty>
thelema: Hooray for a move to 3.12+ for Batteries.
<hcarty>
thelema: I have been and probably will continue to be unavailable to help with Batteries tasks for a while, but this seems like a potentially very good thing
<hcarty>
thelema: Also, someone (xleroy?) posted a solution to the >= 3.13 vs < 3.13 Hashtbl module interface difference which may be worth pursuing.
<thelema>
yes, I noticed that - I'll have to install ocaml-trunk to test it out
<thelema>
I'm happy people are happy with moving to 3.12
<adrien>
it was Jacques Garrigue iirc
<adrien>
and \o/
<hcarty>
adrien: I think you're correct
_andre has quit [Quit: leaving]
ijp has quit [Ping timeout: 240 seconds]
ftrvxmtrx has joined #ocaml
raichoo has quit [Quit: Lost terminal]
fraggle_laptop has quit [Read error: Connection reset by peer]
ijp has joined #ocaml
thomasga has quit [Quit: Leaving.]
thomasga has joined #ocaml
thomasga has quit [Client Quit]
ulfdoz has quit [Ping timeout: 245 seconds]
milosn has quit [Read error: Connection reset by peer]
milosn has joined #ocaml
sebz has joined #ocaml
edwin has quit [Remote host closed the connection]
avsm has joined #ocaml
spearalot has quit [Quit: Computer has gone to sleep]
sebz has quit [Quit: Computer has gone to sleep.]
sebz_ has joined #ocaml
Morphous has quit [Read error: Operation timed out]
Cyanure has joined #ocaml
avsm has quit [Quit: Leaving.]
Morphous has joined #ocaml
ikaros has quit [Quit: Ex-Chat]
ijp has quit [Quit: The garbage collector got me]
emmanuelux has quit [Read error: Connection reset by peer]
ikaros has joined #ocaml
emmanuelux has joined #ocaml
nimred has quit [Ping timeout: 255 seconds]
nimred has joined #ocaml
Anarchos has quit [Quit: Vision[0.9.7-H-090423]: i've been blurred!]
thelema has quit [Remote host closed the connection]
thelema has joined #ocaml
Cyanure has quit [Remote host closed the connection]