diff options
Diffstat (limited to 'src/GF')
| -rw-r--r-- | src/GF/Shell/Commands.hs | 2 | ||||
| -rw-r--r-- | src/GF/UseGrammar/Custom.hs | 5 |
2 files changed, 3 insertions, 4 deletions
diff --git a/src/GF/Shell/Commands.hs b/src/GF/Shell/Commands.hs index 678d3d7da..345e5cd02 100644 --- a/src/GF/Shell/Commands.hs +++ b/src/GF/Shell/Commands.hs @@ -325,7 +325,7 @@ mkRefineMenuAll env sstate = _ -> b ifShort = ifOpt sizeDisplay "short" ifTyped t = ifOpt typeDisplay "typed" t "" - prOrLinExp t = prt_ t ---- + prOrLinExp t = err (const $ prt_ t) prOrLinTree $ annotateInState cgr t state prOrLinRef t = case t of G.Q m f -> printname env sstate (m,f) G.QC m f -> printname env sstate (m,f) 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) |