diff options
Diffstat (limited to 'libraries/ghc-prim/GHC/Types.hs')
| -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 {- ********************************************************************* |