diff options
| author | Oleg Grenrus <oleg.grenrus@iki.fi> | 2017-02-01 22:49:17 -0500 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2017-02-01 23:37:47 -0500 |
| commit | 1fcede43d2b30f33b7505e25eb6b1f321be0407f (patch) | |
| tree | 9c206c94aa567b0a8d53cc65156666c26030d955 /testsuite/tests/ghci/scripts/T9181.stdout | |
| parent | f5b275a239d2554c4da0b7621211642bf3b10650 (diff) | |
| download | haskell-1fcede43d2b30f33b7505e25eb6b1f321be0407f.tar.gz | |
Introduce GHC.TypeNats module, change KnownNat evidence to be Natural
Reviewers: dfeuer, austin, hvr, bgamari
Reviewed By: bgamari
Subscribers: thomie
Differential Revision: https://phabricator.haskell.org/D3024
GHC Trac Issues: #13181
Diffstat (limited to 'testsuite/tests/ghci/scripts/T9181.stdout')
| -rw-r--r-- | testsuite/tests/ghci/scripts/T9181.stdout | 26 |
1 files changed, 13 insertions, 13 deletions
diff --git a/testsuite/tests/ghci/scripts/T9181.stdout b/testsuite/tests/ghci/scripts/T9181.stdout index 2e149d31d2..3894125696 100644 --- a/testsuite/tests/ghci/scripts/T9181.stdout +++ b/testsuite/tests/ghci/scripts/T9181.stdout @@ -28,15 +28,9 @@ data GHC.TypeLits.ErrorMessage where -> GHC.TypeLits.ErrorMessage -> GHC.TypeLits.ErrorMessage (GHC.TypeLits.:$$:) :: GHC.TypeLits.ErrorMessage -> GHC.TypeLits.ErrorMessage -> GHC.TypeLits.ErrorMessage -class GHC.TypeLits.KnownNat (n :: GHC.Types.Nat) where - GHC.TypeLits.natSing :: GHC.TypeLits.SNat n - {-# MINIMAL natSing #-} class GHC.TypeLits.KnownSymbol (n :: GHC.Types.Symbol) where GHC.TypeLits.symbolSing :: GHC.TypeLits.SSymbol n {-# MINIMAL symbolSing #-} -data GHC.TypeLits.SomeNat where - GHC.TypeLits.SomeNat :: GHC.TypeLits.KnownNat n => - (Data.Proxy.Proxy n) -> GHC.TypeLits.SomeNat data GHC.TypeLits.SomeSymbol where GHC.TypeLits.SomeSymbol :: GHC.TypeLits.KnownSymbol n => (Data.Proxy.Proxy n) -> GHC.TypeLits.SomeSymbol @@ -46,22 +40,28 @@ type family (GHC.TypeLits.^) (a :: GHC.Types.Nat) (b :: GHC.Types.Nat) :: GHC.Types.Nat GHC.TypeLits.natVal :: - GHC.TypeLits.KnownNat n => proxy n -> Integer + GHC.TypeNats.KnownNat n => proxy n -> Integer GHC.TypeLits.natVal' :: - GHC.TypeLits.KnownNat n => GHC.Prim.Proxy# n -> Integer -GHC.TypeLits.sameNat :: - (GHC.TypeLits.KnownNat a, GHC.TypeLits.KnownNat b) => - Data.Proxy.Proxy a - -> Data.Proxy.Proxy b -> Maybe (a Data.Type.Equality.:~: b) + 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) -GHC.TypeLits.someNatVal :: Integer -> Maybe GHC.TypeLits.SomeNat +GHC.TypeLits.someNatVal :: Integer -> Maybe GHC.TypeNats.SomeNat GHC.TypeLits.someSymbolVal :: String -> GHC.TypeLits.SomeSymbol GHC.TypeLits.symbolVal :: GHC.TypeLits.KnownSymbol n => proxy n -> String GHC.TypeLits.symbolVal' :: GHC.TypeLits.KnownSymbol n => GHC.Prim.Proxy# n -> String +class GHC.TypeNats.KnownNat (n :: GHC.Types.Nat) where + GHC.TypeNats.natSing :: GHC.TypeNats.SNat n + {-# MINIMAL natSing #-} data GHC.Types.Nat +data GHC.TypeNats.SomeNat where + GHC.TypeNats.SomeNat :: GHC.TypeNats.KnownNat n => + (Data.Proxy.Proxy n) -> GHC.TypeNats.SomeNat data GHC.Types.Symbol +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) |