Use TypeInType
authorLuke Lau <luke_lau@icloud.com>
Sun, 1 Nov 2020 12:37:48 +0000 (12:37 +0000)
committerLuke Lau <luke_lau@icloud.com>
Sun, 1 Nov 2020 12:37:48 +0000 (12:37 +0000)
Helps with GHC 8.4

src/Language/LSP/Test/Files.hs
src/Language/LSP/Test/Parsing.hs
src/Language/LSP/Test/Session.hs
test/Test.hs

index 55f6814070c2dcd6c9f0247fdf55f31bc20563f8..8fc78cf608149fa71edce726e7e4d18deae8db73 100644 (file)
@@ -1,6 +1,6 @@
 {-# LANGUAGE FlexibleContexts #-}
 {-# LANGUAGE TypeOperators #-}
-{-# LANGUAGE DataKinds #-}
+{-# LANGUAGE TypeInType #-}
 {-# LANGUAGE GADTs #-}
 {-# LANGUAGE RankNTypes #-}
 {-# LANGUAGE OverloadedStrings #-}
index 1f5581dac73f89073d5562768245825fa9125a2a..ecf8e4538cb7a4116f5a08fa9db435e0d97efc22 100644 (file)
@@ -4,7 +4,7 @@
 {-# LANGUAGE ScopedTypeVariables #-}
 {-# LANGUAGE TypeInType #-}
 {-# LANGUAGE KindSignatures #-}
-{-# LANGUAGE DataKinds #-}
+{-# LANGUAGE TypeInType #-}
 {-# LANGUAGE GADTs #-}
 {-# LANGUAGE LambdaCase #-}
 {-# LANGUAGE RankNTypes #-}
index 6c5f1d0025c1fb14da95828587216013d2ca9430..aabf04f2b73e18620de2af30cec84055a31a1219 100644 (file)
@@ -6,7 +6,7 @@
 {-# LANGUAGE MultiParamTypeClasses #-}
 {-# LANGUAGE FlexibleContexts #-}
 {-# LANGUAGE RankNTypes #-}
-{-# LANGUAGE DataKinds #-}
+{-# LANGUAGE TypeInType #-}
 
 module Language.LSP.Test.Session
   ( Session(..)
index 9527af42b1dd20a8636a310b7fb9fcf978ae5487..b87d2f617220745e0a6a996ffd869d205c5a8440 100644 (file)
@@ -1,4 +1,4 @@
-{-# LANGUAGE DataKinds #-}
+{-# LANGUAGE TypeInType #-}
 {-# LANGUAGE GADTs #-}
 {-# LANGUAGE DuplicateRecordFields #-}
 {-# LANGUAGE OverloadedStrings #-}