Error msg wibbles from reduced module prefixes

1 files changed, 29 insertions, 54 deletions

diff --git a/testsuite/tests/ghci/scripts/T9181.stdout b/testsuite/tests/ghci/scripts/T9181.stdout
index e1ac00cc83..6b67785d0b 100644
--- a/testsuite/tests/ghci/scripts/T9181.stdout
+++ b/testsuite/tests/ghci/scripts/T9181.stdout
@@ -1,54 +1,29 @@
-type family (GHC.TypeLits.*) (a :: GHC.TypeLits.Nat)
-                             (b :: GHC.TypeLits.Nat) ::
-  GHC.TypeLits.Nat
-type family (GHC.TypeLits.+) (a :: GHC.TypeLits.Nat)
-                             (b :: GHC.TypeLits.Nat) ::
-  GHC.TypeLits.Nat
-type family (GHC.TypeLits.-) (a :: GHC.TypeLits.Nat)
-                             (b :: GHC.TypeLits.Nat) ::
-  GHC.TypeLits.Nat
-type (GHC.TypeLits.<=) (x :: GHC.TypeLits.Nat)
-                       (y :: GHC.TypeLits.Nat) =
-  (x GHC.TypeLits.<=? y) ~ 'True
-type family (GHC.TypeLits.<=?) (a :: GHC.TypeLits.Nat)
-                               (b :: GHC.TypeLits.Nat) ::
-  Bool
-type family GHC.TypeLits.CmpNat (a :: GHC.TypeLits.Nat)
-                                (b :: GHC.TypeLits.Nat) ::
-  Ordering
-type family GHC.TypeLits.CmpSymbol (a :: GHC.TypeLits.Symbol)
-                                   (b :: GHC.TypeLits.Symbol) ::
-  Ordering
-class GHC.TypeLits.KnownNat (n :: GHC.TypeLits.Nat) where
-  GHC.TypeLits.natSing :: GHC.TypeLits.SNat n
-class GHC.TypeLits.KnownSymbol (n :: GHC.TypeLits.Symbol) where
-  GHC.TypeLits.symbolSing :: GHC.TypeLits.SSymbol n
-data GHC.TypeLits.Nat
-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
-data GHC.TypeLits.Symbol
-type family (GHC.TypeLits.^) (a :: GHC.TypeLits.Nat)
-                             (b :: GHC.TypeLits.Nat) ::
-  GHC.TypeLits.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
+type family (*) (a :: Nat) (b :: Nat) :: Nat

+type family (+) (a :: Nat) (b :: Nat) :: Nat

+type family (-) (a :: Nat) (b :: Nat) :: Nat

+type (<=) (x :: Nat) (y :: Nat) = (x <=? y) ~ 'True

+type family (<=?) (a :: Nat) (b :: Nat) :: Bool

+type family CmpNat (a :: Nat) (b :: Nat) :: Ordering

+type family CmpSymbol (a :: Symbol) (b :: Symbol) :: Ordering

+class KnownNat (n :: Nat) where

+  natSing :: SNat n

+class KnownSymbol (n :: Symbol) where

+  symbolSing :: SSymbol n

+data Nat

+data SomeNat where

+  SomeNat :: KnownNat n => (Proxy n) -> SomeNat

+data SomeSymbol where

+  SomeSymbol :: KnownSymbol n => (Proxy n) -> SomeSymbol

+data Symbol

+type family (^) (a :: Nat) (b :: 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