diff options
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/T15527.stderr')
| -rw-r--r-- | testsuite/tests/typecheck/should_fail/T15527.stderr | 10 |
1 files changed, 7 insertions, 3 deletions
diff --git a/testsuite/tests/typecheck/should_fail/T15527.stderr b/testsuite/tests/typecheck/should_fail/T15527.stderr index dd03a0a0ca..2b764caef9 100644 --- a/testsuite/tests/typecheck/should_fail/T15527.stderr +++ b/testsuite/tests/typecheck/should_fail/T15527.stderr @@ -1,4 +1,8 @@ -T15527.hs:4:6: error: - Pattern syntax in expression context: (.)@Int - Did you mean to enable TypeApplications? +T15527.hs:4:10: error: + Variable not in scope: + (@) + :: ((b0 -> c0) -> (a0 -> b0) -> a0 -> c0) + -> t0 -> (Int -> Int) -> (Int -> Int) -> Int -> Int + +T15527.hs:4:11: error: Data constructor not in scope: Int |