diff options
Diffstat (limited to 'src/GF/Shell.hs')
| -rw-r--r-- | src/GF/Shell.hs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/GF/Shell.hs b/src/GF/Shell.hs index 19394855e..29a4b6c23 100644 --- a/src/GF/Shell.hs +++ b/src/GF/Shell.hs @@ -380,11 +380,11 @@ execC co@(comm, opts0) sa@(sh@(st,(h,_,_,_)),a) = checkOptions st co >> case com maybe (I.identC "?") id $ -- meaningful if no opers in t maybe (resourceOfShellState st) (return . I.identC) $ -- topmost res getOptVal opts useResource -- flag -res=m - justOutput opts (putStrLn (err id (prin . stripTerm) ( + returnArg (AString (err id (prin . stripTerm) ( string2srcTerm src m t >>= Ch.justCheckLTerm src >>= Co.computeConcrete src))) sa ---- Co.computeConcreteRec src))) sa +--- Co.computeConcreteRec src)) sa CShowOpers t -> do m <- return $ maybe (I.identC "?") id $ -- meaningful if no opers in t |