diff options
Diffstat (limited to 'testsuite/tests/indexed-types/should_fail/T15870.stderr')
| -rw-r--r-- | testsuite/tests/indexed-types/should_fail/T15870.stderr | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/testsuite/tests/indexed-types/should_fail/T15870.stderr b/testsuite/tests/indexed-types/should_fail/T15870.stderr index ced646a276..35bc2a43b9 100644 --- a/testsuite/tests/indexed-types/should_fail/T15870.stderr +++ b/testsuite/tests/indexed-types/should_fail/T15870.stderr @@ -3,7 +3,7 @@ T15870.hs:32:34: error: [GHC-25897] • Couldn't match kind ‘k’ with ‘*’ Expected kind ‘Optic @{k} a’, but ‘g2’ has kind ‘Optic @{*} b’ ‘k’ is a rigid type variable bound by - the instance declaration + a family instance declaration at T15870.hs:(27,1)-(32,35) • In the second argument of ‘Get’, namely ‘g2’ In the type ‘Get a g2’ |