summaryrefslogtreecommitdiff
path: root/src/GF/UseGrammar/Custom.hs
diff options
context:
space:
mode:
authoraarne <unknown>2004-01-08 14:58:46 +0000
committeraarne <unknown>2004-01-08 14:58:46 +0000
commitc7a953bb935f578bcbb389e9d4fbe91822ef3f14 (patch)
tree2be6038cd3eb540c483d8134f7f953097a974dce /src/GF/UseGrammar/Custom.hs
parent62e8e319f9490613c1d5bd20f25f109bbd0a3f5d (diff)
Some bug fixes mostly in editor commands.
Diffstat (limited to 'src/GF/UseGrammar/Custom.hs')
-rw-r--r--src/GF/UseGrammar/Custom.hs3
1 files changed, 2 insertions, 1 deletions
diff --git a/src/GF/UseGrammar/Custom.hs b/src/GF/UseGrammar/Custom.hs
index c117c0335..bd1ed49e1 100644
--- a/src/GF/UseGrammar/Custom.hs
+++ b/src/GF/UseGrammar/Custom.hs
@@ -184,7 +184,8 @@ customTermCommand =
,(strCI "compute", \g t -> let gr = grammar g in
err (const [t]) return
(exp2termCommand gr (computeAbsTerm gr) t))
----- ,(strCI "paraphrase", \g t -> mkParaphrases g t)
+ ,(strCI "paraphrase", \g t -> let gr = grammar g in
+ exp2termlistCommand gr (mkParaphrases gr) t)
---- ,(strCI "typecheck", \g t -> err (const []) return (checkIfValidExp g t))
,(strCI "solve", \g t -> err (const [t]) (return . loc2tree)
(uniqueRefinements (grammar g) (tree2loc t)))