diff options
| author | hallgren <hallgren@chalmers.se> | 2011-09-29 15:19:03 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2011-09-29 15:19:03 +0000 |
| commit | bb585fef2cf88eeac08ee6f77de1f0ea8130b396 (patch) | |
| tree | 1de62be3ed42695635f9fe8654e54ea18ef8c11f /src/server | |
| parent | ad725d85310e0055b21bdde66bcc43c5cd68fa97 (diff) | |
Example-based grammar writing: fix problems caused by the use of exprToAPI
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.
Diffstat (limited to 'src/server')
0 files changed, 0 insertions, 0 deletions