diff options
Diffstat (limited to 'testsuite/tests/ghci/scripts/T9181.stdout')
| -rw-r--r-- | testsuite/tests/ghci/scripts/T9181.stdout | 105 |
1 files changed, 62 insertions, 43 deletions
diff --git a/testsuite/tests/ghci/scripts/T9181.stdout b/testsuite/tests/ghci/scripts/T9181.stdout index 0e9913966f..3482d54ba4 100644 --- a/testsuite/tests/ghci/scripts/T9181.stdout +++ b/testsuite/tests/ghci/scripts/T9181.stdout @@ -1,45 +1,64 @@ -type family (*) (a :: Nat) (b :: Nat) - Kind: Nat -> Nat -> Nat -type family (+) (a :: Nat) (b :: Nat) - Kind: Nat -> Nat -> Nat -type family (-) (a :: Nat) (b :: Nat) - Kind: Nat -> Nat -> Nat -type (<=) (x :: Nat) (y :: Nat) = (x <=? y) ~ 'True -type family (<=?) (a :: Nat) (b :: Nat) - Kind: Nat -> Nat -> Bool -type family CmpNat (a :: Nat) (b :: Nat) - Kind: Nat -> Nat -> Ordering -type family CmpSymbol (a :: Symbol) (b :: Symbol) - Kind: Symbol -> Symbol -> Ordering -data ErrorMessage where - Text :: Symbol -> ErrorMessage - ShowType :: t -> ErrorMessage - (:<>:) :: ErrorMessage -> ErrorMessage -> ErrorMessage - (:$$:) :: ErrorMessage -> ErrorMessage -> ErrorMessage -class KnownNat (n :: Nat) where - natSing :: SNat n +type family (GHC.TypeLits.*) (a :: GHC.Types.Nat) + (b :: GHC.Types.Nat) + Kind: GHC.Types.Nat -> GHC.Types.Nat -> GHC.Types.Nat +type family (GHC.TypeLits.+) (a :: GHC.Types.Nat) + (b :: GHC.Types.Nat) + Kind: GHC.Types.Nat -> GHC.Types.Nat -> GHC.Types.Nat +type family (GHC.TypeLits.-) (a :: GHC.Types.Nat) + (b :: GHC.Types.Nat) + Kind: GHC.Types.Nat -> GHC.Types.Nat -> GHC.Types.Nat +type (GHC.TypeLits.<=) (x :: GHC.Types.Nat) (y :: GHC.Types.Nat) = + (x GHC.TypeLits.<=? y) ~ 'True +type family (GHC.TypeLits.<=?) (a :: GHC.Types.Nat) + (b :: GHC.Types.Nat) + Kind: GHC.Types.Nat -> GHC.Types.Nat -> Bool +type family GHC.TypeLits.CmpNat (a :: GHC.Types.Nat) + (b :: GHC.Types.Nat) + Kind: GHC.Types.Nat -> GHC.Types.Nat -> Ordering +type family GHC.TypeLits.CmpSymbol (a :: GHC.Types.Symbol) + (b :: GHC.Types.Symbol) + Kind: GHC.Types.Symbol -> GHC.Types.Symbol -> Ordering +data GHC.TypeLits.ErrorMessage where + GHC.TypeLits.Text :: GHC.Types.Symbol -> GHC.TypeLits.ErrorMessage + GHC.TypeLits.ShowType :: t -> GHC.TypeLits.ErrorMessage + (GHC.TypeLits.:<>:) :: GHC.TypeLits.ErrorMessage + -> 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 KnownSymbol (n :: Symbol) where - symbolSing :: SSymbol n +class GHC.TypeLits.KnownSymbol (n :: GHC.Types.Symbol) where + GHC.TypeLits.symbolSing :: GHC.TypeLits.SSymbol n {-# MINIMAL symbolSing #-} -data SomeNat where - SomeNat :: KnownNat n => (Proxy n) -> SomeNat -data SomeSymbol where - SomeSymbol :: KnownSymbol n => (Proxy n) -> SomeSymbol -type family TypeError (a :: ErrorMessage) - Kind: forall b1. ErrorMessage -> b1 -type family (^) (a :: Nat) (b :: Nat) - Kind: Nat -> Nat -> Nat -natVal :: KnownNat n => proxy n -> Integer -natVal' :: KnownNat n => Proxy# n -> Integer -sameNat :: - (KnownNat a, KnownNat b) => Proxy a -> Proxy b -> Maybe (a :~: b) -sameSymbol :: - (KnownSymbol a, KnownSymbol b) => - Proxy a -> Proxy b -> Maybe (a :~: b) -someNatVal :: Integer -> Maybe SomeNat -someSymbolVal :: String -> SomeSymbol -symbolVal :: KnownSymbol n => proxy n -> String -symbolVal' :: KnownSymbol n => Proxy# n -> String -data Nat -data Symbol +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 +type family GHC.TypeLits.TypeError (a :: GHC.TypeLits.ErrorMessage) + Kind: forall b1. GHC.TypeLits.ErrorMessage -> b1 +type family (GHC.TypeLits.^) (a :: GHC.Types.Nat) + (b :: GHC.Types.Nat) + Kind: GHC.Types.Nat -> GHC.Types.Nat -> GHC.Types.Nat +GHC.TypeLits.natVal :: + GHC.TypeLits.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.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.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 +data GHC.Types.Nat +data GHC.Types.Symbol |