diff options
| author | Bodigrim <andrew.lelechenko@gmail.com> | 2019-11-20 17:22:17 -0500 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2019-12-05 16:07:47 -0500 |
| commit | 4e47217f85b2006f03e72d0a550fe2cca26cfd93 (patch) | |
| tree | d524f3a6f38a030326e4ea70c227b8cd3a55d544 /libraries | |
| parent | a2b535d9ef8864b2d314c739a0e788a6df911aaf (diff) | |
| download | haskell-4e47217f85b2006f03e72d0a550fe2cca26cfd93.tar.gz | |
Make sameNat and sameSymbol proxy-polymorphic
Diffstat (limited to 'libraries')
| -rw-r--r-- | libraries/base/GHC/TypeLits.hs | 2 | ||||
| -rw-r--r-- | libraries/base/GHC/TypeNats.hs | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/libraries/base/GHC/TypeLits.hs b/libraries/base/GHC/TypeLits.hs index 1108fd23bd..206e53de11 100644 --- a/libraries/base/GHC/TypeLits.hs +++ b/libraries/base/GHC/TypeLits.hs @@ -203,7 +203,7 @@ type family TypeError (a :: ErrorMessage) :: b where -- -- @since 4.7.0.0 sameSymbol :: (KnownSymbol a, KnownSymbol b) => - Proxy a -> Proxy b -> Maybe (a :~: b) + proxy1 a -> proxy2 b -> Maybe (a :~: b) sameSymbol x y | symbolVal x == symbolVal y = Just (unsafeCoerce Refl) | otherwise = Nothing diff --git a/libraries/base/GHC/TypeNats.hs b/libraries/base/GHC/TypeNats.hs index 48428cb903..da06627118 100644 --- a/libraries/base/GHC/TypeNats.hs +++ b/libraries/base/GHC/TypeNats.hs @@ -223,7 +223,7 @@ type family Log2 (m :: Nat) :: Nat -- -- @since 4.7.0.0 sameNat :: (KnownNat a, KnownNat b) => - Proxy a -> Proxy b -> Maybe (a :~: b) + proxy1 a -> proxy2 b -> Maybe (a :~: b) sameNat x y | natVal x == natVal y = Just (unsafeCoerce Refl) | otherwise = Nothing |