summaryrefslogtreecommitdiff
path: root/testsuite/tests/ghci/scripts/T13407.stdout
diff options
context:
space:
mode:
Diffstat (limited to 'testsuite/tests/ghci/scripts/T13407.stdout')
-rw-r--r--testsuite/tests/ghci/scripts/T13407.stdout3
1 files changed, 2 insertions, 1 deletions
diff --git a/testsuite/tests/ghci/scripts/T13407.stdout b/testsuite/tests/ghci/scripts/T13407.stdout
index 083f3a8b1f..85d73d9e89 100644
--- a/testsuite/tests/ghci/scripts/T13407.stdout
+++ b/testsuite/tests/ghci/scripts/T13407.stdout
@@ -1,3 +1,4 @@
type role Foo phantom phantom
-data Foo (a :: * -> *) (b :: k)
+type Foo :: (* -> *) -> forall k. k -> *
+data Foo a b
-- Defined at <interactive>:3:1