diff options
Diffstat (limited to 'testsuite/tests/unsatisfiable/UnsatisfiableFail4.stderr')
| -rw-r--r-- | testsuite/tests/unsatisfiable/UnsatisfiableFail4.stderr | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/testsuite/tests/unsatisfiable/UnsatisfiableFail4.stderr b/testsuite/tests/unsatisfiable/UnsatisfiableFail4.stderr new file mode 100644 index 0000000000..5ce4735a42 --- /dev/null +++ b/testsuite/tests/unsatisfiable/UnsatisfiableFail4.stderr @@ -0,0 +1,22 @@ + +UnsatisfiableFail4.hs:12:27: error: [GHC-83865] + • Expecting one more argument to ‘Maybe’ + Expected a type, but ‘Maybe’ has kind ‘* -> *’ + • In the first argument of ‘Maybe’, namely ‘Maybe’ + In the type signature: y :: Maybe Maybe + In the expression: + let + y :: Maybe Maybe + y = unsatisfiable + in unsatisfiable + +UnsatisfiableFail4.hs:18:27: error: [GHC-83865] + • Expecting one more argument to ‘Maybe’ + Expected a type, but ‘Maybe’ has kind ‘* -> *’ + • In the first argument of ‘Maybe’, namely ‘Maybe’ + In the type signature: y :: _ => Maybe Maybe + In the expression: + let + y :: _ => Maybe Maybe + y = unsatisfiable + in unsatisfiable |