Use -XImpredicativeTypes instead of -fglasgow-exts

11 files changed, 11 insertions, 11 deletions

diff --git a/testsuite/tests/ghc-regress/boxy/Base1.hs b/testsuite/tests/ghc-regress/boxy/Base1.hs
index f024f5cc01..db9fce900d 100644
--- a/testsuite/tests/ghc-regress/boxy/Base1.hs
+++ b/testsuite/tests/ghc-regress/boxy/Base1.hs
@@ -1,4 +1,4 @@
-{-# OPTIONS_GHC -fglasgow-exts #-}
+{-# OPTIONS_GHC -XImpredicativeTypes #-}
 
 module Base1 where 
 -- basic examples of impredicative instantiation of variables 
diff --git a/testsuite/tests/ghc-regress/boxy/Compose.hs b/testsuite/tests/ghc-regress/boxy/Compose.hs
index e2c0cc7453..f1272261f4 100644
--- a/testsuite/tests/ghc-regress/boxy/Compose.hs
+++ b/testsuite/tests/ghc-regress/boxy/Compose.hs
@@ -1,4 +1,4 @@
-{-# OPTIONS_GHC -fglasgow-exts #-}
+{-# OPTIONS_GHC -XImpredicativeTypes -XEmptyDataDecls -XGADTs #-}
 
 -- Trac #1118
 
diff --git a/testsuite/tests/ghc-regress/boxy/PList1.hs b/testsuite/tests/ghc-regress/boxy/PList1.hs
index 50123f4267..f3f1ecfe2e 100644
--- a/testsuite/tests/ghc-regress/boxy/PList1.hs
+++ b/testsuite/tests/ghc-regress/boxy/PList1.hs
@@ -1,4 +1,4 @@
-{-# OPTIONS_GHC -fglasgow-exts #-}
+{-# OPTIONS_GHC -XImpredicativeTypes #-}
 
 module PList1 where 
 -- Polymorphic lists 1: requires smart-app-res  
diff --git a/testsuite/tests/ghc-regress/boxy/PList2.hs b/testsuite/tests/ghc-regress/boxy/PList2.hs
index 60b22bcd43..656157f6c9 100644
--- a/testsuite/tests/ghc-regress/boxy/PList2.hs
+++ b/testsuite/tests/ghc-regress/boxy/PList2.hs
@@ -1,4 +1,4 @@
-{-# OPTIONS_GHC -fglasgow-exts #-}
+{-# OPTIONS_GHC -XImpredicativeTypes #-}
 
 module PList2 where 
 -- Polymorphic lists 2: require smart-app-arg & smart-app-res: Should fail w/o smart-app-arg
diff --git a/testsuite/tests/ghc-regress/boxy/boxy.hs b/testsuite/tests/ghc-regress/boxy/boxy.hs
index 697e893618..0cd302d95e 100644
--- a/testsuite/tests/ghc-regress/boxy/boxy.hs
+++ b/testsuite/tests/ghc-regress/boxy/boxy.hs
@@ -1,4 +1,4 @@
-{-# OPTIONS_GHC -fglasgow-exts #-}
+{-# OPTIONS_GHC -XImpredicativeTypes -XScopedTypeVariables #-}
 
 module ShouldCompile where
 
diff --git a/testsuite/tests/ghc-regress/ghci.debugger/scripts/print033.script b/testsuite/tests/ghc-regress/ghci.debugger/scripts/print033.script
index cd5a62bb79..95369432d3 100644
--- a/testsuite/tests/ghc-regress/ghci.debugger/scripts/print033.script
+++ b/testsuite/tests/ghc-regress/ghci.debugger/scripts/print033.script
@@ -1,5 +1,5 @@
 -- Resolving an impredicative type
-:set -fglasgow-exts
+:set -XImpredicativeTypes
 :m + Control.Monad.ST
 let u = undefined :: ST s (forall s'. ST s' a)
 :p u
diff --git a/testsuite/tests/ghc-regress/simplCore/should_compile/simpl017.hs b/testsuite/tests/ghc-regress/simplCore/should_compile/simpl017.hs
index 3bdb539bb9..989b85e35f 100644
--- a/testsuite/tests/ghc-regress/simplCore/should_compile/simpl017.hs
+++ b/testsuite/tests/ghc-regress/simplCore/should_compile/simpl017.hs
@@ -1,4 +1,4 @@
-{-# OPTIONS_GHC -fglasgow-exts #-}
+{-# OPTIONS -XImpredicativeTypes -XEmptyDataDecls -XGADTs -XLiberalTypeSynonyms -XFlexibleInstances #-}
 
 -- See Trac #1627.  The point is that we should get nice
 -- 		    compact code for Foo
diff --git a/testsuite/tests/ghc-regress/typecheck/should_compile/tc211.hs b/testsuite/tests/ghc-regress/typecheck/should_compile/tc211.hs
index f997f25d51..c17c4e173f 100644
--- a/testsuite/tests/ghc-regress/typecheck/should_compile/tc211.hs
+++ b/testsuite/tests/ghc-regress/typecheck/should_compile/tc211.hs
@@ -1,4 +1,4 @@
-{-# OPTIONS -fglasgow-exts #-}
+{-# OPTIONS_GHC -XImpredicativeTypes -XScopedTypeVariables -XGADTs #-}
 
 -- Here are a bunch of tests for impredicative polymorphism
 -- mainly written by Dimitrios
diff --git a/testsuite/tests/ghc-regress/typecheck/should_compile/tc214.hs b/testsuite/tests/ghc-regress/typecheck/should_compile/tc214.hs
index e94baeeb91..38913f8e02 100644
--- a/testsuite/tests/ghc-regress/typecheck/should_compile/tc214.hs
+++ b/testsuite/tests/ghc-regress/typecheck/should_compile/tc214.hs
@@ -1,4 +1,4 @@
-{-# OPTIONS_GHC -fglasgow-exts #-}
+{-# OPTIONS_GHC -XImpredicativeTypes -XGADTs #-}
 
 -- This program sent GHC 6.6 into a loop, because the fixpointing
 -- of the substitution in type refinement got its in-scope-set
diff --git a/testsuite/tests/ghc-regress/typecheck/should_fail/tcfail165.hs b/testsuite/tests/ghc-regress/typecheck/should_fail/tcfail165.hs
index f05ce8d15a..fd1c194671 100644
--- a/testsuite/tests/ghc-regress/typecheck/should_fail/tcfail165.hs
+++ b/testsuite/tests/ghc-regress/typecheck/should_fail/tcfail165.hs
@@ -1,4 +1,4 @@
-{-# OPTIONS -fglasgow-exts #-}
+{-# OPTIONS -XImpredicativeTypes #-}
 
 module ShouldFail where
 
diff --git a/testsuite/tests/ghc-regress/typecheck/should_fail/tcfail174.hs b/testsuite/tests/ghc-regress/typecheck/should_fail/tcfail174.hs
index 55e7592370..e741929eb6 100644
--- a/testsuite/tests/ghc-regress/typecheck/should_fail/tcfail174.hs
+++ b/testsuite/tests/ghc-regress/typecheck/should_fail/tcfail174.hs
@@ -1,4 +1,4 @@
-{-# OPTIONS -fglasgow-exts #-}
+{-# OPTIONS -XImpredicativeTypes #-}
 
 module Foo where