Dear GHC team, I have tested ghc-6.2.2-september-26 under our RedHat Linux: compiling of GHC by itself, automatic test of the DoCon and prover programs, -Onot, -O, profiling with -auto-all. It looks all right. I was lazy to re-run manually the examples from the DoCon Manual: they were all right in ghc-6-2-2-branch-CVS and hope will be so in the official ghc-6.2.2. I need official and reliable ghc-6.2.2 greatly. ----------------- Serge Mechveliani mechvel@botik.ru