flags

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

src/GF/Grammar/Compute.hs

@@ -113,6 +113,9 @@ computeTerm gr = comp where
 
 	 _    -> returnC $ S t' v'
 
+     -- normalize away empty tokens
+     K "" -> return Empty
+
      -- glue if you can
      Glue x0 y0 -> do
        x <- comp g x0
@@ -123,8 +126,8 @@ computeTerm gr = comp where
 
          (S (T i cs) e, s) -> prawitz g i (flip Glue s) cs e
          (s, S (T i cs) e) -> prawitz g i (Glue s) cs e
-         (_,K "")          -> return x
-         (K "",_)          -> return y
+         (_,Empty)         -> return x
+         (Empty,_)         -> return y
          (K a, K b)        -> return $ K (a ++ b)
          (K a, Alts (d,vs)) -> do
             let glx = Glue x

src/GF/Shell/JGF.hs

@@ -51,6 +51,7 @@ welcome =
 
 initEditMsgJavaX env = encodeUTF8 $ unlines $ tagXML "gfinit" $ 
   tagsXML "newcat"   [["n" +++ cat]     | (_,cat) <- newCatMenu env] ++
+  tagXML  "topic"    [abstractName env] ++
   tagXML  "language" [prLanguage langAbstract] ++
   concat [tagAttrXML "language" ("file",file) [prLanguage lang] |
            (file,lang) <- zip (allGrammarFileNames env) (allLanguages env)]

src/Today.hs

@@ -1 +1 @@
-module Today where today = "Mon Nov 10 16:45:46 CET 2003"
+module Today where today = "Mon Nov 10 17:00:26 CET 2003"