Below is my profiling data (on Linux turing 2.6.11.4-21.9-default)
Any ideas?
interesting-ghc-6.4 +RTS -p -RTS
total time = 253.76 secs (12688 ticks @ 20 ms)
total alloc = 15,991,765,312 bytes (excludes profiling overheads)
transF NFA.Type
On 28 October 2005 16:09, Mirko Rahn wrote:
I've found a way to speed up your code for ghc-6.4.1.
Replace the where with a case in PCP.Suc.suc_rules (see below)
Okay, thanks, that works fine.
(Maybe that is a good idea in PCP.Rules.Suc, too)
Seems to be unimportant whether the
Mirko Rahn wrote:
I've found a way to speed up your code for ghc-6.4.1.
Replace the where with a case in PCP.Suc.suc_rules (see below)
Okay, thanks, that works fine.
Yes, It's even quite fast without optimization (I did not check with
ghc-6.4, though)
(Maybe that is a good idea in
