corrected option order; tutorial

This commit is contained in:
aarne
2005-05-14 07:38:55 +00:00
parent 20eae7786f
commit 3304438e5a
3 changed files with 66 additions and 7 deletions

View File

@@ -5,9 +5,9 @@
-- Stability : (stable)
-- Portability : (portable)
--
-- > CVS $Date: 2005/04/21 16:22:36 $
-- > CVS $Author: bringert $
-- > CVS $Revision: 1.21 $
-- > CVS $Date: 2005/05/14 08:38:55 $
-- > CVS $Author: aarne $
-- > CVS $Revision: 1.22 $
--
-- Datastructures and functions for modules, common to GF and GFC.
--
@@ -116,7 +116,7 @@ flagsModule (_,mi) = case mi of
_ -> []
allFlags :: MGrammar i f a -> [f]
allFlags gr = concat $ map flags $ reverse [m | (_, ModMod m) <- modules gr]
allFlags gr = concat $ map flags $ [m | (_, ModMod m) <- modules gr]
mapModules :: (Module i f a -> Module i f a)
-> MGrammar i f a -> MGrammar i f a

View File

@@ -4,9 +4,9 @@
-- Stability : (stable)
-- Portability : (portable)
--
-- > CVS $Date: 2005/04/20 20:09:19 $
-- > CVS $Date: 2005/05/14 08:38:55 $
-- > CVS $Author: aarne $
-- > CVS $Revision: 1.9 $
-- > CVS $Revision: 1.10 $
--
-- chop an HTML file into separate files, each linked to the next and previous.
-- the names of the files are n-file, with n = 01,02,...
@@ -67,6 +67,7 @@ link file mx n =
(if n >= mx-1 then "" else (" <a href=\"" ++ file' ++ "\">Next</a>")) ++
(if n == 1 then "" else (" <a href=\"" ++ file_ ++ "\">Previous</a>")) ++
(" <a href=\"" ++ file0 ++ "\">Contents</a>") ++
(" <a href=\"" ++ file ++ "\">Fulltext</a>") ++
(" <a href=\"" ++ file1 ++ "\">First</a>") ++
(" <a href=\"" ++ file2 ++ "\">Last</a>")
where