Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Fix LazyList.range [ci: last-only] #10767

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.

Sign up for GitHub

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

Open
BalmungSan wants to merge 8 commits into
base: 2.13.x
Choose a base branch
from
Open

Fix LazyList.range [ci: last-only] #10767

Changes from 1 commit
Commits
Show all changes
8 commits
Select commit Hold shift + click to select a range
6de2bf8
Override LazyList.range
BalmungSan Apr 30, 2024
91088b5
Test LazyList.range
BalmungSan Apr 30, 2024
bd3db0d
Better LazyList.range impl
BalmungSan Apr 30, 2024
f7745a4
Move LazyList.range implementation closer to other overrides
BalmungSan Apr 30, 2024
2028dae
Ensure lazyness of `Integral[A].one` for overrided `range` implementa…
BalmungSan Apr 30, 2024
fbc2623
Ensure step can't be zero
BalmungSan Apr 30, 2024
1ac4f64
Allow reverse LazyList.range
BalmungSan Apr 30, 2024
b4eb90a
Make the lazyRangeAllowsMoreThanIntMaxValue test run fast
BalmungSan Apr 30, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
Ensure step can't be zero 
Co-authored-by: Marissa | April <[email protected]>
  • Loading branch information
@BalmungSan @NthPortal
BalmungSan and NthPortal authored Apr 30, 2024
commit fbc26235526f1bd8f6047137654cb8fecab5a8bd
5 changes: 4 additions & 1 deletion src/library/scala/collection/immutable/LazyList.scala
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -1234,7 +1234,10 @@ object LazyList extends SeqFactory[LazyList] {
newLL(rangeImpl(start, end, step = Integral[A].one))

override def range[A](start: A, end: A, step: A)(implicit ev: Integral[A]): LazyList[A] =
newLL(rangeImpl(start, end, step))
newLL {
if (ev.equiv(step, ev.zero)) throw new IllegalArgumentException("step cannot be 0.")
else rangeImpl(start, end, step)
}

private[this] def rangeImpl[A](start: A, end: A, step: A)(implicit ev: Integral[A]): State[A] =
if (ev.lt(start, end)) sCons(start, newLL(rangeImpl(ev.plus(start, step), end, step)))
Copy link
Copy Markdown
Contributor Author

@BalmungSan BalmungSan Apr 30, 2024

Choose a reason for hiding this comment

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

Uhm, wait, this does not allow reversed ranges, does it? Like LazyList.range(start = 100, end = 0, step = -2)
I guess rather than check for lt we have to check for !ev.equiv(start, end)?

Copy link
Copy Markdown
Contributor Author

@BalmungSan BalmungSan Apr 30, 2024

Choose a reason for hiding this comment

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

Also, this made me think. This could be a good way to test this without a CPU trap. We just request the reversed range and then we can indeed ask for the head and check it is bigger than Int.MaxValue

Copy link
Copy Markdown
Contributor

@NthPortal NthPortal Apr 30, 2024

Choose a reason for hiding this comment

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

good point, the check is incorrect, hmm. probably need to check the sign or something as well. I'll have another look shortly

Copy link
Copy Markdown
Contributor

@NthPortal NthPortal Apr 30, 2024

Choose a reason for hiding this comment

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

my thought is to check the sign of step in the 3 parameter overload of range, and then pass it as a Boolean parameter (probably named positiveStep) to rangeImpl, thus checking the condition only once rather than for each element

Copy link
Copy Markdown
Contributor Author

@BalmungSan BalmungSan Apr 30, 2024 •
edited
Loading

Choose a reason for hiding this comment

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

I just pushed an implementation that allows for reverse ranges.
Let me know what you think about it.

Expand Down