diff options
Diffstat (limited to 'testsuite/tests/ghci/scripts/ghci059.stdout')
-rw-r--r-- | testsuite/tests/ghci/scripts/ghci059.stdout | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/testsuite/tests/ghci/scripts/ghci059.stdout b/testsuite/tests/ghci/scripts/ghci059.stdout index 7e734f1ccc..2fc93e6de5 100644 --- a/testsuite/tests/ghci/scripts/ghci059.stdout +++ b/testsuite/tests/ghci/scripts/ghci059.stdout @@ -1,7 +1,8 @@ {- Coercible is a special constraint with custom solving rules. It is not a class. -Please see section 9.14.4 of the user's guide for details. +Please see section `The Coercible constraint` +of the user's guide for details. -} type role Coercible representational representational class Coercible a b => Coercible (a :: k) (b :: k) |