msyds/gf-core
1
0
Fork 0
forked from GitHub/gf-core
Code Pull Requests Activity
7,933 Commits 21 Branches 11 Tags
try-to-build-python-module-for-win
Commit Graph

93 Commits

Author SHA1 Message Date
Arianna Masciolini
2324fe795c Merge pull request #181 from GrammaticalFramework/pr-174bis (also close #174) 
PR #174bis
 2025-08-02 20:26:36 +02:00
Arianna Masciolini
703b1e5d92 add eval.gfs to expected failures 2025-08-02 20:18:28 +02:00
Inari Listenmaa
6f9f9642d7 use UTF8 for several GF files 2025-08-02 19:14:15 +02:00
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
4e8859aa75 Merge pull request #118 from GrammaticalFramework/canonical 
Fixes to canonical compilation
 2021-07-06 09:16:52 +02:00
John J. Camilleri
a27b07542d Add run-on-grammar canonical test script 2021-07-01 14:05:30 +02:00
John J. Camilleri
78b73fba20 Make cleanupRecordFields also recurse into variants 
It's possible that more constructors need to be handled
 2021-07-01 13:53:33 +02:00
John J. Camilleri
e5a2aed5b6 Remove record fields not in lincat 
Fixes #100, #101
 2021-07-01 11:47:14 +02:00
John J. Camilleri
32be75ca7d Reduce Phrasebook grammars in testsuite/canonical to bare minimum 2021-07-01 09:22:57 +02:00
John J. Camilleri
587004f985 Sort record fields in lin definitions 
Fixes #102
 2021-06-30 14:14:54 +02:00
John J. Camilleri
4436cb101e Move testsuite/compiler/canonical on level up, update test script 2021-06-30 13:47:15 +02:00
John J. Camilleri
0f5be0bbaa Add shell script in testsuite/compiler/canonical for replicating known issues 
Ideally this is integrated into proper test suite, but that's too much overhead for now
 2021-06-30 12:41:56 +02:00
John J. Camilleri
d5c6aec3ec Superficial refactoring to testsuite module 2021-06-30 12:12:26 +02:00
Andreas Källberg
0a18688788 Remove gf-lib-path from testsuite 
Since it no longer depends on RGL and it caused issues in the testsuite
 2021-06-17 19:24:14 +08:00
Andreas Källberg
65522a63c3 Testsuite: Add support for expected failures 
And mark the currently failing tests as expected failures
 2021-06-17 16:38:33 +08:00
Andreas Källberg
f505d88a8e Fix build of test suite on ghc-8.2.2 2021-06-16 14:27:19 +08: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
Inari Listenmaa
53c3afbd6f Remove CallStack outputs from gold files 
Rather, we should not output these, or output them in a nicer way.
 2021-06-11 13:55:04 +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
1Regina
67fcf21577 remove testsuite/libraries 2021-06-11 11:43:41 +08:00
Ruslan Khafizov
1740181daf Enable tests 2020-11-10 19:15:57 +08:00
Andreas Källberg
05903b271c Fix testsuite compatability with newer Cabal 2020-08-05 18:48:24 +02: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
f5cda1e6a3 testsuite: Use Cabal's new test suite interface 
* The old way: a user hook in Setup.hs
  * The new way: specify it in gf.cabal
  * The test suite is now called gf-tests, and it runs testsuite/run.hs.
  * You can run it manually with 'runhaskell testsuite/run.hs'. It also runs,
    together with rgl-tests, when you do 'cabal test'
  * Currently only 9 of 34 tests pass. Many failures have silly causes:
    - Error messages that look slightly different
    - Same output but in a different order
    - Absolute paths in output
 2013-12-03 17:13:39 +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
37d0200c7f added testsuite for the parser 2011-01-10 10:34:09 +00:00
krasimir
5941995c59 fix the computation of abstract expressions in the presence of implicit arguments 2011-01-08 20:55:58 +00:00
krasimir
d465292fde bugfix in the handling of implicit arguments in the typechecker 2011-01-08 12:55:50 +00:00
krasimir
0c4f5030c7 update the testsuite for the parser to the latest API 2010-12-13 17:53:06 +00:00
krasimir
115b4213d5 operations in the abstract syntax 2010-11-12 19:37:19 +00:00
krasimir
119f7bc78a update the testsuite. Now we can typecheck more programs than before 2010-10-27 17:58:40 +00:00
krasimir
0ba1daf5eb 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-25 15:47:33 +00:00
krasimir
2aea03a614 update the testsuite to the latest state of the compiler/interpreter 2010-10-25 11:50:41 +00:00
ramona.enache
b0f7db3270 added script for testing the phrasebooks 2010-05-08 13:49:41 +00:00
krasimir
029fbec8f3 test for bracketedLinearize 2010-05-01 20:54:31 +00:00
krasimir
af5f12d672 upgrade the testsuite to work with GHC 6.12 2010-04-30 19:27:53 +00:00
krasimir
9253ee6010 fix parsing of literals 2010-04-23 20:46:14 +00:00
krasimir
09da1013f9 refactor PGF.Expr and PGF.TypeCheck so that the evaluator always has access to the meta store 2010-02-22 15:50:41 +00:00
krasimir
59d640088e bugfix in PGF.TypeCheck 2010-02-20 18:48:06 +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
a1c70841c1 test case for lazy evaluation in the abstract syntax 2010-02-07 22:22:30 +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