Update T4437 following changes in Cabal's extensions list
[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 = [ ext | (ext, _, _) <- 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 = [
34 "RelaxedLayout",
35 "AlternativeLayoutRule",
36 "AlternativeLayoutRuleTransitional",
37 "ExplicitNamespaces",
38 "TypeHoles"]
39
40 expectedCabalOnlyExtensions :: [String]
41 expectedCabalOnlyExtensions = ["Generics",
42 "ExtensibleRecords",
43 "RestrictedTypeSynonyms",
44 "HereDocuments",
45 "NewQualifiedOperators",
46 "XmlSyntax",
47 "RegularPatterns",
48 "SafeImports",
49 "Safe",
50 "Unsafe",
51 "Trustworthy"]
52