diff options
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/T5853.stderr')
| -rw-r--r-- | testsuite/tests/typecheck/should_fail/T5853.stderr | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/testsuite/tests/typecheck/should_fail/T5853.stderr b/testsuite/tests/typecheck/should_fail/T5853.stderr index 6fd62bb79b..5d42625796 100644 --- a/testsuite/tests/typecheck/should_fail/T5853.stderr +++ b/testsuite/tests/typecheck/should_fail/T5853.stderr @@ -9,7 +9,7 @@ T5853.hs:15:52: error: bound by the RULE "map/map" at T5853.hs:15:2-57 NB: ‘Subst’ is a non-injective type family • In the expression: (f . g) <$> xs - When checking the transformation rule "map/map" + When checking the rewrite rule "map/map" • Relevant bindings include f :: Elem fa -> b (bound at T5853.hs:15:19) g :: a -> Elem fa (bound at T5853.hs:15:21) |