gf-core.git/testsuite/compiler/check, branch optimize Unnamed repository; edit this file 'description' to name the repository. https://git.adelon.net/gf-core.git/atom?h=optimize 2021-06-11T04:14:49+00:00 Rectified gold files 2021-06-11T04:14:49+00:00 1Regina 46968488+1Regina@users.noreply.github.com 2021-06-11T04:14:49+00:00 urn:sha1:c4165714066eb4fa4ccea0debf2a736930c2a281 Add RGL dependencies - Prelude and Predef 2021-06-11T03:47:03+00:00 1Regina 46968488+1Regina@users.noreply.github.com 2021-06-11T03:47:03+00:00 urn:sha1:a1372040b4212be6af0b52a304de3054ec762619 testsuite: fix test of generate_trees 2013-12-10T16:49:40+00:00 hallgren hallgren@chalmers.se 2013-12-10T16:49:40+00:00 urn:sha1:dd1b474a22011475fb47623f28715105d8805f22 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". testsuite: reduced the number of failing tests from 25 to 13 2013-12-06T16:01:13+00:00 hallgren hallgren@chalmers.se 2013-12-06T16:01:13+00:00 urn:sha1:953c6e8fb5a1884e36df59d4a7fc04460dd87153 Some tests may fail on Windows because of \ instead of / in paths. testsuite: use forward slashes in paths 2013-12-03T16:59:33+00:00 hallgren hallgren@chalmers.se 2013-12-03T16:59:33+00:00 urn:sha1:6b3ba6d3ba5548d29e9175835e0ab1f1b17966c1 operations in the abstract syntax 2010-11-12T19:37:19+00:00 krasimir krasimir@chalmers.se 2010-11-12T19:37:19+00:00 urn:sha1:115b4213d515ce308568fd71e362f6ce2881fb50 update the testsuite to the latest state of the compiler/interpreter 2010-10-25T11:50:41+00:00 krasimir krasimir@chalmers.se 2010-10-25T11:50:41+00:00 urn:sha1:2aea03a6144f71977fbea7c0c777d21e7f6572fb upgrade the testsuite to work with GHC 6.12 2010-04-30T19:27:53+00:00 krasimir krasimir@chalmers.se 2010-04-30T19:27:53+00:00 urn:sha1:af5f12d67261ce4bafcdec44adba8b60cc01c95c one more test for cyclic def rules 2010-02-16T20:27:07+00:00 krasimir krasimir@chalmers.se 2010-02-16T20:27:07+00:00 urn:sha1:d09b05ab3f4ff46f851ac043e7d6989f3022aa13 one more test for cyclic operations 2010-02-09T18:38:11+00:00 krasimir krasimir@chalmers.se 2010-02-09T18:38:11+00:00 urn:sha1:ea85cd10783a6249736df015062889c6e7c716cb