diff options
Diffstat (limited to 'testsuite/tests/partial-sigs/should_fail/T14479.stderr')
| -rw-r--r-- | testsuite/tests/partial-sigs/should_fail/T14479.stderr | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/testsuite/tests/partial-sigs/should_fail/T14479.stderr b/testsuite/tests/partial-sigs/should_fail/T14479.stderr new file mode 100644 index 0000000000..84ba90a572 --- /dev/null +++ b/testsuite/tests/partial-sigs/should_fail/T14479.stderr @@ -0,0 +1,10 @@ + +T14479.hs:9:5: error: + • Can't quantify over ‘b’ + bound by the partial type signature: g :: forall b. Num b => _ -> b + • In an equation for ‘foo’: + foo xxx + = g xxx + where + g :: forall b. Num b => _ -> b + g y = xxx + y |