patch applied (ghc): Add assertion for arity match (checks Trac #2844)

Simon Peyton-Jones simonpj at microsoft.com
Tue Dec 9 05:41:27 EST 2008


| Hooray for the testsuite and validate: out of 2000+ tests, there was
| exactly 1 (ONE) that demonstrated this bug, and it was in a test for the
| System.Random library of all things.  This serves as a reminder to all of
| us: any test failure should be treated as suspicious, even if it doesn't
| look at all related to something you changed, and this is exactly why we
| have to keep validate clean.  I am now a fully paid-up validate convert!

Indeed!

On Windows (MSYS) I get several failures that I'm pretty sure have been there for a while.  They seem to relate to things like 'printf' not existing.  That makes it harder to interpret a Windows validate run.

I wonder if someone (Neil? Ian?) might investigate?

Simon


Unexpected failures:
   cabal01(normal)
   createDirectory001(normal)
   createDirectoryIfMissing001(normal)
   openFile008(normal)
   process008(normal)


====> Running ./cabal/cabal01/all.T
=====> cabal01(normal)
cd ./cabal/cabal01 && $MAKE -s --no-print-directory cabal01 PROF= CLEANUP=1    </dev/null >cabal01.run.stdout 2>cabal01.run.stderr
Wrong exit code (expected 0 , actual 2 )
Stdout:

Stderr:
setup.exe: c:/simonpj/darcs/HEAD/testsuite/tests/ghc-regress/cabal/cabal01/install\test-1.0\ghc-6.11.20081205: copyFile: does not exist (No such file or directory)
make[2]: *** [cabal01] Error 1

-------------------------------------------

=====> createDirectory001(normal)
cd ../../../libraries/directory/tests && 'c:/simonpj/darcs/HEAD/ghc/stage2-inplace/ghc' -fforce-recomp -dcore-lint -dcmm-lint -Di386_unknown_mingw32  -dno-debug-output -o createDirectory001 createDirectory001.hs    >createDirectory001.comp.stderr 2>&1
cd ../../../libraries/directory/tests && ./createDirectory001    </dev/null >createDirectory001.run.stdout 2>createDirectory001.run.stderr
Actual stdout output differs from expected:
diff: ../../../libraries/directory/tests\createDirectory001.stdout-i386-unknown-mingw32.normalised: No such file or directory
diff: ../../../libraries/directory/tests\createDirectory001.run.stdout.normalised: No such file or directory
*** unexpected failure for createDirectory001(normal)

----------------------------------------------

=====> createDirectoryIfMissing001(normal)
cd ../../../libraries/directory/tests && 'c:/simonpj/darcs/HEAD/ghc/stage2-inplace/ghc' -fforce-recomp -dcore-lint -dcmm-lint -Di386_unknown_mingw32  -dno-debug-output -o createDirectoryIfMissing001 createDirectoryIfMissing001.hs    >createDirectoryIfMissing001.comp.stderr 2>&1
cd ../../../libraries/directory/tests && ./createDirectoryIfMissing001    </dev/null >createDirectoryIfMissing001.run.stdout 2>createDirectoryIfMissing001.run.stderr
Actual stdout output differs from expected:
diff: ../../../libraries/directory/tests\createDirectoryIfMissing001.stdout-i386-unknown-mingw32.normalised: No such file or directory
diff: ../../../libraries/directory/tests\createDirectoryIfMissing001.run.stdout.normalised: No such file or directory
*** unexpected failure for createDirectoryIfMissing001(normal)

----------------------------------------------

=====> openFile008(normal)
cd ./lib/IO && 'c:/simonpj/darcs/HEAD/ghc/stage2-inplace/ghc' -fforce-recomp -dcore-lint -dcmm-lint -Di386_unknown_mingw32  -dno-debug-output -o openFile008 openFile008.hs    >openFile008.comp.stderr 2>&1
cd ./lib/IO && ulimit -n 1024;  ./openFile008    </dev/null >openFile008.run.stdout 2>openFile008.run.stderr
Timeout happened...killing process...
Wrong exit code (expected 0 , actual 99 )
Stdout:

Stderr:

*** unexpected failure for openFile008(normal)

-------------------------------------------------

=====> process008(normal)
cd ../../../libraries/process/tests && 'c:/simonpj/darcs/HEAD/ghc/stage2-inplace/ghc' -fforce-recomp -dcore-lint -dcmm-lint -Di386_unknown_mingw32  -dno-debug-output -o process008 process008.hs    >process008.comp.stderr 2>&1
cd ../../../libraries/process/tests && ./process008    </dev/null >process008.run.stdout 2>process008.run.stderr
Wrong exit code (expected 0 , actual 1 )
Stdout:

Stderr:
process008.exe: printf: createProcess: does not exist (No such file or directory)



More information about the Cvs-ghc mailing list