diff options
Diffstat (limited to 'testsuite/tests/polykinds/T21530a.stderr')
| -rw-r--r-- | testsuite/tests/polykinds/T21530a.stderr | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/testsuite/tests/polykinds/T21530a.stderr b/testsuite/tests/polykinds/T21530a.stderr new file mode 100644 index 0000000000..4d504ef901 --- /dev/null +++ b/testsuite/tests/polykinds/T21530a.stderr @@ -0,0 +1,8 @@ + +T21530a.hs:9:5: error: + • Couldn't match type: Eq a => a -> String + with: a -> String + Expected: (forall a. Show a => a -> String) -> String + Actual: (forall a. (Show a, Eq a) => a -> String) -> String + • In the expression: f + In an equation for ‘g’: g = f |