Implement DuplicateRecordFields
[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 "DuplicateRecordFields",
37 "StaticPointers",
38 "StrictData",
39 "ApplicativeDo"] -- TODO add this to Cabal
40
41 expectedCabalOnlyExtensions :: [String]
42 expectedCabalOnlyExtensions = ["Generics",
43 "ExtensibleRecords",
44 "RestrictedTypeSynonyms",
45 "HereDocuments",
46 "NewQualifiedOperators",
47 "XmlSyntax",
48 "RegularPatterns",
49 "SafeImports",
50 "Safe",
51 "Unsafe",
52 "Trustworthy"]