cvs commit: fptools/testsuite/tests/libraries/Data/tools SoundnessTestGen.hs LibTest.hs InstancesTestGen.hs fptools/testsuite/tests/libraries/Data/templates TestSoundSet.hs TestSoundMap.hs TestSet.hs BenchmarkMap.hs fptools/testsuite/tests/libraries/Data/reference Set.hs fptools/testsuite/tests/libraries/Data ...

Jean-Philippe Bernardy <[email protected]> Sun, 1 Jan 2006 13:46:31 -0800

Newsgroups	gmane.comp.lang.haskell.cvs.fptools
Message-ID	<[email protected]>

jpbernardy    2006/01/01 13:46:31 PST

  Modified files:
    testsuite/tests/libraries/Data/tools SoundnessTestGen.hs 
                                         LibTest.hs 
                                         InstancesTestGen.hs 
    testsuite/tests/libraries/Data/templates TestSoundMap.hs 
                                             TestSet.hs 
    testsuite/tests/libraries/Data Makefile 
  Added files:
    testsuite/tests/libraries/Data/templates TestSoundSet.hs 
                                             BenchmarkMap.hs 
    testsuite/tests/libraries/Data/reference Set.hs 
    testsuite/tests/libraries/Data .cvsignore 
  Log:
  More tests for:
    * Sets
    * Non-structural equality
    * Left-Bias
    * Performance
  
  Revision  Changes    Path
  1.2       +4 -6      fptools/testsuite/tests/libraries/Data/tools/SoundnessTestGen.hs
  1.2       +42 -6     fptools/testsuite/tests/libraries/Data/tools/LibTest.hs
  1.2       +1 -1      fptools/testsuite/tests/libraries/Data/tools/InstancesTestGen.hs
  1.2       +112 -98   fptools/testsuite/tests/libraries/Data/templates/TestSoundMap.hs
  1.2       +8 -9      fptools/testsuite/tests/libraries/Data/templates/TestSet.hs
  1.2       +8 -2      fptools/testsuite/tests/libraries/Data/Makefile