diff options
| author | Christiaan Baaij <christiaan.baaij@gmail.com> | 2021-06-24 19:39:51 +0200 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2021-09-17 09:35:18 -0400 |
| commit | 885f17c89919d21815365da71eb7f9c489e5bfa3 (patch) | |
| tree | f58aa1111ef2d229b3568a0ef00db6ec24ce8574 /testsuite/tests/ghci/scripts/T9181.stdout | |
| parent | 64923cf295ea914db458547432237a5ed1eff571 (diff) | |
| download | haskell-885f17c89919d21815365da71eb7f9c489e5bfa3.tar.gz | |
Improve error messages involving operators from Data.Type.Ord
Fixes #20009
Diffstat (limited to 'testsuite/tests/ghci/scripts/T9181.stdout')
| -rw-r--r-- | testsuite/tests/ghci/scripts/T9181.stdout | 32 |
1 files changed, 17 insertions, 15 deletions
diff --git a/testsuite/tests/ghci/scripts/T9181.stdout b/testsuite/tests/ghci/scripts/T9181.stdout index 89c18c2f6b..d6bfea3843 100644 --- a/testsuite/tests/ghci/scripts/T9181.stdout +++ b/testsuite/tests/ghci/scripts/T9181.stdout @@ -6,16 +6,6 @@ type family GHC.TypeLits.CharToNat a type GHC.TypeLits.ConsSymbol :: Char -> GHC.Types.Symbol -> GHC.Types.Symbol type family GHC.TypeLits.ConsSymbol a b -type GHC.TypeLits.ErrorMessage :: * -data GHC.TypeLits.ErrorMessage - = GHC.TypeLits.Text GHC.Types.Symbol - | forall t. GHC.TypeLits.ShowType t - | GHC.TypeLits.ErrorMessage - GHC.TypeLits.:<>: - GHC.TypeLits.ErrorMessage - | GHC.TypeLits.ErrorMessage - GHC.TypeLits.:$$: - GHC.TypeLits.ErrorMessage type GHC.TypeLits.KnownChar :: Char -> Constraint class GHC.TypeLits.KnownChar n where GHC.TypeLits.charSing :: GHC.TypeLits.SChar n @@ -36,9 +26,6 @@ data GHC.TypeLits.SomeSymbol = forall (n :: GHC.Types.Symbol). GHC.TypeLits.KnownSymbol n => GHC.TypeLits.SomeSymbol (Data.Proxy.Proxy n) -type GHC.TypeLits.TypeError :: forall b. - GHC.TypeLits.ErrorMessage -> b -type family GHC.TypeLits.TypeError a where type GHC.TypeLits.UnconsSymbol :: GHC.Types.Symbol -> Maybe (Char, GHC.Types.Symbol) type family GHC.TypeLits.UnconsSymbol a @@ -77,9 +64,11 @@ 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 (Data.Type.Ord.<=) :: forall {k}. k -> k -> Constraint +type (Data.Type.Ord.<=) :: forall {t}. t -> t -> Constraint type (Data.Type.Ord.<=) x y = - (x Data.Type.Ord.<=? y) ~ 'True :: Constraint + GHC.TypeError.Assert + (x Data.Type.Ord.<=? y) (Data.Type.Ord.LeErrMsg x y) + :: Constraint type (Data.Type.Ord.<=?) :: forall k. k -> k -> Bool type (Data.Type.Ord.<=?) m n = Data.Type.Ord.OrdCond @@ -96,6 +85,16 @@ 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 +type GHC.TypeError.ErrorMessage :: * +data GHC.TypeError.ErrorMessage + = GHC.TypeError.Text GHC.Types.Symbol + | forall t. GHC.TypeError.ShowType t + | GHC.TypeError.ErrorMessage + GHC.TypeError.:<>: + GHC.TypeError.ErrorMessage + | GHC.TypeError.ErrorMessage + GHC.TypeError.:$$: + GHC.TypeError.ErrorMessage type GHC.TypeNats.KnownNat :: GHC.TypeNats.Nat -> Constraint class GHC.TypeNats.KnownNat n where GHC.TypeNats.natSing :: GHC.TypeNats.SNat n @@ -131,6 +130,9 @@ data GHC.TypeNats.SomeNat GHC.TypeNats.SomeNat (Data.Proxy.Proxy n) type GHC.Types.Symbol :: * data GHC.Types.Symbol +type GHC.TypeError.TypeError :: forall b. + GHC.TypeError.ErrorMessage -> b +type family GHC.TypeError.TypeError a where type (GHC.TypeNats.^) :: GHC.Num.Natural.Natural -> GHC.Num.Natural.Natural -> GHC.Num.Natural.Natural type family (GHC.TypeNats.^) a b |