gf-core.git/testsuite/runtime/eval, branch master Unnamed repository; edit this file 'description' to name the repository. https://git.adelon.net/gf-core.git/atom?h=master 2010-10-25T11:50:41+00:00 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 test case for lazy evaluation in the abstract syntax 2010-02-07T22:22:30+00:00 krasimir krasimir@chalmers.se 2010-02-07T22:22:30+00:00 urn:sha1:a1c70841c1b18e8dec1826478c670891d14f413d bugfix in the PGF typechecker and more test cases 2010-01-29T21:10:14+00:00 krasimir krasimir@chalmers.se 2010-01-29T21:10:14+00:00 urn:sha1:3b7e39fa4ab2dcfc6ec9591be6476b4240baf671 use the syntax <x : A> in PGF.Expr for typed expressions. This is consistent with the GF language 2009-09-19T10:16:37+00:00 krasimir krasimir@chalmers.se 2009-09-19T10:16:37+00:00 urn:sha1:502979bef170d101e2ce8cdfed7fbbc6313edaec more fixes in the testsuite 2009-09-16T12:49:04+00:00 krasimir krasimir@chalmers.se 2009-09-16T12:49:04+00:00 urn:sha1:6c7330131dab6ac9ba13bbb296c51c6427e06b2b hopefully complete and correct typechecker in PGF 2009-09-06T20:31:52+00:00 krasimir krasimir@chalmers.se 2009-09-06T20:31:52+00:00 urn:sha1:b97d6abb8190cdcb595b9bf48051cc4a98f01156 added testcases for evaluation with suspension 2009-07-07T11:40:14+00:00 krasimir krasimir@chalmers.se 2009-07-07T11:40:14+00:00 urn:sha1:5abc99b291b01ce9619e51cb21a397a5c0c89a72 added test cases for computation with abstract syntax terms 2009-05-23T21:43:24+00:00 krasimir krasimir@chalmers.se 2009-05-23T21:43:24+00:00 urn:sha1:3efb7a671bb9f40ac0b442aa94e1714ddd8c9c53