Skip to content
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.

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

inference of splatting constant containers #16006

Closed
wants to merge 3 commits into from
Closed

Conversation

JeffBezanson
Copy link
Member

I noticed a bunch of errors during bootstrap, such as <: not defined while trying to pure_eval_call typejoin, and some other similar issues. I also hit a problem due to the linearindexing trait of BitArray being defined way, way later than the type itself.

Tuple{a.parameters..., b.parameters...}
end
@test Base.return_types(cat10880, Tuple{Type{Tuple{Int8,Int16}},Type{Tuple{Int32}}})[1] ==
Type{Tuple{Int8,Int16,Int32}}
Copy link
Contributor

Choose a reason for hiding this comment

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

@inferred cat10880(Tuple{Int8,Int16}, Tuple{Int32}) ?

@JeffBezanson
Copy link
Member Author

Interesting; seems to be timing out on both 32-bit builds.

@@ -2333,7 +2333,7 @@ function inlineable(f::ANY, ft::ANY, e::Expr, atypes::Vector{Any}, sv::Inference
if (is(f,apply_type) || is(f,fieldtype) || is(f,typeof) ||
istopfunction(topmod, f, :typejoin) ||
istopfunction(topmod, f, :promote_type))
if effect_free(argexprs[2], sv, true)
if length(argexprs) < 2 || effect_free(argexprs[2], sv, true)
Copy link
Contributor

@tkelman tkelman Jun 15, 2016

Choose a reason for hiding this comment

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

probably the cause of

        From worker 6:       * arrayops             Test Failed
        From worker 6:    Expression: isleaftype((Base.return_types(f,()))[1])
        From worker 2:       * linalg/triangular     in 1022.93 seconds, maxrss  893.98 MB
 in 1098.36 seconds, maxrss  880.96 MB
     * linalg/qr            rec_backtrace at /home/Tony/julia/src/home/Tony/julia/src\stackwalk.c:83
record_backtrace at /home/Tony/julia/src/home/Tony/julia/src\task.c:228
jl_throw at /home/Tony/julia/src/home/Tony/julia/src\task.c:522
jl_bounds_error_ints at /home/Tony/julia/src/home/Tony/julia/src\builtins.c:169
getindex at .\array.jl:309
unknown function (ip: 0000000000D0211F)
jl_call_method_internal at /home/Tony/julia/src/home/Tony/julia/src\julia_internal.h:85
inlineable at .\inference.jl:2334
jl_call_method_internal at /home/Tony/julia/src/home/Tony/julia/src\julia_internal.h:85
inlining_pass at .\inference.jl:2955

?

Copy link
Member Author

Choose a reason for hiding this comment

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

Yes, that commit should be copied to another branch for faster merging.

Copy link
Contributor

Choose a reason for hiding this comment

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

how bout master. it did just run on CI and only hit #16556

Copy link
Member Author

Choose a reason for hiding this comment

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

Cherry pick away.

BTW, where did you see this failure?

Copy link
Contributor

Choose a reason for hiding this comment

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

74b3042, locally, win64. Heavily loaded at the time, not sure if that's related.

tkelman pushed a commit that referenced this pull request Jun 15, 2016
cherry-picked from #16006, see discussion there
@vtjnash
Copy link
Member

vtjnash commented Sep 15, 2016

bump. seems like this should be uncontroversial?

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants