| Age | Commit message (Collapse) | Author |
|---|
|
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".
|
|
Some tests may fail on Windows because of \ instead of / in paths.
|
|
* 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
|
|
|
|
Also adding a test case in the test suite for this.
|
|
|
|
|
|
arguments
|
|
|
|
|
|
|
|
|
|
postpone the decision instead of failing immediately. added test case as well
|
|
|
|
|
|
|
|
|
|
|
|
to the meta store
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
implict arguments
|
|
|
|
with the GF language
|
|
|
|
|
|
|
|
|
|
|
|
parser with
|
|
|
|
|
