TypeApplications does not imply AllowAmbiguousTypes
authorRichard Eisenberg <eir@cis.upenn.edu>
Thu, 17 Mar 2016 21:49:28 +0000 (17:49 -0400)
committerRichard Eisenberg <eir@cis.upenn.edu>
Mon, 21 Mar 2016 16:02:01 +0000 (12:02 -0400)
compiler/main/DynFlags.hs
docs/users_guide/glasgow_exts.rst
testsuite/tests/dependent/should_compile/RaeJobTalk.hs
testsuite/tests/patsyn/should_compile/T11351.hs

index 3c64685..7d7f22f 100644 (file)
@@ -3708,7 +3708,6 @@ impliedXFlags
 
     , (LangExt.TemplateHaskell, turnOn, LangExt.TemplateHaskellQuotes)
     , (LangExt.Strict, turnOn, LangExt.StrictData)
-    , (LangExt.TypeApplications, turnOn, LangExt.AllowAmbiguousTypes)
   ]
 
 -- Note [Documenting optimisation flags]
index fe4d40c..25fbb23 100644 (file)
@@ -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.
index c03503d..2f0edf8 100644 (file)
@@ -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,
index 26f8d2d..0873a88 100644 (file)
@@ -1,4 +1,5 @@
-{-# LANGUAGE PatternSynonyms, TypeApplications, ScopedTypeVariables, ViewPatterns #-}
+{-# LANGUAGE PatternSynonyms, TypeApplications, ScopedTypeVariables, ViewPatterns,
+             AllowAmbiguousTypes #-}
 
 module T11351 where