diff options
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 |