diff options
| author | aarne <unknown> | 2003-11-10 15:16:28 +0000 |
|---|---|---|
| committer | aarne <unknown> | 2003-11-10 15:16:28 +0000 |
| commit | a931676d902033fdef17e7e086c40f5c753e9844 (patch) | |
| tree | 1a66aa622a378c2b36d718387d8662e25150c3b9 /src/GF/Compile | |
| parent | 7a44450b34f80b156b8d663d3310e33aa7519910 (diff) | |
flags
Diffstat (limited to 'src/GF/Compile')
| -rw-r--r-- | src/GF/Compile/ShellState.hs | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/GF/Compile/ShellState.hs b/src/GF/Compile/ShellState.hs index 1f3078c48..4e84bd248 100644 --- a/src/GF/Compile/ShellState.hs +++ b/src/GF/Compile/ShellState.hs @@ -142,7 +142,7 @@ updateShellState opts sh (gr,(sgr,rts)) = do prShellStateInfo :: ShellState -> String prShellStateInfo sh = unlines [ - "main abstract : " +++ maybe "(none)" P.prt (abstract sh), + "main abstract : " +++ abstractName sh, "main concrete : " +++ maybe "(none)" P.prt (concrete sh), "all concretes : " +++ unwords (map (P.prt . fst) (concretes sh)), "canonical modules :" +++ unwords (map (P.prt .fst) (M.modules (canModules sh))), @@ -150,6 +150,8 @@ prShellStateInfo sh = unlines [ "global options : " +++ prOpts (gloptions sh) ] +abstractName sh = maybe "(none)" P.prt (abstract sh) + -- throw away those abstracts that are not needed --- could be more aggressive filterAbstracts :: Maybe Ident -> CanonGrammar -> CanonGrammar |