diff options
Diffstat (limited to 'testsuite/tests/ado/T13242a.stderr')
-rw-r--r-- | testsuite/tests/ado/T13242a.stderr | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/testsuite/tests/ado/T13242a.stderr b/testsuite/tests/ado/T13242a.stderr index 9e32035ebb..5e6bc9899d 100644 --- a/testsuite/tests/ado/T13242a.stderr +++ b/testsuite/tests/ado/T13242a.stderr @@ -1,7 +1,8 @@ T13242a.hs:10:5: error: • Couldn't match expected type ‘a0’ with actual type ‘a’ - ‘a’ is a rigid type variable bound by + because type variable ‘a’ would escape its scope + This (rigid, skolem) type variable is bound by a pattern with constructor: A :: forall a. Eq a => a -> T, in a pattern binding in a 'do' block |