From a931676d902033fdef17e7e086c40f5c753e9844 Mon Sep 17 00:00:00 2001 From: aarne Date: Mon, 10 Nov 2003 15:16:28 +0000 Subject: flags --- src/GF/Compile/ShellState.hs | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) (limited to 'src/GF/Compile/ShellState.hs') 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 -- cgit v1.2.3