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 crash upstream #18

Closed
saschatimme opened this issue Jun 13, 2018 · 5 comments
Closed

Inference crash upstream #18

saschatimme opened this issue Jun 13, 2018 · 5 comments

Comments

@saschatimme
Copy link
Contributor

Here is a fun one. Since today we get consistent compiler / inference crashes in HomotopyContinuation.jl.
Here are two run of travis for the same commit, one yesterday and one from today. The only difference is that the one from today uses DynamicPolynomials 0.0.4 instead of 0.0.3. So, some of the changes in the release seem to let the compiler fallover :(

@saschatimme
Copy link
Contributor Author

For now we fixed this by fixing 0.0.3 as a dependency. I am also not sure there is much we can do here. I just hope that with 0.7 these kinds of bugs are gone...

@blegat
Copy link
Member

blegat commented Jun 13, 2018

Can you confirm that this is caused by this commit ? Does it crash when using differentiation ? promote_op does not seem to play nicely with Julia v0.7 and it is not recommended to use it so I changed it with typeof(...).

@saschatimme
Copy link
Contributor Author

#14 is the villain here. 370bc84 still works fine.

@blegat
Copy link
Member

blegat commented Jun 14, 2018

Ah, interesting. Do you have a MWE ?

@saschatimme
Copy link
Contributor Author

Unfortunately not. The crash occurs during the precompilation of the dev branch of HomotopyContinuation.jl. But we also had previously problems with compiler crashes. Somehow the organization of our code in a lot of separate modules seems to trigger this kind of bug. But we also previously had these compiler crashes with TypedPolynomials or DynamicPolynomials if I remember correctly.

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