diff options
Diffstat (limited to 'testsuite/tests/polykinds/TidyClassKinds.stderr')
| -rw-r--r-- | testsuite/tests/polykinds/TidyClassKinds.stderr | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/testsuite/tests/polykinds/TidyClassKinds.stderr b/testsuite/tests/polykinds/TidyClassKinds.stderr new file mode 100644 index 0000000000..69ca49c188 --- /dev/null +++ b/testsuite/tests/polykinds/TidyClassKinds.stderr @@ -0,0 +1,8 @@ + +TidyClassKinds.hs:12:10: error: + • Illegal instance declaration for + ‘Poly (k1 -> *) (k1 -> *) (ProxySyn k1) (ProxySyn k1)’ + (All instance types must be of the form (T t1 ... tn) + where T is not a synonym. + Use TypeSynonymInstances if you want to disable this.) + • In the instance declaration for ‘Poly ProxySyn ProxySyn’ |