summaryrefslogtreecommitdiff
path: root/testsuite/tests/ghci
diff options
context:
space:
mode:
Diffstat (limited to 'testsuite/tests/ghci')
-rw-r--r--testsuite/tests/ghci/scripts/T13963.script2
-rw-r--r--testsuite/tests/ghci/scripts/T15941.stdout2
-rw-r--r--testsuite/tests/ghci/scripts/T7627.stdout3
-rw-r--r--testsuite/tests/ghci/should_run/T16096.stdout4
-rw-r--r--testsuite/tests/ghci/should_run/T18594.stdout4
5 files changed, 7 insertions, 8 deletions
diff --git a/testsuite/tests/ghci/scripts/T13963.script b/testsuite/tests/ghci/scripts/T13963.script
index 030e8087a9..c5e830aad1 100644
--- a/testsuite/tests/ghci/scripts/T13963.script
+++ b/testsuite/tests/ghci/scripts/T13963.script
@@ -1,5 +1,5 @@
:set -XPolyKinds -XDataKinds -XRankNTypes
-import GHC.Exts (TYPE, RuntimeRep, LiftedRep)
+import GHC.Exts (TYPE, RuntimeRep(LiftedRep))
type Pair (a :: TYPE rep) (b :: TYPE rep') rep'' = forall (r :: TYPE rep''). (a -> b -> r)
:kind Pair
:kind Pair Int
diff --git a/testsuite/tests/ghci/scripts/T15941.stdout b/testsuite/tests/ghci/scripts/T15941.stdout
index 803aa9ebd0..f9e6d339f9 100644
--- a/testsuite/tests/ghci/scripts/T15941.stdout
+++ b/testsuite/tests/ghci/scripts/T15941.stdout
@@ -1,4 +1,4 @@
type T :: * -> * -> *
type T =
- (->) @{GHC.Types.LiftedRep} @{GHC.Types.LiftedRep} :: * -> * -> *
+ (->) @{'GHC.Types.LiftedRep} @{'GHC.Types.LiftedRep} :: * -> * -> *
-- Defined at <interactive>:2:1
diff --git a/testsuite/tests/ghci/scripts/T7627.stdout b/testsuite/tests/ghci/scripts/T7627.stdout
index 8967544004..b86ea432ff 100644
--- a/testsuite/tests/ghci/scripts/T7627.stdout
+++ b/testsuite/tests/ghci/scripts/T7627.stdout
@@ -38,8 +38,7 @@ type (#,#) :: *
-> *
-> TYPE
('GHC.Types.TupleRep
- '[ 'GHC.Types.BoxedRep 'GHC.Types.Lifted,
- 'GHC.Types.BoxedRep 'GHC.Types.Lifted])
+ '[ 'GHC.Types.LiftedRep, 'GHC.Types.LiftedRep])
data (#,#) a b = (#,#) a b
-- Defined in ‘GHC.Prim’
(,) :: a -> b -> (a, b)
diff --git a/testsuite/tests/ghci/should_run/T16096.stdout b/testsuite/tests/ghci/should_run/T16096.stdout
index 2749f06586..5826057d42 100644
--- a/testsuite/tests/ghci/should_run/T16096.stdout
+++ b/testsuite/tests/ghci/should_run/T16096.stdout
@@ -17,7 +17,7 @@ GHC.Base.returnIO
(GHC.Types.:
@()
(Unsafe.Coerce.unsafeCoerce#
- @GHC.Types.LiftedRep @GHC.Types.LiftedRep @[GHC.Types.Int] @() x)
+ @'GHC.Types.LiftedRep @'GHC.Types.LiftedRep @[GHC.Types.Int] @() x)
(GHC.Types.[] @()))
@@ -40,7 +40,7 @@ GHC.Base.returnIO
(GHC.Types.:
@()
(Unsafe.Coerce.unsafeCoerce#
- @GHC.Types.LiftedRep @GHC.Types.LiftedRep @[GHC.Types.Int] @() x)
+ @'GHC.Types.LiftedRep @'GHC.Types.LiftedRep @[GHC.Types.Int] @() x)
(GHC.Types.[] @()))
diff --git a/testsuite/tests/ghci/should_run/T18594.stdout b/testsuite/tests/ghci/should_run/T18594.stdout
index d3219de45e..9e2e79cd8b 100644
--- a/testsuite/tests/ghci/should_run/T18594.stdout
+++ b/testsuite/tests/ghci/should_run/T18594.stdout
@@ -8,8 +8,8 @@ instance Monad ((->) r) -- Defined in ‘GHC.Base’
instance Monoid b => Monoid (a -> b) -- Defined in ‘GHC.Base’
instance Semigroup b => Semigroup (a -> b) -- Defined in ‘GHC.Base’
type Type :: *
-type Type = TYPE LiftedRep
+type Type = TYPE 'LiftedRep
-- Defined in ‘GHC.Types’
type Type :: Type
-type Type = TYPE LiftedRep
+type Type = TYPE 'LiftedRep
-- Defined in ‘GHC.Types’