diff options
Diffstat (limited to 'testsuite/tests/polykinds/T7939a.stderr')
| -rw-r--r-- | testsuite/tests/polykinds/T7939a.stderr | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/testsuite/tests/polykinds/T7939a.stderr b/testsuite/tests/polykinds/T7939a.stderr index 22388ddca0..4b24b3dc72 100644 --- a/testsuite/tests/polykinds/T7939a.stderr +++ b/testsuite/tests/polykinds/T7939a.stderr @@ -1,7 +1,6 @@ T7939a.hs:7:5: Expecting one more argument to ‘Maybe’ - The first argument of ‘F’ should have kind ‘*’, - but ‘Maybe’ has kind ‘* -> *’ - In the type ‘Maybe’ + Expected a type, but ‘Maybe’ has kind ‘* -> *’ + In the first argument of ‘F’, namely ‘Maybe’ In the type family declaration for ‘F’ |