big cleanup

Author: raehik

fortran-src.cabal

@@ -89,7 +89,6 @@ library
       Language.Fortran.PrettyPrint
       Language.Fortran.Rewriter
       Language.Fortran.Rewriter.Internal
-      Language.Fortran.Transformation
       Language.Fortran.Transformation.Disambiguation.Function
       Language.Fortran.Transformation.Disambiguation.Intrinsic
       Language.Fortran.Transformation.Grouping
@@ -104,6 +103,25 @@ library
       Paths_fortran_src
   hs-source-dirs:
       src
+  default-extensions:
+      EmptyCase
+      FlexibleContexts
+      FlexibleInstances
+      InstanceSigs
+      MultiParamTypeClasses
+      PolyKinds
+      LambdaCase
+      DerivingStrategies
+      StandaloneDeriving
+      DeriveAnyClass
+      DeriveGeneric
+      DeriveDataTypeable
+      DeriveFunctor
+      DeriveFoldable
+      DeriveTraversable
+      DeriveLift
+      BangPatterns
+      TupleSections
   ghc-options: -Wall -fno-warn-tabs
   build-tools:
       alex >=3.1
@@ -132,6 +150,25 @@ executable fortran-src
       Paths_fortran_src
   hs-source-dirs:
       app
+  default-extensions:
+      EmptyCase
+      FlexibleContexts
+      FlexibleInstances
+      InstanceSigs
+      MultiParamTypeClasses
+      PolyKinds
+      LambdaCase
+      DerivingStrategies
+      StandaloneDeriving
+      DeriveAnyClass
+      DeriveGeneric
+      DeriveDataTypeable
+      DeriveFunctor
+      DeriveFoldable
+      DeriveTraversable
+      DeriveLift
+      BangPatterns
+      TupleSections
   ghc-options: -Wall -fno-warn-tabs
   build-depends:
       GenericPretty >=1.2.2 && <2
@@ -187,6 +224,25 @@ test-suite spec
       Paths_fortran_src
   hs-source-dirs:
       test
+  default-extensions:
+      EmptyCase
+      FlexibleContexts
+      FlexibleInstances
+      InstanceSigs
+      MultiParamTypeClasses
+      PolyKinds
+      LambdaCase
+      DerivingStrategies
+      StandaloneDeriving
+      DeriveAnyClass
+      DeriveGeneric
+      DeriveDataTypeable
+      DeriveFunctor
+      DeriveFoldable
+      DeriveTraversable
+      DeriveLift
+      BangPatterns
+      TupleSections
   ghc-options: -Wall
   build-tool-depends:
       hspec-discover:hspec-discover
@@ -218,6 +274,25 @@ benchmark bench
       Paths_fortran_src
   hs-source-dirs:
       bench
+  default-extensions:
+      EmptyCase
+      FlexibleContexts
+      FlexibleInstances
+      InstanceSigs
+      MultiParamTypeClasses
+      PolyKinds
+      LambdaCase
+      DerivingStrategies
+      StandaloneDeriving
+      DeriveAnyClass
+      DeriveGeneric
+      DeriveDataTypeable
+      DeriveFunctor
+      DeriveFoldable
+      DeriveTraversable
+      DeriveLift
+      BangPatterns
+      TupleSections
   ghc-options: -Wall
   build-depends:
       GenericPretty >=1.2.2 && <2

package.yaml

@@ -22,6 +22,30 @@ extra-source-files:
 - CHANGELOG.md
 - test-data/**/*
 
+# 2022-01-25: raehik: the essentials + handful of syntax (most in GHC2021)
+default-extensions:
+# essential
+- EmptyCase
+- FlexibleContexts
+- FlexibleInstances
+- InstanceSigs
+- MultiParamTypeClasses
+- PolyKinds
+- LambdaCase
+# deriving-related
+- DerivingStrategies
+- StandaloneDeriving
+- DeriveAnyClass
+- DeriveGeneric
+- DeriveDataTypeable
+- DeriveFunctor
+- DeriveFoldable
+- DeriveTraversable
+- DeriveLift
+# less essential but still gimmes
+- BangPatterns
+- TupleSections
+
 dependencies:
 - base >=4.6 && <5
 - mtl >=2.2 && <3

