summaryrefslogtreecommitdiff
path: root/testsuite
AgeCommit message (Expand)Author
2025-08-02Merge pull request #181 from GrammaticalFramework/pr-174bis (also close #174)Arianna Masciolini
2025-08-02add eval.gfs to expected failuresArianna Masciolini
2025-08-02use UTF8 for several GF filesInari Listenmaa
2023-09-25Update test to match new errorAndreas Källberg
2021-09-22more tests for variantskrangelov
2021-07-06Merge pull request #118 from GrammaticalFramework/canonicalInari Listenmaa
2021-07-01Add run-on-grammar canonical test scriptJohn J. Camilleri
2021-07-01Make cleanupRecordFields also recurse into variantsJohn J. Camilleri
2021-07-01Remove record fields not in lincatJohn J. Camilleri
2021-07-01Reduce Phrasebook grammars in testsuite/canonical to bare minimumJohn J. Camilleri
2021-06-30Sort record fields in lin definitionsJohn J. Camilleri
2021-06-30Move testsuite/compiler/canonical on level up, update test scriptJohn J. Camilleri
2021-06-30Add shell script in testsuite/compiler/canonical for replicating known issuesJohn J. Camilleri
2021-06-30Superficial refactoring to testsuite moduleJohn J. Camilleri
2021-06-17Remove gf-lib-path from testsuiteAndreas Källberg
2021-06-17Testsuite: Add support for expected failuresAndreas Källberg
2021-06-16Fix build of test suite on ghc-8.2.2Andreas Källberg
2021-06-16Add command `ai f` to trigger error msgInari Listenmaa
2021-06-16Remove CStr [] which causes error, update goldInari Listenmaa
2021-06-11Remove CallStack outputs from gold filesInari Listenmaa
2021-06-11Rectified gold files1Regina
2021-06-11Add RGL dependencies - Prelude and Predef1Regina
2021-06-11remove testsuite/libraries1Regina
2020-11-10Enable testsRuslan Khafizov
2020-08-05Fix testsuite compatability with newer CabalAndreas Källberg
2013-12-10testsuite: fix test of generate_treeshallgren
2013-12-06testsuite: reduced the number of failing tests from 25 to 13hallgren
2013-12-03testsuite: Use Cabal's new test suite interfacehallgren
2013-12-03testsuite: use forward slashes in pathshallgren
2012-12-10Compute.ConcreteNew: add missing case for variant functionshallgren
2011-09-19Adding test case for interaction between record subtyping and record extensionhallgren
2011-01-10added testsuite for the parserkrasimir
2011-01-08fix the computation of abstract expressions in the presence of implicit argum...krasimir
2011-01-08bugfix in the handling of implicit arguments in the typecheckerkrasimir
2010-12-13update the testsuite for the parser to the latest APIkrasimir
2010-11-12operations in the abstract syntaxkrasimir
2010-10-27update the testsuite. Now we can typecheck more programs than beforekrasimir
2010-10-25when faced with hard unification problem the type checker should just postpon...krasimir
2010-10-25update the testsuite to the latest state of the compiler/interpreterkrasimir
2010-05-08added script for testing the phrasebooksramona.enache
2010-05-01test for bracketedLinearizekrasimir
2010-04-30upgrade the testsuite to work with GHC 6.12krasimir
2010-04-23fix parsing of literalskrasimir
2010-02-22refactor PGF.Expr and PGF.TypeCheck so that the evaluator always has access t...krasimir
2010-02-20bugfix in PGF.TypeCheckkrasimir
2010-02-16one more test for cyclic def ruleskrasimir
2010-02-09one more test for cyclic operationskrasimir
2010-02-07test case for lazy evaluation in the abstract syntaxkrasimir
2010-02-06test case for invalid parameter definitionkrasimir
2010-02-01test case for let expression in def rulekrasimir
generated by cgit v1.2.3 (git 2.39.1) at 2026-05-20 05:07:53 +0000