mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-05-20 08:32:50 -06:00
cc output as pipable string
This commit is contained in:
@@ -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 (I.identC "?") id $ -- meaningful if no opers in t
|
||||||
maybe (resourceOfShellState st) (return . I.identC) $ -- topmost res
|
maybe (resourceOfShellState st) (return . I.identC) $ -- topmost res
|
||||||
getOptVal opts useResource -- flag -res=m
|
getOptVal opts useResource -- flag -res=m
|
||||||
justOutput opts (putStrLn (err id (prin . stripTerm) (
|
returnArg (AString (err id (prin . stripTerm) (
|
||||||
string2srcTerm src m t >>=
|
string2srcTerm src m t >>=
|
||||||
Ch.justCheckLTerm src >>=
|
Ch.justCheckLTerm src >>=
|
||||||
Co.computeConcrete src))) sa
|
Co.computeConcrete src))) sa
|
||||||
--- Co.computeConcreteRec src))) sa
|
--- Co.computeConcreteRec src)) sa
|
||||||
CShowOpers t -> do
|
CShowOpers t -> do
|
||||||
m <- return $
|
m <- return $
|
||||||
maybe (I.identC "?") id $ -- meaningful if no opers in t
|
maybe (I.identC "?") id $ -- meaningful if no opers in t
|
||||||
|
|||||||
Reference in New Issue
Block a user