summaryrefslogtreecommitdiff
path: root/testsuite/tests/ghci/scripts
diff options
context:
space:
mode:
Diffstat (limited to 'testsuite/tests/ghci/scripts')
-rw-r--r--testsuite/tests/ghci/scripts/T4175.stdout10
-rw-r--r--testsuite/tests/ghci/scripts/T7627.stdout8
-rw-r--r--testsuite/tests/ghci/scripts/T7939.stdout19
-rw-r--r--testsuite/tests/ghci/scripts/T8535.stdout2
-rw-r--r--testsuite/tests/ghci/scripts/T9181.stdout18
-rw-r--r--testsuite/tests/ghci/scripts/ghci020.stdout2
6 files changed, 24 insertions, 35 deletions
diff --git a/testsuite/tests/ghci/scripts/T4175.stdout b/testsuite/tests/ghci/scripts/T4175.stdout
index ef5b5c69c1..e1ef925bea 100644
--- a/testsuite/tests/ghci/scripts/T4175.stdout
+++ b/testsuite/tests/ghci/scripts/T4175.stdout
@@ -1,6 +1,4 @@
-type family A a b
- Kind: * -> * -> *
- -- Defined at T4175.hs:7:1
+type family A a b :: * -- Defined at T4175.hs:7:1
type instance A (B a) b = () -- Defined at T4175.hs:10:15
type instance A (Maybe a) a = a -- Defined at T4175.hs:9:15
type instance A Int Int = () -- Defined at T4175.hs:8:15
@@ -9,13 +7,11 @@ instance G B -- Defined at T4175.hs:34:10
data instance B () = MkB -- Defined at T4175.hs:13:15
type instance A (B a) b = () -- Defined at T4175.hs:10:15
class C a where
- type family D a b
- Kind: * -> * -> *
+ type family D a b :: *
-- Defined at T4175.hs:16:5
type instance D () () = Bool -- Defined at T4175.hs:22:10
type instance D Int () = String -- Defined at T4175.hs:19:10
-type family E a
- Kind: * -> *
+type family E a :: *
where
E () = Bool
E Int = String
diff --git a/testsuite/tests/ghci/scripts/T7627.stdout b/testsuite/tests/ghci/scripts/T7627.stdout
index 4b16acc1a2..ee6dfa4f10 100644
--- a/testsuite/tests/ghci/scripts/T7627.stdout
+++ b/testsuite/tests/ghci/scripts/T7627.stdout
@@ -29,11 +29,11 @@ data (#,#) (c :: TYPE a) (d :: TYPE b) = (#,#) c d
-- Defined in ‘GHC.Prim’
(,) :: a -> b -> (a, b)
(#,#)
- :: forall (a :: GHC.Types.Levity) (b :: GHC.Types.Levity) (c :: TYPE
- a) (d :: TYPE b).
+ :: forall (a :: GHC.Types.RuntimeRep) (b :: GHC.Types.RuntimeRep) (c :: TYPE
+ a) (d :: TYPE b).
c -> d -> (# c, d #)
( , ) :: a -> b -> (a, b)
(# , #)
- :: forall (a :: GHC.Types.Levity) (b :: GHC.Types.Levity) (c :: TYPE
- a) (d :: TYPE b).
+ :: forall (a :: GHC.Types.RuntimeRep) (b :: GHC.Types.RuntimeRep) (c :: TYPE
+ a) (d :: TYPE b).
c -> d -> (# c, d #)
diff --git a/testsuite/tests/ghci/scripts/T7939.stdout b/testsuite/tests/ghci/scripts/T7939.stdout
index 1e6c5b7548..2b2c8b73ad 100644
--- a/testsuite/tests/ghci/scripts/T7939.stdout
+++ b/testsuite/tests/ghci/scripts/T7939.stdout
@@ -1,32 +1,25 @@
class Foo (a :: k) where
- type family Bar (a :: k) b
- Kind: forall k1. k1 -> * -> *
+ type family Bar (a :: k) b :: *
-- Defined at T7939.hs:6:4
Bar :: k -> * -> *
-type family F a
- Kind: * -> *
- -- Defined at T7939.hs:8:1
+type family F a :: * -- Defined at T7939.hs:8:1
type instance F Int = Bool -- Defined at T7939.hs:9:15
F :: * -> *
-type family G a
- Kind: * -> *
+type family G a :: *
where G Int = Bool
-- Defined at T7939.hs:11:1
G :: * -> *
-type family H (a :: Bool)
- Kind: Bool -> Bool
+type family H (a :: Bool) :: Bool
where H 'False = 'True
-- Defined at T7939.hs:14:1
H :: Bool -> Bool
-type family J (a :: [k])
- Kind: forall k1. [k1] -> Bool
+type family J (a :: [k]) :: Bool
where
[k] J k '[] = 'False
[k, (h :: k), (t :: [k])] J k (h : t) = 'True
-- Defined at T7939.hs:17:1
J :: [k] -> Bool
-type family K (a1 :: [a])
- Kind: forall a2. [a2] -> Maybe a2
+type family K (a1 :: [a]) :: Maybe a
where
[a] K a '[] = 'Nothing
[a, (h :: a), (t :: [a])] K a (h : t) = 'Just h
diff --git a/testsuite/tests/ghci/scripts/T8535.stdout b/testsuite/tests/ghci/scripts/T8535.stdout
index 2f35e23a77..6eb08cdfe4 100644
--- a/testsuite/tests/ghci/scripts/T8535.stdout
+++ b/testsuite/tests/ghci/scripts/T8535.stdout
@@ -1,4 +1,4 @@
-data (->) a b -- Defined in ‘GHC.Prim’
+data (->) t1 t2 -- Defined in ‘GHC.Prim’
infixr 0 `(->)`
instance Monad ((->) r) -- Defined in ‘GHC.Base’
instance Functor ((->) r) -- Defined in ‘GHC.Base’
diff --git a/testsuite/tests/ghci/scripts/T9181.stdout b/testsuite/tests/ghci/scripts/T9181.stdout
index 3482d54ba4..43bbbacd74 100644
--- a/testsuite/tests/ghci/scripts/T9181.stdout
+++ b/testsuite/tests/ghci/scripts/T9181.stdout
@@ -1,23 +1,23 @@
type family (GHC.TypeLits.*) (a :: GHC.Types.Nat)
(b :: GHC.Types.Nat)
- Kind: GHC.Types.Nat -> 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
+ :: 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
+ :: GHC.Types.Nat
type (GHC.TypeLits.<=) (x :: GHC.Types.Nat) (y :: GHC.Types.Nat) =
- (x GHC.TypeLits.<=? y) ~ 'True
+ (x GHC.TypeLits.<=? y) ~ 'True :: Constraint
type family (GHC.TypeLits.<=?) (a :: GHC.Types.Nat)
(b :: GHC.Types.Nat)
- Kind: GHC.Types.Nat -> GHC.Types.Nat -> Bool
+ :: Bool
type family GHC.TypeLits.CmpNat (a :: GHC.Types.Nat)
(b :: GHC.Types.Nat)
- Kind: GHC.Types.Nat -> GHC.Types.Nat -> Ordering
+ :: Ordering
type family GHC.TypeLits.CmpSymbol (a :: GHC.Types.Symbol)
(b :: GHC.Types.Symbol)
- Kind: GHC.Types.Symbol -> GHC.Types.Symbol -> Ordering
+ :: Ordering
data GHC.TypeLits.ErrorMessage where
GHC.TypeLits.Text :: GHC.Types.Symbol -> GHC.TypeLits.ErrorMessage
GHC.TypeLits.ShowType :: t -> GHC.TypeLits.ErrorMessage
@@ -38,10 +38,10 @@ 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
+ :: b
type family (GHC.TypeLits.^) (a :: GHC.Types.Nat)
(b :: GHC.Types.Nat)
- Kind: GHC.Types.Nat -> GHC.Types.Nat -> GHC.Types.Nat
+ :: GHC.Types.Nat
GHC.TypeLits.natVal ::
GHC.TypeLits.KnownNat n => proxy n -> Integer
GHC.TypeLits.natVal' ::
diff --git a/testsuite/tests/ghci/scripts/ghci020.stdout b/testsuite/tests/ghci/scripts/ghci020.stdout
index 2f35e23a77..6eb08cdfe4 100644
--- a/testsuite/tests/ghci/scripts/ghci020.stdout
+++ b/testsuite/tests/ghci/scripts/ghci020.stdout
@@ -1,4 +1,4 @@
-data (->) a b -- Defined in ‘GHC.Prim’
+data (->) t1 t2 -- Defined in ‘GHC.Prim’
infixr 0 `(->)`
instance Monad ((->) r) -- Defined in ‘GHC.Base’
instance Functor ((->) r) -- Defined in ‘GHC.Base’
View Lorry Controller Status