Skip to content

Conversation

@mrcjkb
Copy link
Contributor

@mrcjkb mrcjkb commented Jun 10, 2023

Fixes #3636.

@mrcjkb mrcjkb marked this pull request as draft June 10, 2023 15:03
@mrcjkb mrcjkb force-pushed the mj/3636-disable-warning-codeaction branch from 1508adf to 756601d Compare June 10, 2023 15:13
@mrcjkb mrcjkb force-pushed the mj/3636-disable-warning-codeaction branch from 756601d to 4524262 Compare June 11, 2023 06:51
@mrcjkb
Copy link
Contributor Author

mrcjkb commented Jun 11, 2023

The current test suite is fixed.

I guess it would be nice to have a test that verifies that the "disable this warning" action appears last, but that would be outside the scope of the hls-pragmas-plugin test, since this would have to be tested with multiple plugins.

@mrcjkb mrcjkb marked this pull request as ready for review June 11, 2023 06:54
@mrcjkb mrcjkb force-pushed the mj/3636-disable-warning-codeaction branch from 4524262 to 7a6bc37 Compare June 11, 2023 06:55
@mrcjkb mrcjkb requested a review from fendor June 11, 2023 06:55
@mrcjkb mrcjkb force-pushed the mj/3636-disable-warning-codeaction branch from 7a6bc37 to 0381290 Compare June 11, 2023 10:26
@mrcjkb mrcjkb force-pushed the mj/3636-disable-warning-codeaction branch from 0381290 to 746f7ea Compare June 11, 2023 13:42
@fendor fendor added the merge me Label to trigger pull request merge label Jun 12, 2023
@mergify mergify bot merged commit 6ff0e02 into haskell:master Jun 12, 2023
@mrcjkb mrcjkb deleted the mj/3636-disable-warning-codeaction branch June 12, 2023 16:00
@fendor fendor mentioned this pull request Aug 8, 2023
19 tasks
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

merge me Label to trigger pull request merge

Projects

None yet

Development

Successfully merging this pull request may close these issues.

codeAction "Disable <foo-bar> warnings" is the first suggestion

2 participants