Skip to content

more friendly/useful error for stack overflow in type inference #44971

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

Jump to bottom
Merged
aviatesk merged 2 commits into from
Apr 15, 2022
Merged

more friendly/useful error for stack overflow in type inference #44971

aviatesk merged 2 commits into from
Apr 15, 2022

Conversation

@JeffBezanson
Copy link
Member

@JeffBezanson JeffBezanson commented Apr 13, 2022

fixes #44852

@JeffBezanson JeffBezanson added error handling Handling of exceptions by Julia or the user compiler:inference Type inference labels Apr 13, 2022
@JeffBezanson
Copy link
Member Author

JeffBezanson commented Apr 13, 2022 •
edited
Loading

With #44970:

julia> foldr(+, Tuple(1:5000))
Internal error: stack overflow in type inference of foldr(Function, NTuple{5000, Int64}).
This might be caused by recursion over very long tuples or argument lists.
12502500

julia>

vtjnash
vtjnash reviewed Apr 13, 2022
View reviewed changes
@aviatesk aviatesk merged commit 401d578 into master Apr 15, 2022
@aviatesk aviatesk deleted the jb/typeinfovf branch April 15, 2022 15:43
@NHDaly
Copy link
Member

NHDaly commented Apr 18, 2022

awesome, thanks! :)

@staticfloat staticfloat added the backport 1.8 Change should be backported to release-1.8 label Jul 18, 2022
KristofferC pushed a commit that referenced this pull request Jul 20, 2022
@JeffBezanson
more friendly/useful error for stack overflow in type inference (#44971)
6d7539b 
fixes #44852

(cherry picked from commit 401d578)
@KristofferC KristofferC removed the backport 1.8 Change should be backported to release-1.8 label Aug 7, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@vtjnash vtjnash vtjnash left review comments

@aviatesk aviatesk aviatesk approved these changes

Assignees

No one assigned

Labels

compiler:inference Type inference error handling Handling of exceptions by Julia or the user

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

StackOverflow Type Inference Error

7 participants

@JeffBezanson @NHDaly @vtjnash @aviatesk @staticfloat @KristofferC