I have adopted our sources now so that they also work with fgl-5.4.1.
So neither ghc-6.6.1 nor fgl-5.4.1 need to change.
The problem was that "inn" returns loops since fgl-5.4, that led to more
edges to be processed (by our function selectProofBasis).
Another problem (not releva
EMAIL PROTECTED]
| Subject: problems using ghc-6.6.1 (due to fgl-5.4.1)
|
| I wrote:
| > Dear Hets- and GHC-Developers,
|
| > we have a problem using ghc-6.6.1. The created hets binary runs a
| > couple
| > of times slower than the one created using ghc-6.6.
|
| This problem is gone when I in
needs to be deleted in Data.Graph.Inductive.Monad.IOArray).
I strongly suspect the new functions context1l' and context4l' in
Data.Graph.Inductive.Graph (fgl-5.4.1) to be the reason for our drastic
slow down.
In fgl-5.3 the functions fst4 and fth4 have been used instead. A cyclic
edge (an edge from and
