diff options
| author | aarne <unknown> | 2004-05-02 08:21:25 +0000 |
|---|---|---|
| committer | aarne <unknown> | 2004-05-02 08:21:25 +0000 |
| commit | 54947d3e4c7bdcbfa3e00a8eb17c7f0b9696664a (patch) | |
| tree | 8691f24c809b10b047f552690576bb9a6ace9c7c /src/GF/UseGrammar/Custom.hs | |
| parent | 487571a685382922f04985995d0f8779284bdc8d (diff) | |
gt Term
Diffstat (limited to 'src/GF/UseGrammar/Custom.hs')
| -rw-r--r-- | src/GF/UseGrammar/Custom.hs | 12 |
1 files changed, 11 insertions, 1 deletions
diff --git a/src/GF/UseGrammar/Custom.hs b/src/GF/UseGrammar/Custom.hs index 66ba55934..400b358c7 100644 --- a/src/GF/UseGrammar/Custom.hs +++ b/src/GF/UseGrammar/Custom.hs @@ -11,6 +11,7 @@ import qualified AbsGF as GF import qualified MMacros as MM import AbsCompute import TypeCheck +import Generate ------import Compile import ShellState import Editing @@ -203,6 +204,14 @@ customTermCommand = (exp2termCommand gr (computeAbsTerm gr) t)) ,(strCI "paraphrase", \g t -> let gr = grammar g in exp2termlistCommand gr (mkParaphrases gr) t) + + ,(strCI "generate", \g t -> let gr = grammar g + cat = actCat $ tree2loc t --- not needed + in + tree2termlistCommand gr + (generateTrees gr cat 2 + Nothing . Just) t) + ,(strCI "typecheck", \g t -> let gr = grammar g in err (const []) (return . const t) (checkIfValidExp gr (tree2exp t))) @@ -219,12 +228,13 @@ customEditCommand = customData "Editor state transformers, selected by option -edit=x" $ [ (strCI "identity", const return) -- DEFAULT - ,(strCI "transfer", const return) --- done ad hoc on top level ,(strCI "typecheck", \g -> reCheckState (grammar g)) ,(strCI "solve", \g -> solveAll (grammar g)) ,(strCI "context", \g -> contextRefinements (grammar g)) ,(strCI "compute", \g -> computeSubTree (grammar g)) ,(strCI "paraphrase", const return) --- done ad hoc on top level + ,(strCI "generate", const return) --- done ad hoc on top level + ,(strCI "transfer", const return) --- done ad hoc on top level -- add your own edit commands here ] ++ moreCustomEditCommand |