src/Language/Fortran/AST.hs

@@ -1,10 +1,4 @@
-{-# LANGUAGE FlexibleInstances #-}
-{-# LANGUAGE MultiParamTypeClasses #-}
-{-# LANGUAGE DeriveDataTypeable #-}
-{-# LANGUAGE DeriveGeneric #-}
-{-# LANGUAGE DeriveFunctor #-}
 {-# LANGUAGE DefaultSignatures #-}
-{-# LANGUAGE FlexibleContexts #-}
 
 -- |
 --

src/Language/Fortran/AST/AList.hs

@@ -1,9 +1,3 @@
-{-# LANGUAGE MultiParamTypeClasses #-}
-{-# LANGUAGE FlexibleInstances #-}
-{-# LANGUAGE DeriveDataTypeable #-}
-{-# LANGUAGE DeriveGeneric #-}
-{-# LANGUAGE DeriveFunctor #-}
-
 module Language.Fortran.AST.AList where
 
 import Language.Fortran.Util.FirstParameter

src/Language/Fortran/AST/Boz.hs

@@ -15,9 +15,6 @@ converting to a numeric type and using something like 'showIntAtBase', or a
 'Bits' instance.
 -}
 
-{-# LANGUAGE DerivingStrategies, DeriveDataTypeable, DeriveGeneric, DeriveAnyClass #-}
-{-# LANGUAGE LambdaCase #-}
-
 module Language.Fortran.AST.Boz where
 
 import           GHC.Generics

src/Language/Fortran/AST/RealLit.hs

@@ -12,8 +12,7 @@ that can be easily exported with full precision later. Things we do:
     Haskell literals do not support this.)
 -}
 
-{-# LANGUAGE DeriveDataTypeable, DeriveGeneric, DeriveAnyClass #-}
-{-# LANGUAGE RecordWildCards, LambdaCase #-}
+{-# LANGUAGE RecordWildCards #-}
 
 module Language.Fortran.AST.RealLit where
 

src/Language/Fortran/Analysis.hs

@@ -1,4 +1,4 @@
-{-# LANGUAGE ScopedTypeVariables, DeriveDataTypeable, StandaloneDeriving, DeriveGeneric, TupleSections #-}
+{-# LANGUAGE ScopedTypeVariables #-}
 {-# OPTIONS_GHC -Wno-orphans #-}
 
 -- |

src/Language/Fortran/Analysis/BBlocks.hs

@@ -1,6 +1,6 @@
 -- | Analyse a program file and create basic blocks.
 
-{-# LANGUAGE TupleSections, FlexibleContexts, PatternGuards, ScopedTypeVariables #-}
+{-# LANGUAGE ScopedTypeVariables #-}
 module Language.Fortran.Analysis.BBlocks
   ( analyseBBlocks, genBBlockMap, showBBGr, showAnalysedBBGr, showBBlocks, bbgrToDOT, BBlockMap, ASTBlockNode, ASTExprNode
   , genSuperBBGr, SuperBBGr(..), showSuperBBGr, superBBGrToDOT, findLabeledBBlock, showBlock )

src/Language/Fortran/Analysis/DataFlow.hs

@@ -1,6 +1,6 @@
 -- | Dataflow analysis to be applied once basic block analysis is complete.
 
-{-# LANGUAGE FlexibleContexts, PatternGuards, ScopedTypeVariables, TupleSections, DeriveGeneric, DeriveDataTypeable, BangPatterns #-}
+{-# LANGUAGE ScopedTypeVariables #-}
 module Language.Fortran.Analysis.DataFlow
   ( dominators, iDominators, DomMap, IDomMap
   , postOrder, revPostOrder, preOrder, revPreOrder, OrderF

src/Language/Fortran/Analysis/Renaming.hs

@@ -1,4 +1,4 @@
-{-# LANGUAGE ScopedTypeVariables, PatternGuards, TupleSections #-}
+{-# LANGUAGE ScopedTypeVariables #-}
 
 -- |
 -- Analyse variables/function names and produce unique names that can