patch applied (generics): LIGD tests
Thu Nov 9 07:44:53 PST 2006 sweirich@cis.upenn.edu * LIGD tests A ./LIGD.examples/testsuite/ A ./LIGD.examples/testsuite/CompanyDatatypes.hs A ./LIGD.examples/testsuite/CompanyReps.hs A ./LIGD.examples/testsuite/LIGD.lhs A ./LIGD.examples/testsuite/Makefile A ./LIGD.examples/testsuite/bits/ A ./LIGD.examples/testsuite/bits/Main.lhs A ./LIGD.examples/testsuite/bits/Makefile A ./LIGD.examples/testsuite/bits/XBitz.hs A ./LIGD.examples/testsuite/bits/test.stdout A ./LIGD.examples/testsuite/foldTree/ A ./LIGD.examples/testsuite/foldTree/Main.hs A ./LIGD.examples/testsuite/foldTree/Makefile A ./LIGD.examples/testsuite/foldTree/test.stdout A ./LIGD.examples/testsuite/geq/ A ./LIGD.examples/testsuite/geq/Main.lhs A ./LIGD.examples/testsuite/geq/Makefile A ./LIGD.examples/testsuite/geq/test.stdout A ./LIGD.examples/testsuite/gshow/ A ./LIGD.examples/testsuite/gshow/CompanyDatatypes.hs A ./LIGD.examples/testsuite/gshow/Main.lhs A ./LIGD.examples/testsuite/gshow/Makefile A ./LIGD.examples/testsuite/gshow/test.stdout A ./LIGD.examples/testsuite/paradise/ A ./LIGD.examples/testsuite/paradise/Main.hs A ./LIGD.examples/testsuite/paradise/Makefile A ./LIGD.examples/testsuite/paradise/test.stdout
Hi all, I've finally got my darcs permissions straightened out and had the chance to push the small testsuite that I worked out a little while ago. As I described in my last email, this set includes five examples in the the testsuite directory for both LIGD.examples and SYB1&2.examples. testsuite/ geq gshow bits foldTree paradise Each directory contains a Makefile, source code in Main.hs or Main.lhs, auxiliary files and sample output in test.stdout. Code that is common to many tests is in the ~/teststuite directory. Typing "make" in each directory should compile, run and diff the test. Unfortunately, I don't have a script to run all of the tests at once. I've tested these examples with ghc 6.5.20060608 on my Intel Mac, as well as with ghc on my windows machine at home. (I don't know which version of Ghc off hand.) If you have trouble compiling or running any of the examples, let me know. Feel free to add new examples to this testsuite, in a separate directory. Also feel free to update these examples if you can think of a better way to use that example to demonstrate a particular approach. (For example, gshow for LIGD doesn't currently produce the same output as show, so I don't think it is really demonstrating the expressiveness of LIGD.) Enjoy, Stephanie On Nov 9, 2006, at 10:47 AM, Stephanie Weirich wrote:
Thu Nov 9 07:44:53 PST 2006 sweirich@cis.upenn.edu * LIGD tests
A ./LIGD.examples/testsuite/ A ./LIGD.examples/testsuite/CompanyDatatypes.hs A ./LIGD.examples/testsuite/CompanyReps.hs A ./LIGD.examples/testsuite/LIGD.lhs A ./LIGD.examples/testsuite/Makefile A ./LIGD.examples/testsuite/bits/ A ./LIGD.examples/testsuite/bits/Main.lhs A ./LIGD.examples/testsuite/bits/Makefile A ./LIGD.examples/testsuite/bits/XBitz.hs A ./LIGD.examples/testsuite/bits/test.stdout A ./LIGD.examples/testsuite/foldTree/ A ./LIGD.examples/testsuite/foldTree/Main.hs A ./LIGD.examples/testsuite/foldTree/Makefile A ./LIGD.examples/testsuite/foldTree/test.stdout A ./LIGD.examples/testsuite/geq/ A ./LIGD.examples/testsuite/geq/Main.lhs A ./LIGD.examples/testsuite/geq/Makefile A ./LIGD.examples/testsuite/geq/test.stdout A ./LIGD.examples/testsuite/gshow/ A ./LIGD.examples/testsuite/gshow/CompanyDatatypes.hs A ./LIGD.examples/testsuite/gshow/Main.lhs A ./LIGD.examples/testsuite/gshow/Makefile A ./LIGD.examples/testsuite/gshow/test.stdout A ./LIGD.examples/testsuite/paradise/ A ./LIGD.examples/testsuite/paradise/Main.hs A ./LIGD.examples/testsuite/paradise/Makefile A ./LIGD.examples/testsuite/paradise/test.stdout _______________________________________________ Generics mailing list Generics@haskell.org http://www.haskell.org/mailman/listinfo/generics
participants (1)
-
Stephanie Weirich