diff options
Diffstat (limited to 'testsuite/tests/dependent/should_fail/T13135_simple.stderr')
| -rw-r--r-- | testsuite/tests/dependent/should_fail/T13135_simple.stderr | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/testsuite/tests/dependent/should_fail/T13135_simple.stderr b/testsuite/tests/dependent/should_fail/T13135_simple.stderr new file mode 100644 index 0000000000..52b1e848c0 --- /dev/null +++ b/testsuite/tests/dependent/should_fail/T13135_simple.stderr @@ -0,0 +1,8 @@ + +T13135_simple.hs:34:11: error: + • Couldn't match type ‘SmartFun sig’ with ‘Bool’ + Expected: Int -> Bool + Actual: SmartFun ('SigFun Int sig) + The type variable ‘sig’ is ambiguous + • In the expression: smartSym + In an equation for ‘problem’: problem = smartSym |