summaryrefslogtreecommitdiff
path: root/testsuite/compiler/check
AgeCommit message (Collapse)Author
2021-06-11Rectified gold files1Regina
2021-06-11Add RGL dependencies - Prelude and Predef1Regina
2013-12-10testsuite: fix test of generate_treeshallgren
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-06testsuite: reduced the number of failing tests from 25 to 13hallgren
Some tests may fail on Windows because of \ instead of / in paths.
2013-12-03testsuite: use forward slashes in pathshallgren
2010-11-12operations in the abstract syntaxkrasimir
2010-10-25update the testsuite to the latest state of the compiler/interpreterkrasimir
2010-04-30upgrade the testsuite to work with GHC 6.12krasimir
2010-02-16one more test for cyclic def ruleskrasimir
2010-02-09one more test for cyclic operationskrasimir
2010-02-06test case for invalid parameter definitionkrasimir
2010-01-29update the testsuitekrasimir
2009-11-13add test case for typechecking of lincatkrasimir
2009-10-28update the testsuitekrasimir
2009-10-28added test cases for cyrcular definitionskrasimir
2009-09-14added some tests in the testsuite for the compilerkrasimir
2009-07-22added testcase for pattern matching on runtime variableskrasimir
2009-07-22updated the output in testsuite/compiler/check/linskrasimir
2009-06-13split the testsuite to different directories for compiler, runtime and librarieskrasimir
generated by cgit v1.2.3 (git 2.39.1) at 2026-05-20 06:51:01 +0000