GitHub/gf-core
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-04-12 14:29:31 -06:00
Code Issues Packages Projects Releases Wiki Activity

Fixer a nbug in >>RenameS: ----------------------------------------------------------------------

Browse Source
This commit is contained in:
aarne
2003-11-25 06:33:23 +00:00
parent 9cd2c273a2
commit 42c4ef025c
3 changed files with 4 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
src/GF/Compile/Rename.hs
View File

@@ -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

2
src/Today.hs
View File

@@ -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"

2
src/tools/GFDoc.hs
View File

@@ -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"