Commit 18759cc4 authored by Jan Stolarek's avatar Jan Stolarek

Remove redundant language extensions

parent 8c0eca3d
......@@ -12,7 +12,7 @@ have a standard form, namely:
- primitive operations
-}
{-# LANGUAGE CPP, DataKinds #-}
{-# LANGUAGE CPP #-}
module MkId (
mkDictFunId, mkDictFunTy, mkDictSelId, mkDictSelRhs,
......
......@@ -6,7 +6,7 @@
Type checking of type signatures in interface files
-}
{-# LANGUAGE CPP, DataKinds #-}
{-# LANGUAGE CPP #-}
module TcIface (
tcLookupImported_maybe,
......
-- The @FamInst@ type: family instance heads
{-# LANGUAGE CPP, GADTs, DataKinds #-}
{-# LANGUAGE CPP, GADTs #-}
module FamInst (
FamInstEnvs, tcGetFamInstEnvs,
......
......@@ -16,7 +16,7 @@ Note [The Type-related module hierarchy]
-}
{-# LANGUAGE CPP, DeriveDataTypeable, DeriveFunctor, DeriveFoldable,
DeriveTraversable, DataKinds #-}
DeriveTraversable #-}
{-# OPTIONS_HADDOCK hide #-}
-- We expose the relevant stuff from this module via the Type module
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment