[Hs-Generics] patch applied (generics): Added the fulltree test to
the suite.
Alexey Rodriguez Yakushev
alexey at cs.uu.nl
Wed Mar 12 03:51:59 EDT 2008
Tue Mar 11 15:34:30 PDT 2008 alex at cs.uu.nl
* Added the fulltree test to the suite.
The data generation scenario has been added to the test suite, by means of
the fulltree test. The test checks whether a library can generically produce
data. A binary tree and a list are generated.
The following libs are implemented:
- EMGM
- LIGD
- PolyP
- Spine
- Uniplate
These libs remain to be done:
- RepLib (Alexey/Alex?)
- SYB1_2 (Alexey?
- SmashA (Oleg?)
M ./comparison/EMGM/Efficiency.lhs -20 +3
A ./comparison/EMGM/FullTree.lhs
M ./comparison/LIGD/Efficiency.lhs -19 +3
A ./comparison/LIGD/FullTree.lhs
A ./comparison/PolyP/FullTree.lhs
A ./comparison/RepLib/FullTree.lhs
M ./comparison/RepLib/GEq.lhs -1 +2
A ./comparison/SYB1_2/FullTree.lhs
A ./comparison/Spine/FullTree.lhs
A ./comparison/TestFullTree.exp
A ./comparison/TestFullTree.lhs
M ./comparison/test.hs +1
More information about the Generics
mailing list