diff options
| author | aarne <unknown> | 2003-10-03 06:31:34 +0000 |
|---|---|---|
| committer | aarne <unknown> | 2003-10-03 06:31:34 +0000 |
| commit | cfe8ebc1fbbf60d7d90aaa4776b029b5eb84ae98 (patch) | |
| tree | 825960028ae55f135419f12a900cfd017cadb772 /src/GF/Shell/Commands.hs | |
| parent | 3f328521917263f2b3dbe225edaf9e919c30156e (diff) | |
Restored read term in editor.
Diffstat (limited to 'src/GF/Shell/Commands.hs')
| -rw-r--r-- | src/GF/Shell/Commands.hs | 7 |
1 files changed, 2 insertions, 5 deletions
diff --git a/src/GF/Shell/Commands.hs b/src/GF/Shell/Commands.hs index ecdc65ab4..128029668 100644 --- a/src/GF/Shell/Commands.hs +++ b/src/GF/Shell/Commands.hs @@ -222,14 +222,11 @@ execECommand env c = case c of CAlphaConvert s -> action2commandNext $ \x -> string2varPair s >>= \xy -> alphaConvert cgr xy x -{- ---- + CRefineWithTree s -> action2commandNext $ \x -> - (string2treeErr cgr s x >>= + (string2treeInState gr s x >>= \t -> refineWithTree der cgr t x) - CRefineParse str -> \s -> refineByTrees der cgr - (parseAny agrs (cat2CFCat (actCat (stateSState s))) str) s --} CRefineParse str -> \s -> let cat = cat2CFCat (qualifTop sgr (actCat (stateSState s))) ts = parseAny agrs cat str |