full tests for issue GHC#23279
This MR adds full tests for issue #23279 (closed) related to the lack of emitting of DEPRECATED pragma in several cases of using it with record fields
Edited by Bartłomiej Cieślar
Merge request reports
Activity
requested review from @mpickering, @sheaf, and @simonpj
- Resolved by Bartłomiej Cieślar
Could you edit the commit message with a bit more information? Something like the following:
Add cases to T23279: HasField for deprecated record fields This commit adds additional tests from ticket #23279 to ensure that we don't regress on reporting deprecated record fields in conjunction with HasField, either when using overloaded record dot syntax or directly through `getField`. Fixes #23279
added 1 commit
- 00318e13 - Add cases to T23279: HasField for deprecated record fields
assigned to @marge-bot
I will attempt to batch this MR (!11001 (closed))...
Batch MR !11001 (closed) failed: CI failed! I will retry later...
I will attempt to batch this MR (!11002 (closed))...
Batch MR !11002 (closed) failed: CI failed! I will retry later...
I will attempt to batch this MR (!11004 (closed))...
Batch MR !11004 (closed) failed: CI failed! I will retry later...
Please register or sign in to reply