summaryrefslogtreecommitdiff
path: root/testsuite/tests/ghci/scripts/ghci025.stdout
diff options
context:
space:
mode:
Diffstat (limited to 'testsuite/tests/ghci/scripts/ghci025.stdout')
-rw-r--r--testsuite/tests/ghci/scripts/ghci025.stdout6
1 files changed, 3 insertions, 3 deletions
diff --git a/testsuite/tests/ghci/scripts/ghci025.stdout b/testsuite/tests/ghci/scripts/ghci025.stdout
index 3531825a97..8c6c0ad18b 100644
--- a/testsuite/tests/ghci/scripts/ghci025.stdout
+++ b/testsuite/tests/ghci/scripts/ghci025.stdout
@@ -11,7 +11,7 @@ class C a b
...
c1 :: (C a b, N b) => a -> b
c2 :: (C a b, N b, S b) => a -> b
-c3 :: C a b => a -> b
+c3 :: C a b => a1 -> b
c4 :: C a b => a1 -> b
-- imported via Control.Monad
type MonadPlus :: (* -> *) -> Constraint
@@ -66,7 +66,7 @@ class C a b
...
c1 :: (C a b, N b) => a -> b
c2 :: (C a b, N b, S b) => a -> b
-c3 :: C a b => a -> b
+c3 :: C a b => a1 -> b
c4 :: C a b => a1 -> b
:browse! T -- with -fprint-explicit-foralls
-- defined locally
@@ -80,7 +80,7 @@ class C a b
...
c1 :: forall a b. (C a b, N b) => a -> b
c2 :: forall a b. (C a b, N b, S b) => a -> b
-c3 :: forall a b a. C a b => a -> b
+c3 :: forall a b a1. C a b => a1 -> b
c4 :: forall a b a1. C a b => a1 -> b
-- test :browse! <target> relative to different contexts
:browse! Ghci025C -- from *Ghci025C>