summaryrefslogtreecommitdiff
path: root/testsuite/tests/dependent/should_fail/T17541.stderr
diff options
context:
space:
mode:
Diffstat (limited to 'testsuite/tests/dependent/should_fail/T17541.stderr')
-rw-r--r--testsuite/tests/dependent/should_fail/T17541.stderr4
1 files changed, 2 insertions, 2 deletions
diff --git a/testsuite/tests/dependent/should_fail/T17541.stderr b/testsuite/tests/dependent/should_fail/T17541.stderr
index 2321aee6ed..ed30993549 100644
--- a/testsuite/tests/dependent/should_fail/T17541.stderr
+++ b/testsuite/tests/dependent/should_fail/T17541.stderr
@@ -1,8 +1,8 @@
-T17541.hs:19:17: error:
+T17541.hs:19:17: error: [GHC-83865]
• 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
+ 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.