gf-core.git/testsuite/runtime, branch master Unnamed repository; edit this file 'description' to name the repository. https://git.adelon.net/gf-core.git/atom?h=master 2021-06-11T05:55:04+00:00 Remove CallStack outputs from gold files 2021-06-11T05:55:04+00:00 Inari Listenmaa inari.listenmaa@gmail.com 2021-06-11T05:55:04+00:00 urn:sha1:53c3afbd6f0df2991b41459fe46d3a8c37d11278 Rather, we should not output these, or output them in a nicer way. 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 added testsuite for the parser 2011-01-10T10:34:09+00:00 krasimir krasimir@chalmers.se 2011-01-10T10:34:09+00:00 urn:sha1:37d0200c7fd022d1d041a5a9bbe178cbfad3ea1e fix the computation of abstract expressions in the presence of implicit arguments 2011-01-08T20:55:58+00:00 krasimir krasimir@chalmers.se 2011-01-08T20:55:58+00:00 urn:sha1:5941995c5994a5bcdfc79ae46ed654581c2ca469 bugfix in the handling of implicit arguments in the typechecker 2011-01-08T12:55:50+00:00 krasimir krasimir@chalmers.se 2011-01-08T12:55:50+00:00 urn:sha1:d465292fde4058f72da43e077700f956bc21edc6 update the testsuite for the parser to the latest API 2010-12-13T17:53:06+00:00 krasimir krasimir@chalmers.se 2010-12-13T17:53:06+00:00 urn:sha1:0c4f5030c76515d06b286d8803b034e5230b7ed3 update the testsuite. Now we can typecheck more programs than before 2010-10-27T17:58:40+00:00 krasimir krasimir@chalmers.se 2010-10-27T17:58:40+00:00 urn:sha1:119f7bc78ac60a44a579b1753f2f3f20527118cd when faced with hard unification problem the type checker should just postpone the decision instead of failing immediately. added test case as well 2010-10-25T15:47:33+00:00 krasimir krasimir@chalmers.se 2010-10-25T15:47:33+00:00 urn:sha1:0ba1daf5eb4108e57edf8e7e09eb5fa5422815dc 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 test for bracketedLinearize 2010-05-01T20:54:31+00:00 krasimir krasimir@chalmers.se 2010-05-01T20:54:31+00:00 urn:sha1:029fbec8f361d0978fd595707c393fb51d289ecb