[Hs-Generics] patch applied (generics): LIGD tests

[Stephanie Weirich]

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 at 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 at haskell.org
> http://www.haskell.org/mailman/listinfo/generics

-------------- next part --------------
A non-text attachment was scrubbed...
Name: smime.p7s
Type: application/pkcs7-signature
Size: 2427 bytes
Desc: not available
Url : http://www.haskell.org/pipermail/generics/attachments/20061109/2b9119fb/smime.bin