1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
|
module Main (main) where
import DynFlags
import Control.Monad (forM_)
import Types hiding (flag)
import Table
import Options
import System.IO
writeFileUtf8 :: FilePath -> String -> IO ()
writeFileUtf8 f txt = withFile f WriteMode (\ hdl -> hSetEncoding hdl utf8 >> hPutStr hdl txt)
-- | A ReStructuredText fragment
type ReST = String
main :: IO ()
main = do
-- user's guide
writeRestFile (usersGuideFile "what_glasgow_exts_does.gen.rst")
$ whatGlasgowExtsDoes
forM_ groups $ \(Group name _ theFlags) ->
let fname = usersGuideFile $ "flags-"++name++".gen.rst"
in writeRestFile fname (flagsTable theFlags)
-- man page
writeRestFile (usersGuideFile "all-flags.gen.rst") (flagsList groups)
usersGuideFile :: FilePath -> FilePath
usersGuideFile fname = "docs/users_guide/"++fname
writeRestFile :: FilePath -> ReST -> IO ()
writeRestFile fname content =
writeFileUtf8 fname $ unlines
[ ".. This file is generated by utils/mkUserGuidePart"
, ""
, content
]
whatGlasgowExtsDoes :: String
whatGlasgowExtsDoes = unlines
$ [ ".. hlist::", ""]
++ map ((" * "++) . parseExt) glasgowExtsFlags
where
parseExt ext = inlineCode $ "-X" ++ show ext
-- | Generate a reference table of the given set of flags. This is used in
-- the user's guide.
flagsTable :: [Flag] -> ReST
flagsTable theFlags =
table [60, 100, 30, 55]
["Flag", "Description", "Type", "Reverse"]
(map flagRow theFlags)
where
flagRow flag =
[ role "ghc-flag" (flagName flag)
, flagDescription flag
, type_
, role "ghc-flag" (flagReverse flag)
]
where
type_ = case flagType flag of
DynamicFlag -> "dynamic"
DynamicSettableFlag -> "dynamic/``:set``"
ModeFlag -> "mode"
-- | Place the given text in an ReST inline code element.
inlineCode :: String -> ReST
inlineCode s = "``" ++ s ++ "``"
-- | @role "hi" "Hello world"@ produces the ReST inline role element
-- @:hi:`Hello world`@.
role :: String -> String -> ReST
role _ "" = ""
role r c = concat [":",r,":`",flag,"`",next]
where
-- Handle multiple comma separated flags
(flag, rest) = span (/= ',') c
next | rest == "" = rest
| otherwise = concat [", ", role r $ dropWhile (/= '-') rest]
heading :: Char -> String -> ReST
heading chr title = unlines
[ title
, replicate (length title) chr
, ""
]
-- | Generate a listing of all the flags known to GHC.
-- Used in the man page.
flagsList :: [Group] -> ReST
flagsList grps = unlines $
map doGroup grps ++ map flagDescriptions grps
where
doGroup grp = unlines
[ grpTitle grp
, " " ++ unwords (map (inlineCode . flagName) (grpFlags grp))
, ""
]
-- | Generate a definition list of the known flags.
-- Used in the man page.
flagDescriptions :: Group -> ReST
flagDescriptions (Group _ title fs) =
unlines $ [ heading '~' title ] ++ map doFlag fs
where
doFlag flag =
unlines $ [ inlineCode (flagName flag)
, " " ++ flagDescription flag
]
|
