diff options
Diffstat (limited to 'testsuite/tests/gadt/T15558.stderr')
| -rw-r--r-- | testsuite/tests/gadt/T15558.stderr | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/testsuite/tests/gadt/T15558.stderr b/testsuite/tests/gadt/T15558.stderr index ee70f0373b..e3223fb7a3 100644 --- a/testsuite/tests/gadt/T15558.stderr +++ b/testsuite/tests/gadt/T15558.stderr @@ -1,9 +1,9 @@ T15558.hs:11:15: warning: [-Winaccessible-code (in -Wdefault)] - • Couldn't match type ‘Int’ with ‘Bool’ - Inaccessible code in + • Inaccessible code in a type expected by the context: (a ~ Bool) => () + Couldn't match type ‘Int’ with ‘Bool’ • In the first argument of ‘MkFoo’, namely ‘()’ In the expression: MkFoo () In an equation for ‘f’: f MkT = MkFoo () |