diff options
| author | aarne <aarne@cs.chalmers.se> | 2007-02-23 16:28:06 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2007-02-23 16:28:06 +0000 |
| commit | 5264780e67d74eb16a4cb499072b89b57ca4a37c (patch) | |
| tree | 25925ff4bf8532101f180400f68045be3932d7ed /src/GF/Shell.hs | |
| parent | 1d803dff1056e8cc04e9ef3998a7107b952b99c1 (diff) | |
cc -table
Diffstat (limited to 'src/GF/Shell.hs')
| -rw-r--r-- | src/GF/Shell.hs | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/GF/Shell.hs b/src/GF/Shell.hs index 2543a8e91..19394855e 100644 --- a/src/GF/Shell.hs +++ b/src/GF/Shell.hs @@ -375,11 +375,12 @@ execC co@(comm, opts0) sa@(sh@(st,(h,_,_,_)),a) = checkOptions st co >> case com CTestTokenizer -> changeArg (AString . optTokenizer opts gro . prCommandArg) sa CComputeConcrete t -> do + let prin = if (oElem (iOpt "table") opts) then printParadigm else prt m <- return $ 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 (prt . stripTerm) ( + justOutput opts (putStrLn (err id (prin . stripTerm) ( string2srcTerm src m t >>= Ch.justCheckLTerm src >>= Co.computeConcrete src))) sa |