diff options
Diffstat (limited to 'testsuite/tests/polykinds/T11648b.stderr')
| -rw-r--r-- | testsuite/tests/polykinds/T11648b.stderr | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/testsuite/tests/polykinds/T11648b.stderr b/testsuite/tests/polykinds/T11648b.stderr new file mode 100644 index 0000000000..e709e006b0 --- /dev/null +++ b/testsuite/tests/polykinds/T11648b.stderr @@ -0,0 +1,8 @@ + +T11648b.hs:7:1: error: + You have written a *complete user-suppled kind signature*, + but the following variable is undetermined: k0 :: * + Perhaps add a kind signature. + Inferred kinds of user-written variables: + k :: k0 + a :: Proxy k |