From 9749fe1223d182b1f8e7e4f7378df661c509f396 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Baldur=20Bl=C3=B6ndal?= Date: Tue, 21 Apr 2020 21:57:35 +0100 Subject: Specify kind variables for inferred kinds in base. --- libraries/base/Control/Arrow.hs | 4 ++-- libraries/base/Control/Category.hs | 4 ++-- 2 files changed, 4 insertions(+), 4 deletions(-) (limited to 'libraries/base/Control') diff --git a/libraries/base/Control/Arrow.hs b/libraries/base/Control/Arrow.hs index eec25a3179..56fa82e161 100644 --- a/libraries/base/Control/Arrow.hs +++ b/libraries/base/Control/Arrow.hs @@ -1,8 +1,8 @@ -{-# LANGUAGE Trustworthy #-} -{-# LANGUAGE NoImplicitPrelude #-} {-# LANGUAGE DeriveFunctor #-} {-# LANGUAGE DeriveGeneric #-} +{-# LANGUAGE NoImplicitPrelude #-} {-# LANGUAGE StandaloneDeriving #-} +{-# LANGUAGE Trustworthy #-} {-# OPTIONS_GHC -Wno-inline-rule-shadowing #-} -- The RULES for the methods of class Arrow may never fire -- e.g. compose/arr; see #10528 diff --git a/libraries/base/Control/Category.hs b/libraries/base/Control/Category.hs index c033c7618e..14584bdc0c 100644 --- a/libraries/base/Control/Category.hs +++ b/libraries/base/Control/Category.hs @@ -1,7 +1,7 @@ -{-# LANGUAGE Trustworthy #-} {-# LANGUAGE GADTs #-} {-# LANGUAGE NoImplicitPrelude #-} {-# LANGUAGE PolyKinds #-} +{-# LANGUAGE Trustworthy #-} {-# OPTIONS_GHC -Wno-inline-rule-shadowing #-} -- The RULES for the methods of class Category may never fire -- e.g. identity/left, identity/right, association; see #10528 @@ -20,7 +20,7 @@ module Control.Category where -import qualified GHC.Base (id,(.)) +import qualified GHC.Base (id, (.)) import Data.Type.Coercion import Data.Type.Equality import Data.Coerce (coerce) -- cgit v1.2.1