diff options
| author | aarne <unknown> | 2004-05-02 12:36:19 +0000 |
|---|---|---|
| committer | aarne <unknown> | 2004-05-02 12:36:19 +0000 |
| commit | de3ad4cbd7736e855b6d2a9f140cd2fdb60f089e (patch) | |
| tree | 76d646cf784807c72635f4008471fb12be38128e /src/GF/UseGrammar/Custom.hs | |
| parent | 54947d3e4c7bdcbfa3e00a8eb17c7f0b9696664a (diff) | |
generation in jgf
Diffstat (limited to 'src/GF/UseGrammar/Custom.hs')
| -rw-r--r-- | src/GF/UseGrammar/Custom.hs | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/src/GF/UseGrammar/Custom.hs b/src/GF/UseGrammar/Custom.hs index 400b358c7..71bbfab58 100644 --- a/src/GF/UseGrammar/Custom.hs +++ b/src/GF/UseGrammar/Custom.hs @@ -208,9 +208,8 @@ customTermCommand = ,(strCI "generate", \g t -> let gr = grammar g cat = actCat $ tree2loc t --- not needed in - tree2termlistCommand gr - (generateTrees gr cat 2 - Nothing . Just) t) + [tr | t <- generateTrees gr cat 2 Nothing (Just t), + Ok tr <- [annotate gr $ MM.qualifTerm (absId g) t]]) ,(strCI "typecheck", \g t -> let gr = grammar g in err (const []) (return . const t) |