refactor: move DelayList and DelayMap modules from stdlib to flix/extras - #13261
Draft
magnus-madsen wants to merge 1 commit into
Draft
magnus-madsen wants to merge 1 commit into
magnus-madsen wants to merge 1 commit into
Conversation
The DelayList and DelayMap modules now live in the flix/extras package as Extras.DelayList and Extras.DelayMap (flix/extras#3). Remove them, and their tests, from the standard library. The flix/extras package is already part of the community build, so the extracted modules keep being compiled on every PR. Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01EUFSuSB8yJ9vdhvuBXzYht
magnus-madsen
force-pushed
the
refactor/move-delaylist-delaymap-to-extras
branch
from
September 12, 2026 18:13
de7c6ed to
4dcdb62
Compare
magnus-madsen
marked this pull request as draft
September 12, 2026 18:27
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Summary
DelayListandDelayMapmodules and their tests from the standard library. The modules now live in flix/extras asExtras.DelayListandExtras.DelayMap, ported together with their full test suites in feat: add Extras.DelayList and Extras.DelayMap, ported from the Flix standard library extras#3.DelayListcases from theFilterabletests and theDelayMapcases from theIterabletests, since those instances left with the modules.toDelayListandtoDelayMapfrom the restrictable-variantssequences.flixexample.TestDelayList.flixfrom theXperfbenchmark inputs. Benchmark numbers taken after this PR are not directly comparable with earlier runs.flix/extraswas already registered in chore: add flix/extras to the community build #13259, so the extracted modules keep being compiled against the compiler on every PR.Users who depend on
DelayListorDelayMapcan addgithub:flix/extrasas a dependency inflix.tomlanduse Extras.DelayList/use Extras.DelayMap.🤖 Generated with Claude Code
https://claude.ai/code/session_01EUFSuSB8yJ9vdhvuBXzYht