diff options
Diffstat (limited to 'testsuite/tests/dependent/should_fail/T17541.stderr')
| -rw-r--r-- | testsuite/tests/dependent/should_fail/T17541.stderr | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/testsuite/tests/dependent/should_fail/T17541.stderr b/testsuite/tests/dependent/should_fail/T17541.stderr index e17206c734..d0ea673a2b 100644 --- a/testsuite/tests/dependent/should_fail/T17541.stderr +++ b/testsuite/tests/dependent/should_fail/T17541.stderr @@ -1,7 +1,8 @@ T17541.hs:20:17: error: - • Expected kind ‘TYPE (Rep rep)’, - but ‘Int#’ has kind ‘TYPE 'IntRep’ + • Couldn't match kind ‘Rep rep’ with ‘'IntRep’ + Expected kind ‘TYPE (Rep rep)’, but ‘Int#’ has kind ‘TYPE 'IntRep’ + The type variable ‘rep’ is ambiguous • In the type ‘Int#’ In the type family declaration for ‘Unboxed’ NB: Type ‘Unboxed’ was inferred to use visible dependent quantification. |