diff options
Diffstat (limited to 'testsuite/tests/typecheck/should_compile/ExPatFail.stderr')
| -rw-r--r-- | testsuite/tests/typecheck/should_compile/ExPatFail.stderr | 28 |
1 files changed, 14 insertions, 14 deletions
diff --git a/testsuite/tests/typecheck/should_compile/ExPatFail.stderr b/testsuite/tests/typecheck/should_compile/ExPatFail.stderr index afae403614..696bff740d 100644 --- a/testsuite/tests/typecheck/should_compile/ExPatFail.stderr +++ b/testsuite/tests/typecheck/should_compile/ExPatFail.stderr @@ -1,14 +1,14 @@ -
-ExPatFail.hs:12:15: error:
- • Couldn't match expected type ‘t’ with actual type ‘a’
- because type variable ‘a’ would escape its scope
- This (rigid, skolem) type variable is bound by
- a pattern with constructor:
- MkT :: forall a. Integral a => a -> Int -> T,
- in a pattern binding
- at ExPatFail.hs:12:11-17
- • In the pattern: MkT y _
- In a pattern binding: MkT y _ = x
- In the expression: let MkT y _ = x in y
- • Relevant bindings include
- f :: T -> t (bound at ExPatFail.hs:12:1)
+ +ExPatFail.hs:12:15: error: + • Couldn't match expected type ‘t’ with actual type ‘a’ + because type variable ‘a’ would escape its scope + This (rigid, skolem) type variable is bound by + a pattern with constructor: + MkT :: forall a. Integral a => a -> Int -> T, + in a pattern binding + at ExPatFail.hs:12:11-17 + • In the pattern: MkT y _ + In a pattern binding: MkT y _ = x + In the expression: let MkT y _ = x in y + • Relevant bindings include + f :: T -> t (bound at ExPatFail.hs:12:1) |