Skip to content

Remove "scheduling" leftovers#2857

Merged
xclerc merged 2 commits intomainfrom
remove-scheduling-leftovers
Jul 31, 2024
Merged

Remove "scheduling" leftovers#2857
xclerc merged 2 commits intomainfrom
remove-scheduling-leftovers

Conversation

@xclerc
Copy link
Copy Markdown
Contributor

@xclerc xclerc commented Jul 26, 2024

Follow-up to #2789.

As suggested by @gretay-js there, this pull request
removes the -dschedul command-line flag. However,
I am not sure it is a good idea to remove the
compiler pass from Clfags because it is useful to
know when to emit some IRs. Instead of deleting
the pass, this pull request renames it.

@xclerc xclerc added the backend label Jul 26, 2024
Base automatically changed from delete-scheduling to main July 31, 2024 09:56
@xclerc xclerc merged commit ef78547 into main Jul 31, 2024
@xclerc xclerc deleted the remove-scheduling-leftovers branch July 31, 2024 09:56
ccasin added a commit that referenced this pull request Aug 16, 2024
ccasin added a commit that referenced this pull request Aug 16, 2024
ccasin added a commit that referenced this pull request Aug 16, 2024
Revert "Remove "scheduling" leftovers (#2857)"

This reverts commit ef78547.
lukemaurer pushed a commit to lukemaurer/flambda-backend that referenced this pull request Oct 23, 2024
Revert "Remove "scheduling" leftovers (oxcaml#2857)"

This reverts commit ef78547.
xclerc added a commit that referenced this pull request Jan 30, 2025
@xclerc xclerc mentioned this pull request Jan 30, 2025
xclerc added a commit that referenced this pull request Feb 4, 2025
Dreian pushed a commit to Dreian/oxcaml that referenced this pull request Feb 19, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants