From 2fb34f4883b31c16d66d92937444ee4924c1cdff Mon Sep 17 00:00:00 2001
From: Hans-Peter Deifel <hpd@hpdeifel.de>
Date: Mon, 9 Jul 2018 20:33:23 +0200
Subject: [PATCH] Remove unnecessary language extensions

---
 src/Algorithm.hs                     | 4 ----
 src/Data/BlockQueue.hs               | 1 -
 src/Data/Functors.hs                 | 1 -
 src/Data/MorphismEncoding.hs         | 1 -
 src/Data/OpenUnion.hs                | 1 -
 src/Data/RefinementInterface.hs      | 2 --
 src/Data/Sort.hs                     | 1 -
 src/Parser.hs                        | 2 --
 src/Text/Parser/Lexer.hs             | 2 --
 tests/Data/RefinablePartitionSpec.hs | 1 -
 tests/DocTests.hs                    | 1 -
 11 files changed, 17 deletions(-)

diff --git a/src/Algorithm.hs b/src/Algorithm.hs
index 4babc58..d25c834 100644
--- a/src/Algorithm.hs
+++ b/src/Algorithm.hs
@@ -1,12 +1,8 @@
-{-# LANGUAGE TupleSections #-}
 {-# LANGUAGE TypeApplications #-}
 {-# LANGUAGE UndecidableInstances #-}
 {-# LANGUAGE FlexibleContexts #-}
-{-# LANGUAGE StandaloneDeriving #-}
-{-# LANGUAGE GADTs #-}
 {-# LANGUAGE RecordWildCards #-}
 {-# LANGUAGE ScopedTypeVariables #-}
-{-# LANGUAGE LambdaCase #-}
 module Algorithm
   ( initializeAll
   , finalizeStates
diff --git a/src/Data/BlockQueue.hs b/src/Data/BlockQueue.hs
index c87e4a5..924b691 100644
--- a/src/Data/BlockQueue.hs
+++ b/src/Data/BlockQueue.hs
@@ -1,6 +1,5 @@
 {-# LANGUAGE BangPatterns #-}
 {-# LANGUAGE TemplateHaskell #-}
-{-# LANGUAGE LambdaCase #-}
 {-# LANGUAGE StrictData #-}
 
 -- | A queue for sorted blocks that can be used in the lumping algorithm.
diff --git a/src/Data/Functors.hs b/src/Data/Functors.hs
index 3c2150b..0632844 100644
--- a/src/Data/Functors.hs
+++ b/src/Data/Functors.hs
@@ -1,4 +1,3 @@
-{-# LANGUAGE GADTs #-}
 {-# LANGUAGE PolyKinds #-}
 
 module Data.Functors
diff --git a/src/Data/MorphismEncoding.hs b/src/Data/MorphismEncoding.hs
index 4619e5b..d11bb22 100644
--- a/src/Data/MorphismEncoding.hs
+++ b/src/Data/MorphismEncoding.hs
@@ -1,4 +1,3 @@
-{-# LANGUAGE GADTs #-}
 {-# LANGUAGE RecordWildCards #-}
 module Data.MorphismEncoding
   ( Encoding(..)
diff --git a/src/Data/OpenUnion.hs b/src/Data/OpenUnion.hs
index 69b3e31..b9fd4f6 100644
--- a/src/Data/OpenUnion.hs
+++ b/src/Data/OpenUnion.hs
@@ -6,7 +6,6 @@
 {-# LANGUAGE MultiParamTypeClasses #-}
 {-# LANGUAGE KindSignatures #-}
 {-# LANGUAGE DataKinds #-}
-{-# LANGUAGE GADTs #-}
 {-# LANGUAGE ScopedTypeVariables #-}
 {-# OPTIONS_HADDOCK prune #-}
 
diff --git a/src/Data/RefinementInterface.hs b/src/Data/RefinementInterface.hs
index fd07c3d..6371e5e 100644
--- a/src/Data/RefinementInterface.hs
+++ b/src/Data/RefinementInterface.hs
@@ -2,8 +2,6 @@
 {-# LANGUAGE FlexibleContexts #-}
 {-# LANGUAGE RankNTypes #-}
 {-# LANGUAGE Rank2Types #-}
-{-# LANGUAGE TypeFamilies #-}
-{-# LANGUAGE GADTs #-}
 {-# LANGUAGE PolyKinds #-}
 module Data.RefinementInterface where
 
diff --git a/src/Data/Sort.hs b/src/Data/Sort.hs
index d422d68..c452246 100644
--- a/src/Data/Sort.hs
+++ b/src/Data/Sort.hs
@@ -1,4 +1,3 @@
-{-# LANGUAGE GADTs #-}
 {-# LANGUAGE DataKinds #-}
 module Data.Sort
   ( Sort
diff --git a/src/Parser.hs b/src/Parser.hs
index d8dd509..2077ff5 100644
--- a/src/Parser.hs
+++ b/src/Parser.hs
@@ -1,7 +1,5 @@
 {-# LANGUAGE ScopedTypeVariables #-}
 {-# LANGUAGE PolyKinds #-}
-{-# LANGUAGE GADTs #-}
-{-# LANGUAGE OverloadedStrings #-}
 
 module Parser (decodeCoalgebra) where
 
diff --git a/src/Text/Parser/Lexer.hs b/src/Text/Parser/Lexer.hs
index 5c0bbf2..0304923 100644
--- a/src/Text/Parser/Lexer.hs
+++ b/src/Text/Parser/Lexer.hs
@@ -1,5 +1,3 @@
-{-# LANGUAGE OverloadedStrings #-}
-
 module Text.Parser.Lexer
   ( spaceConsumer
   , symbol
diff --git a/tests/Data/RefinablePartitionSpec.hs b/tests/Data/RefinablePartitionSpec.hs
index 488f2cc..8dbdc0f 100644
--- a/tests/Data/RefinablePartitionSpec.hs
+++ b/tests/Data/RefinablePartitionSpec.hs
@@ -1,5 +1,4 @@
 {-# LANGUAGE ScopedTypeVariables #-}
-{-# LANGUAGE TupleSections #-}
 
 module Data.RefinablePartitionSpec (spec) where
 
diff --git a/tests/DocTests.hs b/tests/DocTests.hs
index 1969cdb..a150e02 100644
--- a/tests/DocTests.hs
+++ b/tests/DocTests.hs
@@ -1,4 +1,3 @@
-{-# LANGUAGE GADTs #-}
 module Main where
 
 import Build_doctests (flags, pkgs, module_sources)
-- 
GitLab