[Hs-Generics] patch applied (generics): Made all the old test of SmashA work in the new version of the framework.

Oleg Kiselyov oleg at pobox.com
Tue Mar 11 05:30:47 EDT 2008


Tue Mar 11 02:20:29 PDT 2008  oleg at okmij.org
  * Made all the old test of SmashA work in the new version of the framework.
  The changes mainly involved removing the SmashA qualifier from the module
  names.
  The tests that pass now: TestUpdateSalary, TestGMap, TestCrushRight,
  TestSelectSalary, TestSelectIntWTree, TestSelectIntPerfect,
  TestGEqCompany, TestGEqGRose, TestGEq.
  The GShow test gives results far better than the reference (in fact,
  SmashA's gshow for Company gives exactly the same results as the derived show).

     ./comparison/SmashA/Reduce.hs -> ./comparison/SmashA/CrushRight.hs
    M ./comparison/SmashA/BTreeDats.hs -2 +12
    M ./comparison/SmashA/CompanyDats.hs -2 +2
    M ./comparison/SmashA/CrushRight.hs -7 +5
    M ./comparison/SmashA/FoldTree.hs -8 +10
    M ./comparison/SmashA/GEq.hs -6 +10
    M ./comparison/SmashA/GMap.hs -5 +3
    M ./comparison/SmashA/GShow.hs -3 +3
    M ./comparison/SmashA/Nested.hs -5 +3
    M ./comparison/SmashA/Paradise.hs -3 +3
    M ./comparison/SmashA/PerfectDats.hs -2 +2
    M ./comparison/SmashA/RoseDats.hs -2 +2
    M ./comparison/SmashA/Syb4A.hs -1 +1
    M ./comparison/SmashA/TreeDats.hs -2 +2


More information about the Generics mailing list