Commit 01b29ebd authored by eir@cis.upenn.edu's avatar eir@cis.upenn.edu
Browse files

TypeApplications does not imply AllowAmbiguousTypes

parent af2f7f90
......@@ -3708,7 +3708,6 @@ impliedXFlags
, (LangExt.TemplateHaskell, turnOn, LangExt.TemplateHaskellQuotes)
, (LangExt.Strict, turnOn, LangExt.StrictData)
, (LangExt.TypeApplications, turnOn, LangExt.AllowAmbiguousTypes)
]
-- Note [Documenting optimisation flags]
......
......@@ -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.
......
{- Copyright (c) 2016 Richard Eisenberg
-}
{-# LANGUAGE TypeOperators, TypeFamilies, TypeApplications,
{-# LANGUAGE TypeOperators, TypeFamilies, TypeApplications, AllowAmbiguousTypes,
ExplicitForAll, ScopedTypeVariables, GADTs, TypeFamilyDependencies,
TypeInType, ConstraintKinds, UndecidableInstances,
FlexibleInstances, MultiParamTypeClasses, FunctionalDependencies,
......
{-# LANGUAGE PatternSynonyms, TypeApplications, ScopedTypeVariables, ViewPatterns #-}
{-# LANGUAGE PatternSynonyms, TypeApplications, ScopedTypeVariables, ViewPatterns,
AllowAmbiguousTypes #-}
module T11351 where
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment