summaryrefslogtreecommitdiff
path: root/src/example-based/ExampleDemo.hs
AgeCommit message (Collapse)Author
2018-11-28Revert "remove the example-based folder. The code is still in the archive"John J. Camilleri
This reverts commit 05c2cfb628147f7d6fa0a6c2f38eb9d67b2eb007.
2018-11-28remove the example-based folder. The code is still in the archiveKrasimir Angelov
2015-08-28Comment out some dead code found with -fwarn-unused-bindshallgren
Also fixed some warnings and tightened some imports
2013-11-05Eliminate mutual dependencies between the GF compiler and the PGF libraryhallgren
+ References to modules under src/compiler have been eliminated from the PGF library (under src/runtime/haskell). Only two functions had to be moved (from GF.Data.Utilities to PGF.Utilities) to make this possible, other apparent dependencies turned out to be vacuous. + In gf.cabal, the GF executable no longer directly depends on the PGF library source directory, but only on the exposed library modules. This means that there is less duplication in gf.cabal and that the 30 modules in the PGF library will no longer be compiled twice while building GF. To make this possible, additional PGF library modules have been exposed, even though they should probably be considered for internal use only. They could be collected in a PGF.Internal module, or marked as "unstable", to make this explicit. + Also, by using the -fwarn-unused-imports flag, ~220 redundant imports were found and removed, reducing the total number of imports by ~15%.
2011-11-02gfse: supply information about what's defined in the exampe language to the ↵hallgren
server functions for example-based grammar writing
2011-10-17example-based: use random generation for the exampleshallgren
2011-10-04example-based grammar writing: avoid a problem by returning Nothing instead ↵hallgren
of calling error
2011-10-03gfse: browser compatibility fixeshallgren
2011-09-29Example-based grammar writing: fix problems caused by the use of exprToAPIhallgren
The editor needs to keep track of both the raw term and the nice term returned by exprToAPI. (Manually constructed linearization rules will now have the raw term and can not be tested.) Also replace metavariables in generalized terms with the apropriate parameter from the linearization rule. Also fix communication problems caused by inconsistent use of show/read vs showExpr/readExpr.
2011-09-27Server-side support for example-based grammar writinghallgren