Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Explicit export lists for Main #9890

Merged
merged 3 commits into from
Dec 2, 2024
Merged

Explicit export lists for Main #9890

merged 3 commits into from
Dec 2, 2024

Conversation

noughtmare
Copy link
Collaborator

Lack of explicit export list can degrade performance. The Main module in particular should always have an explicit export list that contains just the main function.

Fixes #9889


Template Α: This PR modifies cabal behaviour

Include the following checklist in your PR:

  • Patches conform to the coding conventions.
  • Any changes that could be relevant to users have been recorded in the changelog.
  • The documentation has been updated, if necessary.
  • Manual QA notes have been included.
  • Tests have been added. (Ask for help if you don’t know how to write them! Ask for an exemption if tests are too complex for too little coverage!)

Copy link
Collaborator

@ulysses4ever ulysses4ever left a comment

Choose a reason for hiding this comment

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

Thanks!

@ulysses4ever ulysses4ever added the merge me Tell Mergify Bot to merge label Nov 30, 2024
@mergify mergify bot added the ready and waiting Mergify is waiting out the cooldown period label Nov 30, 2024
@ulysses4ever
Copy link
Collaborator

Wow, we missed this! Will merge soon.

@ulysses4ever ulysses4ever added the merge delay passed Applied (usually by Mergify) when PR approved and received no updates for 2 days label Nov 30, 2024
Lack of explicit export list can degrade performance. The Main module in particular should always have an explicit export list that contains just the main function.
@ulysses4ever ulysses4ever removed merge me Tell Mergify Bot to merge merge delay passed Applied (usually by Mergify) when PR approved and received no updates for 2 days ready and waiting Mergify is waiting out the cooldown period labels Nov 30, 2024
@ulysses4ever
Copy link
Collaborator

ulysses4ever commented Nov 30, 2024

Need a changelog, perhaps.

@ulysses4ever
Copy link
Collaborator

@noughtmare it was mentioned on Cabal's Matrix that it's unnatural to merge something that says "Draft" on it. Do you think it's ready? It is in my opinion (modulo changelog, which you could add but if not I can do that).

@noughtmare
Copy link
Collaborator Author

I totally forgot about this. I was indeed probably thinking of the changelog and documentation when marking this as draft. Please merge if you think this is ready.

@noughtmare noughtmare changed the title Draft: Explicit export lists for Main Explicit export lists for Main Nov 30, 2024
@ulysses4ever ulysses4ever added the squash+merge me Tell Mergify Bot to squash-merge label Nov 30, 2024
@mergify mergify bot added ready and waiting Mergify is waiting out the cooldown period merge delay passed Applied (usually by Mergify) when PR approved and received no updates for 2 days labels Nov 30, 2024
@mergify mergify bot merged commit 55ccc0a into master Dec 2, 2024
44 checks passed
@mergify mergify bot deleted the noughtmare-patch-1 branch December 2, 2024 14:21
philderbeast pushed a commit to cabalism/cabal that referenced this pull request Dec 2, 2024
* Explicit export lists for Main

Lack of explicit export list can degrade performance. The Main module in particular should always have an explicit export list that contains just the main function.

* add changelog

---------

Co-authored-by: Artem Pelenitsyn <[email protected]>
Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
merge delay passed Applied (usually by Mergify) when PR approved and received no updates for 2 days ready and waiting Mergify is waiting out the cooldown period squash+merge me Tell Mergify Bot to squash-merge
Projects
None yet
Development

Successfully merging this pull request may close these issues.

cabal init does not always generate explicit export lists
3 participants