msyds/gf-core
1
0
Fork 0
forked from GitHub/gf-core
Code Pull Requests Activity
7,927 Commits 21 Branches 11 Tags
master
Commit Graph

36 Commits

Author SHA1 Message Date
Andreas Källberg
ea3cef46b0 Update test to match new error 2023-09-25 12:01:56 +02:00
krangelov
063c517f3c more tests for variants 2021-09-22 14:11:11 +02:00
Inari Listenmaa
f23031ea1d Add command ai f to trigger error msg 2021-06-16 12:23:07 +08:00
Inari Listenmaa
c3153134b7 Remove CStr [] which causes error, update gold 2021-06-16 12:19:35 +08:00
1Regina
c416571406 Rectified gold files 2021-06-11 12:14:49 +08:00
1Regina
a1372040b4 Add RGL dependencies - Prelude and Predef 2021-06-11 11:47:03 +08:00
hallgren
dd1b474a22 testsuite: fix test of generate_trees 
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-10 16:49:40 +00:00
hallgren
953c6e8fb5 testsuite: reduced the number of failing tests from 25 to 13 
Some tests may fail on Windows because of \ instead of / in paths.
 2013-12-06 16:01:13 +00:00
hallgren
6b3ba6d3ba testsuite: use forward slashes in paths 2013-12-03 16:59:33 +00:00
hallgren
621291a575 Compute.ConcreteNew: add missing case for variant functions 
Also adding a test case in the test suite for this.
 2012-12-10 13:25:32 +00:00
hallgren
c8c81f77f7 Adding test case for interaction between record subtyping and record extension 2011-09-19 12:43:14 +00:00
krasimir
115b4213d5 operations in the abstract syntax 2010-11-12 19:37:19 +00:00
krasimir
2aea03a614 update the testsuite to the latest state of the compiler/interpreter 2010-10-25 11:50:41 +00:00
krasimir
af5f12d672 upgrade the testsuite to work with GHC 6.12 2010-04-30 19:27:53 +00:00
krasimir
d09b05ab3f one more test for cyclic def rules 2010-02-16 20:27:07 +00:00
krasimir
ea85cd1078 one more test for cyclic operations 2010-02-09 18:38:11 +00:00
krasimir
c1d2ed1a7b test case for invalid parameter definition 2010-02-06 20:15:46 +00:00
krasimir
563e65c309 test case for let expression in def rule 2010-02-01 09:18:42 +00:00
krasimir
1cd4a500f5 added tests for literals in the abstract syntax 2010-02-01 08:58:46 +00:00
krasimir
2d3de22b17 added test cases for polymorphic and record types in the abstract syntax 2010-01-31 22:16:35 +00:00
krasimir
3be9ce3240 add test case for abstract types with let bindings 2010-01-31 20:45:48 +00:00
krasimir
e5de8ea9fe update the testsuite 2010-01-29 11:13:31 +00:00
krasimir
129d914002 add test case for typechecking of lincat 2009-11-13 10:28:37 +00:00
krasimir
78355d63ac update the testsuite 2009-10-28 18:07:49 +00:00
krasimir
0fb91bbb2f added test cases for cyrcular definitions 2009-10-28 17:59:18 +00:00
krasimir
56f979d669 update the testsuite 2009-10-03 06:52:14 +00:00
krasimir
9ca8db1cdb another fix in the testsuite 2009-09-16 12:13:11 +00:00
krasimir
f45e0fe003 fix some tests in the testsuite 2009-09-16 11:20:05 +00:00
krasimir
88a018d6c8 update the compiler testsuite 2009-09-14 16:27:37 +00:00
krasimir
70fea39e2b added some tests in the testsuite for the compiler 2009-09-14 12:17:57 +00:00
krasimir
3473f0d274 added testcase for pattern matching on runtime variables 2009-07-22 09:53:39 +00:00
krasimir
4f21b57a86 updated the output in testsuite/compiler/check/lins 2009-07-22 09:51:57 +00:00
krasimir
9142fcff76 split the testsuite to different directories for compiler, runtime and libraries 2009-06-13 13:54:06 +00:00
krasimir
c520039f1c fix the funpatt testcase 2009-05-22 21:42:21 +00:00
krasimir
8f2fb82750 more friendly error message when renaming patterns 2009-05-20 20:24:15 +00:00
krasimir
880665ad0f testcase for parameters with nested records 2009-05-20 16:38:19 +00:00