diff options
| author | Baldur Blöndal <baldurpet@gmail.com> | 2020-04-21 21:57:35 +0100 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2020-05-08 15:29:32 -0400 |
| commit | 9749fe1223d182b1f8e7e4f7378df661c509f396 (patch) | |
| tree | 5077b596f274ff179075028dbbb72bf836eacf43 /libraries/ghc-prim | |
| parent | 66f0a847255f15ec656a37d639556b7918f6aac2 (diff) | |
| download | haskell-9749fe1223d182b1f8e7e4f7378df661c509f396.tar.gz | |
Specify kind variables for inferred kinds in base.
Diffstat (limited to 'libraries/ghc-prim')
| -rw-r--r-- | libraries/ghc-prim/GHC/Types.hs | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/libraries/ghc-prim/GHC/Types.hs b/libraries/ghc-prim/GHC/Types.hs index 0a32454149..bdf6c67225 100644 --- a/libraries/ghc-prim/GHC/Types.hs +++ b/libraries/ghc-prim/GHC/Types.hs @@ -1,6 +1,6 @@ {-# LANGUAGE MagicHash, NoImplicitPrelude, TypeFamilies, UnboxedTuples, MultiParamTypeClasses, RoleAnnotations, CPP, TypeOperators, - PolyKinds #-} + PolyKinds, StandaloneKindSignatures, RankNTypes #-} ----------------------------------------------------------------------------- -- | -- Module : GHC.Types @@ -226,6 +226,7 @@ inside GHC, to change the kind and type. -- about the difference between heterogeneous equality @~~@ and -- homogeneous equality @~@, this is printed as @~@ unless -- @-fprint-equality-relations@ is set. +type (~~) :: forall k1 k2. k1 -> k2 -> Constraint class a ~~ b -- See also Note [The equality types story] in GHC.Builtin.Types.Prim @@ -282,7 +283,8 @@ class a ~ b -- by Joachim Breitner, Richard A. Eisenberg, Simon Peyton Jones and Stephanie Weirich. -- -- @since 4.7.0.0 -class Coercible (a :: k) (b :: k) +type Coercible :: forall k. k -> k -> Constraint +class Coercible a b -- See also Note [The equality types story] in GHC.Builtin.Types.Prim {- ********************************************************************* |