diff options
Diffstat (limited to 'src/GF/Data')
| -rw-r--r-- | src/GF/Data/Operations.hs | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/src/GF/Data/Operations.hs b/src/GF/Data/Operations.hs index a23309575..15b6d5d82 100644 --- a/src/GF/Data/Operations.hs +++ b/src/GF/Data/Operations.hs @@ -407,8 +407,8 @@ begindocument = "\\setlength{\\parskip}{2mm}" ++++ "\\setlength{\\parindent}{0mm}" ++++ "\\setlength{\\oddsidemargin}{0mm}" ++++ - "\\setlength{\\evensidemargin}{-2mm}" ++++ - "\\setlength{\\topmargin}{-8mm}" ++++ + ("\\setlength{\\evensidemargin}{"++"-2mm}") ++++ -- peb 27/5-04: to prevent hugs-mode + ("\\setlength{\\topmargin}{"++"-8mm}") ++++ -- from treating the rest as comments "\\setlength{\\textheight}{240mm}" ++++ "\\setlength{\\textwidth}{158mm}" ++++ "\\begin{document}\n" @@ -416,6 +416,7 @@ begindocument = enddocument = "\n\\end{document}\n" + sortByLongest :: [[a]] -> [[a]] sortByLongest = sortBy longer where longer x y @@ -426,11 +427,14 @@ sortByLongest = sortBy longer where x' = length x y' = length y +-- "combinations" is the same as "sequence"!!! +-- peb 30/5-04 combinations :: [[a]] -> [[a]] combinations t = case t of [] -> [[]] aa:uu -> [a:u | a <- aa, u <- combinations uu] + mkTextFile :: String -> IO () mkTextFile name = do s <- readFile name |