diff --git a/src/Proto/Semantic_JSON.hs b/src/Proto/Semantic_JSON.hs
index dbad1fe80..c71613ff6 100644
--- a/src/Proto/Semantic_JSON.hs
+++ b/src/Proto/Semantic_JSON.hs
@@ -1,4 +1,5 @@
 -- Code generated by protoc-gen-jsonpb_haskell 0.1.0, DO NOT EDIT.
+{-# LANGUAGE OverloadedStrings #-}
 {-# OPTIONS_GHC -Wno-orphans -Wno-unused-imports -Wno-missing-export-lists #-}
 module Proto.Semantic_JSON where
 
diff --git a/test/Analysis/Go/Spec.hs b/test/Analysis/Go/Spec.hs
index 99c5df9de..17342bc98 100644
--- a/test/Analysis/Go/Spec.hs
+++ b/test/Analysis/Go/Spec.hs
@@ -1,4 +1,4 @@
-{-# LANGUAGE ImplicitParams #-}
+{-# LANGUAGE DataKinds, ImplicitParams, OverloadedStrings, TypeApplications #-}
 {-# OPTIONS_GHC -O0 #-}
 module Analysis.Go.Spec (spec) where
 
diff --git a/test/Analysis/PHP/Spec.hs b/test/Analysis/PHP/Spec.hs
index 181b15225..1b00a34bb 100644
--- a/test/Analysis/PHP/Spec.hs
+++ b/test/Analysis/PHP/Spec.hs
@@ -1,4 +1,4 @@
-{-# LANGUAGE ImplicitParams #-}
+{-# LANGUAGE DataKinds, ImplicitParams, OverloadedStrings, TypeApplications #-}
 {-# OPTIONS_GHC -O0 #-}
 module Analysis.PHP.Spec (spec) where
 
diff --git a/test/Analysis/Python/Spec.hs b/test/Analysis/Python/Spec.hs
index 536c43cc5..a6662112a 100644
--- a/test/Analysis/Python/Spec.hs
+++ b/test/Analysis/Python/Spec.hs
@@ -1,4 +1,4 @@
-{-# LANGUAGE ImplicitParams #-}
+{-# LANGUAGE DataKinds, ImplicitParams, OverloadedStrings, TypeApplications #-}
 {-# OPTIONS_GHC -O0 #-}
 module Analysis.Python.Spec (spec) where
 
diff --git a/test/Analysis/Ruby/Spec.hs b/test/Analysis/Ruby/Spec.hs
index 5d6481a09..8b919f66e 100644
--- a/test/Analysis/Ruby/Spec.hs
+++ b/test/Analysis/Ruby/Spec.hs
@@ -1,5 +1,5 @@
+{-# LANGUAGE DataKinds, ImplicitParams, OverloadedStrings, TypeApplications #-}
 {-# OPTIONS_GHC -O0 #-}
-{-# LANGUAGE ImplicitParams #-}
 module Analysis.Ruby.Spec (spec) where
 
 import           Control.Abstract (Declaration (..), ScopeError (..))
diff --git a/test/Analysis/TypeScript/Spec.hs b/test/Analysis/TypeScript/Spec.hs
index 0e5fd679b..a47b375cb 100644
--- a/test/Analysis/TypeScript/Spec.hs
+++ b/test/Analysis/TypeScript/Spec.hs
@@ -1,4 +1,4 @@
-{-# LANGUAGE ImplicitParams #-}
+{-# LANGUAGE DataKinds, ImplicitParams, OverloadedStrings, TypeApplications #-}
 {-# OPTIONS_GHC -O0 #-}
 
 module Analysis.TypeScript.Spec (spec) where
diff --git a/test/Assigning/Assignment/Spec.hs b/test/Assigning/Assignment/Spec.hs
index 7cd1f3d10..195d4f8f5 100644
--- a/test/Assigning/Assignment/Spec.hs
+++ b/test/Assigning/Assignment/Spec.hs
@@ -1,4 +1,4 @@
-{-# LANGUAGE DataKinds, OverloadedLists #-}
+{-# LANGUAGE OverloadedLists, OverloadedStrings #-}
 module Assigning.Assignment.Spec (spec) where
 
 import Assigning.Assignment
diff --git a/test/Control/Abstract/Evaluator/Spec.hs b/test/Control/Abstract/Evaluator/Spec.hs
index e339f3c4b..bc56e1023 100644
--- a/test/Control/Abstract/Evaluator/Spec.hs
+++ b/test/Control/Abstract/Evaluator/Spec.hs
@@ -1,4 +1,4 @@
-{-# LANGUAGE TypeOperators #-}
+{-# LANGUAGE DataKinds, OverloadedStrings, TypeApplications, TypeOperators #-}
 {-# OPTIONS_GHC -fno-warn-missing-signatures #-}
 module Control.Abstract.Evaluator.Spec
 ( spec
diff --git a/test/Data/Functor/Classes/Generic/Spec.hs b/test/Data/Functor/Classes/Generic/Spec.hs
index 8afba0c42..70834e6ff 100644
--- a/test/Data/Functor/Classes/Generic/Spec.hs
+++ b/test/Data/Functor/Classes/Generic/Spec.hs
@@ -1,3 +1,4 @@
+{-# LANGUAGE DeriveGeneric #-}
 module Data.Functor.Classes.Generic.Spec (spec) where
 
 import Data.Functor.Classes.Generic
diff --git a/test/Data/Mergeable.hs b/test/Data/Mergeable.hs
index 64d58bc88..ec5ed39eb 100644
--- a/test/Data/Mergeable.hs
+++ b/test/Data/Mergeable.hs
@@ -1,4 +1,4 @@
-{-# LANGUAGE DefaultSignatures, TypeOperators, UndecidableInstances #-}
+{-# LANGUAGE DefaultSignatures, FlexibleContexts, TypeApplications, TypeOperators, UndecidableInstances #-}
 module Data.Mergeable ( Mergeable (..) ) where
 
 import Control.Applicative
diff --git a/test/Data/Scientific/Spec.hs b/test/Data/Scientific/Spec.hs
index f0f13722d..7cd86c890 100644
--- a/test/Data/Scientific/Spec.hs
+++ b/test/Data/Scientific/Spec.hs
@@ -1,3 +1,4 @@
+{-# LANGUAGE OverloadedStrings #-}
 module Data.Scientific.Spec (testTree) where
 
 import           Data.Either
diff --git a/test/Diffing/Algorithm/RWS/Spec.hs b/test/Diffing/Algorithm/RWS/Spec.hs
index 0569b2998..a1dff81da 100644
--- a/test/Diffing/Algorithm/RWS/Spec.hs
+++ b/test/Diffing/Algorithm/RWS/Spec.hs
@@ -1,4 +1,4 @@
-{-# LANGUAGE DataKinds, TypeOperators #-}
+{-# LANGUAGE DataKinds, OverloadedStrings, TypeOperators #-}
 module Diffing.Algorithm.RWS.Spec (spec) where
 
 import Data.Bifunctor
diff --git a/test/Diffing/Interpreter/Spec.hs b/test/Diffing/Interpreter/Spec.hs
index 56d59145e..652186af5 100644
--- a/test/Diffing/Interpreter/Spec.hs
+++ b/test/Diffing/Interpreter/Spec.hs
@@ -1,4 +1,4 @@
-{-# LANGUAGE DataKinds #-}
+{-# LANGUAGE DataKinds, OverloadedStrings, TypeApplications #-}
 module Diffing.Interpreter.Spec (spec, afterTerm, beforeTerm) where
 
 import Control.Applicative ((<|>))
diff --git a/test/Examples.hs b/test/Examples.hs
index 7775be698..197cec727 100644
--- a/test/Examples.hs
+++ b/test/Examples.hs
@@ -1,4 +1,4 @@
-{-# LANGUAGE TypeApplications #-}
+{-# LANGUAGE FlexibleContexts, RecordWildCards, TypeApplications #-}
 {-# OPTIONS_GHC -O1 #-}
 module Main (main) where
 
diff --git a/test/Generators.hs b/test/Generators.hs
index f71842e86..162560960 100644
--- a/test/Generators.hs
+++ b/test/Generators.hs
@@ -1,3 +1,4 @@
+{-# LANGUAGE OverloadedStrings #-}
 module Generators
   ( source
   , integerScientific
diff --git a/test/Graphing/Calls/Spec.hs b/test/Graphing/Calls/Spec.hs
index a3dca4696..708e933fa 100644
--- a/test/Graphing/Calls/Spec.hs
+++ b/test/Graphing/Calls/Spec.hs
@@ -1,4 +1,4 @@
-{-# LANGUAGE GADTs, PackageImports, TypeApplications #-}
+{-# LANGUAGE DataKinds, GADTs, OverloadedStrings, PackageImports, TypeApplications #-}
 
 module Graphing.Calls.Spec ( spec ) where
 
diff --git a/test/Rendering/TOC/Spec.hs b/test/Rendering/TOC/Spec.hs
index 364786f25..f0bff8c6c 100644
--- a/test/Rendering/TOC/Spec.hs
+++ b/test/Rendering/TOC/Spec.hs
@@ -1,4 +1,4 @@
-{-# LANGUAGE DataKinds, MonoLocalBinds, TupleSections, TypeOperators #-}
+{-# LANGUAGE DataKinds, FlexibleContexts, MonoLocalBinds, OverloadedStrings, TupleSections, TypeOperators #-}
 module Rendering.TOC.Spec (spec) where
 
 import Analysis.TOCSummary
diff --git a/test/Semantic/Spec.hs b/test/Semantic/Spec.hs
index c5b42d89f..d2c0832af 100644
--- a/test/Semantic/Spec.hs
+++ b/test/Semantic/Spec.hs
@@ -1,3 +1,4 @@
+{-# LANGUAGE OverloadedStrings #-}
 module Semantic.Spec (spec) where
 
 import Control.Effect.Reader
diff --git a/test/Semantic/Stat/Spec.hs b/test/Semantic/Stat/Spec.hs
index 63d813790..84a555fe3 100644
--- a/test/Semantic/Stat/Spec.hs
+++ b/test/Semantic/Stat/Spec.hs
@@ -1,4 +1,4 @@
-{-# LANGUAGE TemplateHaskell #-}
+{-# LANGUAGE OverloadedStrings, RecordWildCards #-}
 
 module Semantic.Stat.Spec (testTree) where
 
diff --git a/test/SpecHelpers.hs b/test/SpecHelpers.hs
index 2230e8fcf..77420a8df 100644
--- a/test/SpecHelpers.hs
+++ b/test/SpecHelpers.hs
@@ -1,3 +1,4 @@
+{-# LANGUAGE DataKinds, FlexibleContexts #-}
 {-# OPTIONS_GHC -fno-warn-orphans #-}
 
 module SpecHelpers
diff --git a/test/Tags/Spec.hs b/test/Tags/Spec.hs
index 4556c78d0..48a194744 100644
--- a/test/Tags/Spec.hs
+++ b/test/Tags/Spec.hs
@@ -1,3 +1,4 @@
+{-# LANGUAGE OverloadedStrings #-}
 module Tags.Spec (spec) where
 
 import Control.Effect.Reader