From bb585fef2cf88eeac08ee6f77de1f0ea8130b396 Mon Sep 17 00:00:00 2001 From: hallgren Date: Thu, 29 Sep 2011 15:19:03 +0000 Subject: 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. --- src/example-based/ExampleDemo.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/example-based/ExampleDemo.hs') diff --git a/src/example-based/ExampleDemo.hs b/src/example-based/ExampleDemo.hs index b26a9b4b1..b64d1d7a2 100644 --- a/src/example-based/ExampleDemo.hs +++ b/src/example-based/ExampleDemo.hs @@ -1,4 +1,4 @@ -module ExampleDemo (Environ,initial,getNext, provideExample, testThis,mkFuncWithArg,searchGoodTree) +module ExampleDemo (Environ,initial,getNext, provideExample, testThis,mkFuncWithArg,searchGoodTree,isMeta) where import PGF -- cgit v1.2.3