diff options
Diffstat (limited to 'testsuite/tests/ghci/scripts/T9181.stdout')
| -rw-r--r-- | testsuite/tests/ghci/scripts/T9181.stdout | 52 |
1 files changed, 37 insertions, 15 deletions
diff --git a/testsuite/tests/ghci/scripts/T9181.stdout b/testsuite/tests/ghci/scripts/T9181.stdout index d4e869f073..8ca20e265d 100644 --- a/testsuite/tests/ghci/scripts/T9181.stdout +++ b/testsuite/tests/ghci/scripts/T9181.stdout @@ -1,11 +1,6 @@ type GHC.TypeLits.AppendSymbol :: GHC.Types.Symbol -> GHC.Types.Symbol -> GHC.Types.Symbol type family GHC.TypeLits.AppendSymbol a b -type GHC.TypeLits.CmpChar :: Char -> Char -> Ordering -type family GHC.TypeLits.CmpChar a b -type GHC.TypeLits.CmpSymbol :: GHC.Types.Symbol - -> GHC.Types.Symbol -> Ordering -type family GHC.TypeLits.CmpSymbol a b type GHC.TypeLits.ConsSymbol :: Char -> GHC.Types.Symbol -> GHC.Types.Symbol type family GHC.TypeLits.ConsSymbol a b @@ -46,6 +41,12 @@ type family GHC.TypeLits.UnconsSymbol a GHC.TypeLits.charVal :: GHC.TypeLits.KnownChar n => proxy n -> Char GHC.TypeLits.charVal' :: GHC.TypeLits.KnownChar n => GHC.Prim.Proxy# n -> Char +GHC.TypeLits.cmpChar :: + (GHC.TypeLits.KnownChar a, GHC.TypeLits.KnownChar b) => + proxy1 a -> proxy2 b -> Data.Type.Ord.OrderingI a b +GHC.TypeLits.cmpSymbol :: + (GHC.TypeLits.KnownSymbol a, GHC.TypeLits.KnownSymbol b) => + proxy1 a -> proxy2 b -> Data.Type.Ord.OrderingI a b GHC.TypeLits.natVal :: GHC.TypeNats.KnownNat n => proxy n -> Integer GHC.TypeLits.natVal' :: @@ -72,16 +73,22 @@ type family (GHC.TypeNats.+) a b type (GHC.TypeNats.-) :: GHC.Num.Natural.Natural -> GHC.Num.Natural.Natural -> GHC.Num.Natural.Natural type family (GHC.TypeNats.-) a b -type (GHC.TypeNats.<=) :: GHC.Num.Natural.Natural - -> GHC.Num.Natural.Natural -> Constraint -type (GHC.TypeNats.<=) x y = - (x GHC.TypeNats.<=? y) ~ 'True :: Constraint -type (GHC.TypeNats.<=?) :: GHC.Num.Natural.Natural - -> GHC.Num.Natural.Natural -> Bool -type family (GHC.TypeNats.<=?) a b -type GHC.TypeNats.CmpNat :: GHC.Num.Natural.Natural - -> GHC.Num.Natural.Natural -> Ordering -type family GHC.TypeNats.CmpNat a b +type (Data.Type.Ord.<=) :: forall {k}. k -> k -> Constraint +type (Data.Type.Ord.<=) x y = + (x Data.Type.Ord.<=? y) ~ 'True :: Constraint +type (Data.Type.Ord.<=?) :: forall k. k -> k -> Bool +type (Data.Type.Ord.<=?) m n = + Data.Type.Ord.OrdCond + (Data.Type.Ord.Compare m n) 'True 'True 'False + :: Bool +type GHC.TypeLits.Internal.CmpChar :: Char -> Char -> Ordering +type family GHC.TypeLits.Internal.CmpChar a b +type GHC.TypeNats.Internal.CmpNat :: GHC.Num.Natural.Natural + -> GHC.Num.Natural.Natural -> Ordering +type family GHC.TypeNats.Internal.CmpNat a b +type GHC.TypeLits.Internal.CmpSymbol :: GHC.Types.Symbol + -> GHC.Types.Symbol -> Ordering +type family GHC.TypeLits.Internal.CmpSymbol a b type GHC.TypeNats.Div :: GHC.Num.Natural.Natural -> GHC.Num.Natural.Natural -> GHC.Num.Natural.Natural type family GHC.TypeNats.Div a b @@ -101,6 +108,18 @@ type GHC.Num.Natural.Natural :: * data GHC.Num.Natural.Natural = GHC.Num.Natural.NS GHC.Prim.Word# | GHC.Num.Natural.NB GHC.Prim.ByteArray# +type role Data.Type.Ord.OrderingI nominal nominal +type Data.Type.Ord.OrderingI :: forall {k}. k -> k -> * +data Data.Type.Ord.OrderingI a b where + Data.Type.Ord.LTI :: forall {k} (a :: k) (b :: k). + (Data.Type.Ord.Compare a b ~ 'LT) => + Data.Type.Ord.OrderingI a b + Data.Type.Ord.EQI :: forall {k} (a :: k). + (Data.Type.Ord.Compare a a ~ 'EQ) => + Data.Type.Ord.OrderingI a a + Data.Type.Ord.GTI :: forall {k} (a :: k) (b :: k). + (Data.Type.Ord.Compare a b ~ 'GT) => + Data.Type.Ord.OrderingI a b type GHC.TypeNats.SomeNat :: * data GHC.TypeNats.SomeNat = forall (n :: GHC.TypeNats.Nat). @@ -111,6 +130,9 @@ data GHC.Types.Symbol type (GHC.TypeNats.^) :: GHC.Num.Natural.Natural -> GHC.Num.Natural.Natural -> GHC.Num.Natural.Natural type family (GHC.TypeNats.^) a b +GHC.TypeNats.cmpNat :: + (GHC.TypeNats.KnownNat a, GHC.TypeNats.KnownNat b) => + proxy1 a -> proxy2 b -> Data.Type.Ord.OrderingI a b GHC.TypeNats.sameNat :: (GHC.TypeNats.KnownNat a, GHC.TypeNats.KnownNat b) => proxy1 a -> proxy2 b -> Maybe (a Data.Type.Equality.:~: b) |