diff options
author | Vladislav Zavialov <vlad.z.4096@gmail.com> | 2020-09-10 14:41:25 +0300 |
---|---|---|
committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2020-09-29 00:32:05 -0400 |
commit | 5830a12c46e7227c276a8a71213057595ee4fc04 (patch) | |
tree | 70eacf5713115640af3ef83cb393e6f1a19d5096 /libraries/base/Data/Typeable/Internal.hs | |
parent | b31a3360e2ef12f3ec7eaf66b3600247c1eb36c3 (diff) | |
download | haskell-5830a12c46e7227c276a8a71213057595ee4fc04.tar.gz |
New linear types syntax: a %p -> b (#18459)
Implements GHC Proposal #356
Updates the haddock submodule.
Diffstat (limited to 'libraries/base/Data/Typeable/Internal.hs')
-rw-r--r-- | libraries/base/Data/Typeable/Internal.hs | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/libraries/base/Data/Typeable/Internal.hs b/libraries/base/Data/Typeable/Internal.hs index 7ac590a829..e1ad3ed3fe 100644 --- a/libraries/base/Data/Typeable/Internal.hs +++ b/libraries/base/Data/Typeable/Internal.hs @@ -311,7 +311,7 @@ instance Ord (TypeRep a) where -- | A non-indexed type representation. data SomeTypeRep where - SomeTypeRep :: forall k (a :: k). !(TypeRep a) #-> SomeTypeRep + SomeTypeRep :: forall k (a :: k). !(TypeRep a) %1 -> SomeTypeRep instance Eq SomeTypeRep where SomeTypeRep a == SomeTypeRep b = @@ -461,9 +461,9 @@ pattern App f x <- (splitApp -> IsApp f x) data AppOrCon (a :: k) where IsApp :: forall k k' (f :: k' -> k) (x :: k'). () - => TypeRep f #-> TypeRep x #-> AppOrCon (f x) + => TypeRep f %1 -> TypeRep x %1 -> AppOrCon (f x) -- See Note [Con evidence] - IsCon :: IsApplication a ~ "" => TyCon #-> [SomeTypeRep] #-> AppOrCon a + IsCon :: IsApplication a ~ "" => TyCon %1 -> [SomeTypeRep] %1 -> AppOrCon a type family IsApplication (x :: k) :: Symbol where IsApplication (_ _) = "An error message about this unifying with \"\" " @@ -640,7 +640,7 @@ unkindedTypeRep (SomeKindedTypeRep x) = SomeTypeRep x data SomeKindedTypeRep k where SomeKindedTypeRep :: forall k (a :: k). TypeRep a - #-> SomeKindedTypeRep k + %1 -> SomeKindedTypeRep k kApp :: SomeKindedTypeRep (k -> k') -> SomeKindedTypeRep k @@ -730,7 +730,7 @@ bareArrow (TrFun _ m a b) = bareArrow _ = error "Data.Typeable.Internal.bareArrow: impossible" data IsTYPE (a :: Type) where - IsTYPE :: forall (r :: RuntimeRep). TypeRep r #-> IsTYPE (TYPE r) + IsTYPE :: forall (r :: RuntimeRep). TypeRep r %1 -> IsTYPE (TYPE r) -- | Is a type of the form @TYPE rep@? isTYPE :: TypeRep (a :: Type) -> Maybe (IsTYPE a) |