Skip to content

Conversation

@alt-romes
Copy link
Collaborator

@alt-romes alt-romes commented Jun 12, 2024

Be sure to invalidate the cache if building throws an exception! If not, we'll abort execution with a stale recompilation cache. See ghc#24926 for an example of how this can go wrong.

Please read Github PR Conventions and then fill in one of these two templates.


Template Α: This PR modifies behaviour or interface

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

@mpickering mpickering left a comment

Choose a reason for hiding this comment

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

I wrote this patch with Rodrigo, we diagnosed the issue was that on a build failure the file monitor contents was not invalidated. If you changed the source file back to what it was originally then compilation would be skipped (and lead to later errors).

@alt-romes
Copy link
Collaborator Author

I'm working on a test

@alt-romes alt-romes force-pushed the wip/romes/ghc24926 branch from a07e713 to 0a1e7a1 Compare June 12, 2024 15:28
@alt-romes alt-romes self-assigned this Jun 12, 2024
@alt-romes alt-romes added the merge me Tell Mergify Bot to merge label Jun 12, 2024
@geekosaur
Copy link
Collaborator

Does this need to be backported? (It sounds to me like yes.)

@alt-romes
Copy link
Collaborator Author

Does this need to be backported? (It sounds to me like yes.)

Definitely. It's a very small, but critical, change.

@geekosaur
Copy link
Collaborator

@mergify backport 3.12

@mergify
Copy link
Contributor

mergify bot commented Jun 13, 2024

backport 3.12

✅ Backports have been created

@mergify mergify bot added the merge delay passed Applied (usually by Mergify) when PR approved and received no updates for 2 days label Jun 15, 2024
Be sure to invalidate the cache if building throws an exception!
If not, we'll abort execution with a stale recompilation cache.
See ghc#24926 for an example of how this can go wrong.
@Mikolaj Mikolaj force-pushed the wip/romes/ghc24926 branch from 0a1e7a1 to a9f2c3b Compare June 15, 2024 07:22
@mergify mergify bot merged commit 50d5e31 into haskell:master Jun 15, 2024
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 merge me Tell Mergify Bot to merge

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants