Skip to content

Add Unexport ... to hls-export-plugin - #4991

Merged
crtschin merged 3 commits into
haskell:masterfrom
crtschin:crtschin/export-unexport
Jul 20, 2026
Merged

Add Unexport ... to hls-export-plugin#4991
crtschin merged 3 commits into
haskell:masterfrom
crtschin:crtschin/export-unexport

Conversation

@crtschin

@crtschin crtschin commented Jun 26, 2026

Copy link
Copy Markdown
Collaborator

Allow unexporting symbols using approximately the same machinery as the Export ... action.

  • Currently omits the action when CPP is present.
    This is a bit more finicky than adding exports, so I've not tackled this.
  • Uses ghc-exactprint to reprint the export list.

@crtschin
crtschin force-pushed the crtschin/export-unexport branch from 1a19bd5 to 2d91531 Compare July 14, 2026 22:24
@crtschin crtschin changed the title WIP: Add Unexport ... to hls-export-plugin Add Unexport ... to hls-export-plugin Jul 14, 2026
@crtschin
crtschin marked this pull request as ready for review July 14, 2026 22:46
@fendor fendor added the status: needs review This PR is ready for review label Jul 15, 2026
@crtschin
crtschin force-pushed the crtschin/export-unexport branch from 2d91531 to c5977b6 Compare July 15, 2026 16:40

@fendor fendor left a comment

Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM, just a quick sanity check not an in-depth review. Please merge once you are happy.

Comment thread plugins/hls-export-plugin/test/Main.hs Outdated
@fendor fendor removed the status: needs review This PR is ready for review label Jul 19, 2026
@crtschin
crtschin force-pushed the crtschin/export-unexport branch from 0b32b63 to 12d86f0 Compare July 20, 2026 00:33
@crtschin
crtschin force-pushed the crtschin/export-unexport branch from 12d86f0 to 43c4c13 Compare July 20, 2026 16:14
@crtschin
crtschin merged commit 1c5fa8d into haskell:master Jul 20, 2026
42 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants