From 4e47217f85b2006f03e72d0a550fe2cca26cfd93 Mon Sep 17 00:00:00 2001 From: Bodigrim Date: Wed, 20 Nov 2019 17:22:17 -0500 Subject: Make sameNat and sameSymbol proxy-polymorphic --- testsuite/tests/ghci/scripts/T9181.stdout | 6 ++---- 1 file changed, 2 insertions(+), 4 deletions(-) (limited to 'testsuite/tests/ghci/scripts') diff --git a/testsuite/tests/ghci/scripts/T9181.stdout b/testsuite/tests/ghci/scripts/T9181.stdout index 388681ed63..c523624fe2 100644 --- a/testsuite/tests/ghci/scripts/T9181.stdout +++ b/testsuite/tests/ghci/scripts/T9181.stdout @@ -32,8 +32,7 @@ GHC.TypeLits.natVal' :: GHC.TypeNats.KnownNat n => GHC.Prim.Proxy# n -> Integer GHC.TypeLits.sameSymbol :: (GHC.TypeLits.KnownSymbol a, GHC.TypeLits.KnownSymbol b) => - Data.Proxy.Proxy a - -> Data.Proxy.Proxy b -> Maybe (a Data.Type.Equality.:~: b) + proxy1 a -> proxy2 b -> Maybe (a Data.Type.Equality.:~: b) GHC.TypeLits.someNatVal :: Integer -> Maybe GHC.TypeNats.SomeNat GHC.TypeLits.someSymbolVal :: String -> GHC.TypeLits.SomeSymbol GHC.TypeLits.symbolVal :: @@ -84,5 +83,4 @@ type (GHC.TypeNats.^) :: GHC.Types.Nat type family (GHC.TypeNats.^) a b GHC.TypeNats.sameNat :: (GHC.TypeNats.KnownNat a, GHC.TypeNats.KnownNat b) => - Data.Proxy.Proxy a - -> Data.Proxy.Proxy b -> Maybe (a Data.Type.Equality.:~: b) + proxy1 a -> proxy2 b -> Maybe (a Data.Type.Equality.:~: b) -- cgit v1.2.1