summaryrefslogtreecommitdiff
path: root/src/example-based/ExampleDemo.hs
AgeCommit message (Collapse)Author
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