summaryrefslogtreecommitdiff
path: root/testsuite
AgeCommit message (Expand)Author
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-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
2010-02-01added tests for literals in the abstract syntaxkrasimir
2010-01-31added test cases for polymorphic and record types in the abstract syntaxkrasimir
2010-01-31add test case for abstract types with let bindingskrasimir
2010-01-29bugfix in the PGF typechecker and more test caseskrasimir
2010-01-29update the testsuitekrasimir
2010-01-12additional tests for linearizationskrasimir
2010-01-04added test grammar for literals in the testsuitekrasimir
2009-12-11judgements lindef are now respected by both the parser and the linearizerkrasimir
2009-11-13add test case for typechecking of lincatkrasimir
2009-11-02update testsuite/runtime/parser/Parse.hskrasimir
generated by cgit v1.2.3 (git 2.39.1) at 2026-05-20 05:50:23 +0000