hallgren dd1b474a22 testsuite: fix test of generate_trees ...

There were two differences between the current output and the old gold file: 

  1. The trees are no longer generated with increasing depth
  2. The meaning of the -depth flag has changed: for example, 
     "gt -cat=Nat -depth=1" used to generate only "zero",
     now you also get "succ zero".

2013-12-10 16:49:40 +00:00

..

compiler

testsuite: fix test of generate_trees

2013-12-10 16:49:40 +00:00

libraries

added script for testing the phrasebooks

2010-05-08 13:49:41 +00:00

runtime

added testsuite for the parser

2011-01-10 10:34:09 +00:00

run.hs

testsuite: reduced the number of failing tests from 25 to 13

2013-12-06 16:01:13 +00:00