diff options
Diffstat (limited to 'testsuite/tests/polykinds/T7594.stderr')
| -rw-r--r-- | testsuite/tests/polykinds/T7594.stderr | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/testsuite/tests/polykinds/T7594.stderr b/testsuite/tests/polykinds/T7594.stderr new file mode 100644 index 0000000000..4be0b0a18f --- /dev/null +++ b/testsuite/tests/polykinds/T7594.stderr @@ -0,0 +1,19 @@ +h0 +h1 +h2 + +T7594.hs:25:11: + Couldn't match type `b' with `IO ()' + `b' is untouchable + inside the constraints ((:&:) Show Real a) + bound by a type expected by the context: + (:&:) Show Real a => a -> b + at T7594.hs:25:7-17 + `b' is a rigid type variable bound by + the inferred type of bar :: b at T7594.hs:25:1 + Expected type: a -> b + Actual type: a -> IO () + Relevant bindings include bar :: b (bound at T7594.hs:25:1) + In the first argument of `app', namely `print' + In the expression: app print q + In an equation for `bar': bar = app print q |