4120ae9047f7852227a5f5c1e34cd3e7682a376d
[ghc.git] / testsuite / tests / driver / T4437.hs
1
2 module Main (main) where
3
4 import Control.Monad
5 import Data.List
6 import DynFlags
7 import Language.Haskell.Extension
8
9 main :: IO ()
10 main = do
11 let ghcExtensions = map flagSpecName xFlags
12 cabalExtensions = map show [ toEnum 0 :: KnownExtension .. ]
13 ghcOnlyExtensions = ghcExtensions \\ cabalExtensions
14 cabalOnlyExtensions = cabalExtensions \\ ghcExtensions
15 check "GHC-only flags" expectedGhcOnlyExtensions ghcOnlyExtensions
16 check "Cabal-only flags" expectedCabalOnlyExtensions cabalOnlyExtensions
17
18 check :: String -> [String] -> [String] -> IO ()
19 check title expected got
20 = do let unexpected = got \\ expected
21 missing = expected \\ got
22 showProblems problemType problems
23 = unless (null problems) $
24 do putStrLn (title ++ ": " ++ problemType)
25 putStrLn "-----"
26 mapM_ putStrLn problems
27 putStrLn "-----"
28 putStrLn ""
29 showProblems "Unexpected flags" unexpected
30 showProblems "Missing flags" missing
31
32 expectedGhcOnlyExtensions :: [String]
33 expectedGhcOnlyExtensions = ["RelaxedLayout",
34 "AlternativeLayoutRule",
35 "AlternativeLayoutRuleTransitional",
36 "DeriveAnyClass",
37 "PatternSynonyms",
38 "PartialTypeSignatures",
39 "NamedWildCards",
40 "StaticPointers"]
41
42 expectedCabalOnlyExtensions :: [String]
43 expectedCabalOnlyExtensions = ["Generics",
44 "ExtensibleRecords",
45 "RestrictedTypeSynonyms",
46 "HereDocuments",
47 "NewQualifiedOperators",
48 "XmlSyntax",
49 "RegularPatterns",
50 "SafeImports",
51 "Safe",
52 "Unsafe",
53 "Trustworthy"]
54