diff options
| author | Richard Eisenberg <eir@cis.upenn.edu> | 2016-03-17 17:49:28 -0400 |
|---|---|---|
| committer | Richard Eisenberg <eir@cis.upenn.edu> | 2016-03-21 12:02:01 -0400 |
| commit | 01b29ebd25aceef8c35ea1cc3eabb6dafbb55daa (patch) | |
| tree | 9a78248fb14890f68a13f3944663af469553882a | |
| parent | af2f7f90dd0aaae0e33d1f8064377d1657f180a6 (diff) | |
| download | haskell-01b29ebd25aceef8c35ea1cc3eabb6dafbb55daa.tar.gz | |
TypeApplications does not imply AllowAmbiguousTypes
| -rw-r--r-- | compiler/main/DynFlags.hs | 1 | ||||
| -rw-r--r-- | docs/users_guide/glasgow_exts.rst | 1 | ||||
| -rw-r--r-- | testsuite/tests/dependent/should_compile/RaeJobTalk.hs | 2 | ||||
| -rw-r--r-- | 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 3c64685fcd..7d7f22ff4e 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 fe4d40c344..25fbb23e64 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 c03503db2e..2f0edf8593 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 26f8d2ddea..0873a88ed3 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 |