diff options
| -rw-r--r-- | src/GF/Compile/Rename.hs | 4 | ||||
| -rw-r--r-- | src/Today.hs | 2 | ||||
| -rw-r--r-- | src/tools/GFDoc.hs | 2 |
3 files changed, 4 insertions, 4 deletions
diff --git a/src/GF/Compile/Rename.hs b/src/GF/Compile/Rename.hs index 20914ecc1..b94cb6fdc 100644 --- a/src/GF/Compile/Rename.hs +++ b/src/GF/Compile/Rename.hs @@ -50,8 +50,8 @@ renameIdentTerm :: Status -> Term -> Err Term renameIdentTerm env@(act,imps) t = errIn ("atomic term" +++ prt t +++ "given" +++ unwords (map (prt . fst) qualifs)) $ case t of - Vr (IC "Int") -> return $ Q cPredefAbs cInt -- Int and String are predefined cats - Vr (IC "String") -> return $ Q cPredefAbs cString +--- Vr (IC "Int") -> return $ Q cPredefAbs cInt -- Int and String are predefined cats +--- Vr (IC "String") -> return $ Q cPredefAbs cString Vr c -> do f <- lookupTreeMany prt opens c return $ f c diff --git a/src/Today.hs b/src/Today.hs index 8650bdedc..2a97c49ec 100644 --- a/src/Today.hs +++ b/src/Today.hs @@ -1 +1 @@ -module Today where today = "Wed Nov 19 17:07:15 CET 2003" +module Today where today = "Tue Nov 25 08:16:52 CET 2003" diff --git a/src/tools/GFDoc.hs b/src/tools/GFDoc.hs index 7b90c2504..0f5143f57 100644 --- a/src/tools/GFDoc.hs +++ b/src/tools/GFDoc.hs @@ -194,7 +194,7 @@ doc2latex (Doc title paras) = unlines $ para2latex :: Paragraph -> String para2latex p = case p of Text its -> concat (map item2latex its) - Item its -> "$\\bullet$" ++ concat (map item2latex its) + Item its -> "\n\n$\\bullet$" ++ concat (map item2latex its) ++ "\n\n" Code s -> unlines $ envLatex "verbatim" $ map (indent 2) $ remEmptyLines $ lines $ s New -> "\n" |