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

Hang (probably type inference) in Julia 1.2.0rc2 #32595

Closed
wbhart opened this issue Jul 16, 2019 · 4 comments
Closed

Hang (probably type inference) in Julia 1.2.0rc2 #32595

wbhart opened this issue Jul 16, 2019 · 4 comments

Comments

@wbhart
Copy link

wbhart commented Jul 16, 2019

We have been having a hang when tests run in AbstractAlgebra.jl that seems to be a new regression for Julia-1.2.0.

I have been able to get it down to a more or less minimal example (< 300 sloc). Finding lines of code that I can remove now is becoming difficult, so I think this is as far as I can get it without a lot of extra work.

To reproduce it, simply check out the inference_bug branch of this repository (into a directory AbstractAlgebra):

https://github.com/wbhart/InferenceBug1

It's a very heavily cut down version of our AbstractAlgebra.jl package.

using Pkg
Pkg.test("AbstractAlgebra")

will hang indefinitely before the test runs.

Please note that this is a pure Julia package and I have removed all functions that didn't seem to contribute to the hang.

@JeffBezanson JeffBezanson added this to the 1.2 milestone Jul 17, 2019
@JeffBezanson
Copy link
Member

I get

ERROR: LoadError: UndefVarError: elem_type not defined
Stacktrace:
 [1] #FreeModule#3(::Bool, ::Type{AbstractAlgebra.Generic.FreeModule}, ::AbstractAlgebra.Integers{BigInt}, ::Int64) at /home/jeff/src/julia/AbstractAlgebra/src/generic/FreeModule.jl:8
 [2] Type at ./none:0 [inlined]
 [3] #FreeModule#1 at /home/jeff/src/julia/AbstractAlgebra/src/AbstractAlgebra.jl:44 [inlined]
 [4] FreeModule(::AbstractAlgebra.Integers{BigInt}, ::Int64) at /home/jeff/src/julia/AbstractAlgebra/src/AbstractAlgebra.jl:44
 [5] test_module() at /home/jeff/src/julia/AbstractAlgebra/test/AbstractAlgebra-test.jl:14
 [6] top-level scope at /home/jeff/src/julia/AbstractAlgebra/test/runtests.jl:7
 [7] include at ./boot.jl:328 [inlined]

@JeffBezanson
Copy link
Member

Sorry, that was on master. Hangs in 1.2.

@JeffBezanson
Copy link
Member

Ah, looks like this might be similar to #32488. Should be fixed by #32509; backported (#32592).

@wbhart
Copy link
Author

wbhart commented Jul 17, 2019

Thanks @JeffBezanson Master has been causing us problems for quite a few months now. Hopefully this will fix a range of similar issues we've been facing. We do know there is at least one more of these that also affects Julia-1.1 as well though. We'll try and get you a minimal case ASAP.

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

No branches or pull requests

2 participants