[commit: ghc] master: TypeApplications does not imply AllowAmbiguousTypes (01b29eb)

[git at git.haskell.org]

Repository : ssh://git@git.haskell.org/ghc

On branch  : master
Link       : http://ghc.haskell.org/trac/ghc/changeset/01b29ebd25aceef8c35ea1cc3eabb6dafbb55daa/ghc

>---------------------------------------------------------------

commit 01b29ebd25aceef8c35ea1cc3eabb6dafbb55daa
Author: Richard Eisenberg <eir at cis.upenn.edu>
Date:   Thu Mar 17 17:49:28 2016 -0400

    TypeApplications does not imply AllowAmbiguousTypes


>---------------------------------------------------------------

01b29ebd25aceef8c35ea1cc3eabb6dafbb55daa
 compiler/main/DynFlags.hs                              | 1 -
 docs/users_guide/glasgow_exts.rst                      | 1 -
 testsuite/tests/dependent/should_compile/RaeJobTalk.hs | 2 +-
 testsuite/tests/patsyn/should_compile/T11351.hs        | 3 ++-
 4 files changed, 3 insertions(+), 4 deletions(-)

diff --git a/compiler/main/DynFlags.hs b/compiler/main/DynFlags.hs
index 3c64685..7d7f22f 100644
--- a/compiler/main/DynFlags.hs
+++ b/compiler/main/DynFlags.hs
@@ -3708,7 +3708,6 @@ impliedXFlags
 
     , (LangExt.TemplateHaskell, turnOn, LangExt.TemplateHaskellQuotes)
     , (LangExt.Strict, turnOn, LangExt.StrictData)
-    , (LangExt.TypeApplications, turnOn, LangExt.AllowAmbiguousTypes)
   ]
 
 -- Note [Documenting optimisation flags]
diff --git a/docs/users_guide/glasgow_exts.rst b/docs/users_guide/glasgow_exts.rst
index fe4d40c..25fbb23 100644
--- a/docs/users_guide/glasgow_exts.rst
+++ b/docs/users_guide/glasgow_exts.rst
@@ -8640,7 +8640,6 @@ Visible type application
 
 .. ghc-flag:: -XTypeApplications
 
-    :implies: :ghc-flag:`-XAllowAmbiguousTypes`
     :since: 8.0.1
 
     Allow the use of type application syntax.
diff --git a/testsuite/tests/dependent/should_compile/RaeJobTalk.hs b/testsuite/tests/dependent/should_compile/RaeJobTalk.hs
index c03503d..2f0edf8 100644
--- a/testsuite/tests/dependent/should_compile/RaeJobTalk.hs
+++ b/testsuite/tests/dependent/should_compile/RaeJobTalk.hs
@@ -1,7 +1,7 @@
 {- Copyright (c) 2016 Richard Eisenberg
  -}
 
-{-# LANGUAGE TypeOperators, TypeFamilies, TypeApplications,
+{-# LANGUAGE TypeOperators, TypeFamilies, TypeApplications, AllowAmbiguousTypes,
              ExplicitForAll, ScopedTypeVariables, GADTs, TypeFamilyDependencies,
              TypeInType, ConstraintKinds, UndecidableInstances,
              FlexibleInstances, MultiParamTypeClasses, FunctionalDependencies,
diff --git a/testsuite/tests/patsyn/should_compile/T11351.hs b/testsuite/tests/patsyn/should_compile/T11351.hs
index 26f8d2d..0873a88 100644
--- a/testsuite/tests/patsyn/should_compile/T11351.hs
+++ b/testsuite/tests/patsyn/should_compile/T11351.hs
@@ -1,4 +1,5 @@
-{-# LANGUAGE PatternSynonyms, TypeApplications, ScopedTypeVariables, ViewPatterns #-}
+{-# LANGUAGE PatternSynonyms, TypeApplications, ScopedTypeVariables, ViewPatterns,
+             AllowAmbiguousTypes #-}
 
 module T11351 where