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 /testsuite/tests/ghci/scripts | |
| parent | a2b535d9ef8864b2d314c739a0e788a6df911aaf (diff) | |
| download | haskell-4e47217f85b2006f03e72d0a550fe2cca26cfd93.tar.gz | |
Make sameNat and sameSymbol proxy-polymorphic
Diffstat (limited to 'testsuite/tests/ghci/scripts')
| -rw-r--r-- | testsuite/tests/ghci/scripts/T9181.stdout | 6 |
1 files changed, 2 insertions, 4 deletions
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) |