diff options
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 |