diff options
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/T9260.stderr')
| -rw-r--r-- | testsuite/tests/typecheck/should_fail/T9260.stderr | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/testsuite/tests/typecheck/should_fail/T9260.stderr b/testsuite/tests/typecheck/should_fail/T9260.stderr index 2a6c0ac16c..5ee5ebfe45 100644 --- a/testsuite/tests/typecheck/should_fail/T9260.stderr +++ b/testsuite/tests/typecheck/should_fail/T9260.stderr @@ -1,5 +1,5 @@ -T9260.hs:12:14: error: +T9260.hs:12:14: error: [GHC-83865] • Couldn't match type ‘1’ with ‘0’ Expected: Fin 0 Actual: Fin (0 + 1) |