summaryrefslogtreecommitdiff
path: root/testsuite/tests/ghci/scripts/T5417.stdout
diff options
context:
space:
mode:
Diffstat (limited to 'testsuite/tests/ghci/scripts/T5417.stdout')
-rw-r--r--testsuite/tests/ghci/scripts/T5417.stdout6
1 files changed, 6 insertions, 0 deletions
diff --git a/testsuite/tests/ghci/scripts/T5417.stdout b/testsuite/tests/ghci/scripts/T5417.stdout
index ab2827730f..163a9236de 100644
--- a/testsuite/tests/ghci/scripts/T5417.stdout
+++ b/testsuite/tests/ghci/scripts/T5417.stdout
@@ -1,9 +1,15 @@
+type B1 :: * -> *
data B1 a = B1 a
data instance C.F (B1 a) = B2 a
+type D :: * -> *
data family D a
+type C.C1 :: * -> Constraint
class C.C1 a where
+ type C.F :: * -> *
data family C.F a
+type C.C1 :: * -> Constraint
class C.C1 a where
+ type C.F :: * -> *
data family C.F a
-- Defined at T5417a.hs:7:5
data instance C.F (B1 a) = B2 a -- Defined at T5417.hs:8:10