diff options
Diffstat (limited to 'testsuite/tests/indexed-types/should_fail/SimpleFail15.stderr')
-rw-r--r-- | testsuite/tests/indexed-types/should_fail/SimpleFail15.stderr | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/testsuite/tests/indexed-types/should_fail/SimpleFail15.stderr b/testsuite/tests/indexed-types/should_fail/SimpleFail15.stderr index 1b1d03c2e5..c54ba1697d 100644 --- a/testsuite/tests/indexed-types/should_fail/SimpleFail15.stderr +++ b/testsuite/tests/indexed-types/should_fail/SimpleFail15.stderr @@ -2,5 +2,5 @@ SimpleFail15.hs:5:8: Illegal polymorphic or qualified type: a ~ b => t Perhaps you intended to use RankNTypes or Rank2Types - In the type signature for ‛foo’: + In the type signature for ‘foo’: foo :: (a, b) -> (a ~ b => t) -> (a, b) |