Merge pull request #1678 from github/default-typeapplications

Make TypeApplications a default extension

.stylish-haskell.yaml

@@ -218,16 +218,17 @@ newline: native
 # command line instead of using language pragmas in the file. stylish-haskell
 # needs to be aware of these, so it can parse the file correctly.
 language_extensions:
-  - ExplicitNamespaces
+  - DataKinds
   - DeriveFoldable
   - DeriveFunctor
   - DeriveGeneric
   - DeriveTraversable
+  - ExplicitNamespaces
   - FlexibleContexts
   - FlexibleInstances
   - MultiParamTypeClasses
-  - StandaloneDeriving
-  - DataKinds
   - OverloadedStrings
   - RecordWildCards
+  - StandaloneDeriving
   - StrictData
+  - TypeApplications

semantic.cabal

@@ -198,6 +198,7 @@ library
                      , RecordWildCards
                      , StandaloneDeriving
                      , StrictData
+                     , TypeApplications
   ghc-options:         -Wall -Wcompat -Wincomplete-record-updates -Wincomplete-uni-patterns -Wredundant-constraints -fno-warn-name-shadowing -O -j
   ghc-prof-options:    -fprof-auto
 
@@ -274,6 +275,7 @@ test-suite test
                      , OverloadedStrings
                      , RecordWildCards
                      , StandaloneDeriving
+                     , TypeApplications
 
 test-suite doctests
   type:                exitcode-stdio-1.0

src/Analysis/Abstract/Evaluating.hs

@@ -1,4 +1,4 @@
-{-# LANGUAGE DataKinds, GeneralizedNewtypeDeriving, StandaloneDeriving, TypeFamilies, UndecidableInstances #-}
+{-# LANGUAGE GeneralizedNewtypeDeriving, TypeFamilies, UndecidableInstances #-}
 module Analysis.Abstract.Evaluating
 ( Evaluating
 , findValue

src/Data/Syntax/Literal.hs

@@ -1,4 +1,4 @@
-{-# LANGUAGE DataKinds, DeriveAnyClass, DeriveGeneric, MultiParamTypeClasses, TypeApplications, ViewPatterns #-}
+{-# LANGUAGE DataKinds, DeriveAnyClass, DeriveGeneric, MultiParamTypeClasses, ViewPatterns #-}
 module Data.Syntax.Literal where
 
 import Control.Arrow ((>>>))

src/Semantic/Util.hs

@@ -1,5 +1,5 @@
 -- MonoLocalBinds is to silence a warning about a simplifiable constraint.
-{-# LANGUAGE DataKinds, MonoLocalBinds, ScopedTypeVariables, TypeFamilies, TypeApplications, TypeOperators #-}
+{-# LANGUAGE DataKinds, MonoLocalBinds, ScopedTypeVariables, TypeFamilies, TypeOperators #-}
 {-# OPTIONS_GHC -Wno-missing-signatures #-}
 module Semantic.Util where
 

test/Analysis/Python/Spec.hs

@@ -1,4 +1,4 @@
-{-# LANGUAGE OverloadedLists, TypeApplications #-}
+{-# LANGUAGE OverloadedLists #-}
 module Analysis.Python.Spec (spec) where
 
 import Data.Abstract.Value

test/Analysis/TypeScript/Spec.hs

@@ -1,4 +1,4 @@
-{-# LANGUAGE OverloadedLists, TypeApplications #-}
+{-# LANGUAGE OverloadedLists #-}
 module Analysis.TypeScript.Spec (spec) where
 
 import Data.Abstract.Value

test/Doctests.hs

@@ -24,4 +24,5 @@ extensions =
   , "RecordWildCards"
   , "StandaloneDeriving"
   , "StrictData"
+  , "TypeApplications"
   ]

test/SpecHelpers.hs

@@ -1,4 +1,4 @@
-{-# LANGUAGE GADTs, ScopedTypeVariables, TypeFamilies, TypeOperators, TypeApplications #-}
+{-# LANGUAGE GADTs, ScopedTypeVariables, TypeFamilies, TypeOperators #-}
 module SpecHelpers (
   module X
 , diffFilePaths