diff options
Diffstat (limited to 'testsuite/tests/patsyn/should_fail/T15685.stderr')
| -rw-r--r-- | testsuite/tests/patsyn/should_fail/T15685.stderr | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/testsuite/tests/patsyn/should_fail/T15685.stderr b/testsuite/tests/patsyn/should_fail/T15685.stderr index 723d0fcff3..643457540e 100644 --- a/testsuite/tests/patsyn/should_fail/T15685.stderr +++ b/testsuite/tests/patsyn/should_fail/T15685.stderr @@ -3,8 +3,8 @@ T15685.hs:13:24: error: ⢠Could not deduce: k ~ [k0] from the context: as ~ (a : as1) bound by a pattern with constructor: - Here :: forall {k} (f :: k -> *) (a :: k) (as :: [k]). - f a -> NS f (a : as), + Here :: forall {a1} (f :: a1 -> *) (a2 :: a1) (as :: [a1]). + f a2 -> NS f (a2 : as), in a pattern synonym declaration at T15685.hs:13:19-26 âkâ is a rigid type variable bound by |