diff options
| author | Ben Gamari <ben@smart-cactus.org> | 2020-05-09 15:49:07 -0400 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2020-05-09 15:50:28 -0400 |
| commit | c8cf710a02c386d5007a8a6179ec1826b7085a29 (patch) | |
| tree | 515e0db0458fb7f185c6024a5153bb8e06621608 /libraries/base/Control/Category.hs | |
| parent | 86c77b36628dcce7bc9b066fc24c8c521fecc3ee (diff) | |
| download | haskell-wip/revert-MR3132.tar.gz | |
Revert "Specify kind variables for inferred kinds in base."wip/revert-MR3132
As noted in !3132, this has rather severe knock-on consequences in
user-code. We'll need to revisit this before merging something along
these lines.
This reverts commit 9749fe1223d182b1f8e7e4f7378df661c509f396.
Diffstat (limited to 'libraries/base/Control/Category.hs')
| -rw-r--r-- | libraries/base/Control/Category.hs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/libraries/base/Control/Category.hs b/libraries/base/Control/Category.hs index 14584bdc0c..c033c7618e 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) |