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

Recursive inference error #16818

Closed
dpsanders opened this issue Jun 7, 2016 · 1 comment
Closed

Recursive inference error #16818

dpsanders opened this issue Jun 7, 2016 · 1 comment

Comments

@dpsanders
Copy link
Contributor

Doing the following on 0.5 gives an inference error, but works fine on 0.4.

using ValidatedNumerics
DecoratedInterval(2, 3, com)

with the branch
https://github.com/dpsanders/ValidatedNumerics.jl/tree/errors

gives the following recursive inference error:

"WARNING: An error occured during inference. Type inference is now partially disabled."
OverflowError()
rec_backtrace at /Users/dpsanders/development/julia-dev/src/stackwalk.c:83
record_backtrace at /Users/dpsanders/development/julia-dev/src/task.c:228
jl_compute_field_offsets at /Users/dpsanders/development/julia-dev/src/alloc.c:952
inst_datatype at /Users/dpsanders/development/julia-dev/src/jltypes.c:2234
jl_apply_tuple_type_v_ at /Users/dpsanders/development/julia-dev/src/jltypes.c:2279
jl_apply at /Users/dpsanders/development/julia-dev/src/./julia.h:1381
abstract_call at ./inference.jl:1010
unknown function (ip: 0x10edb40dc)
abstract_eval_call at ./inference.jl:1048
abstract_eval at ./inference.jl:1071
unknown function (ip: 0x10edb2484)
typeinf_frame at ./inference.jl:1717
typeinf_loop at ./inference.jl:ction (ip: 0x10edafe66)
typeinf_edge at ./inference.jl:1517
typeinf_ext at ./inference.jl:1537
jl_apply at /Users/dpsanders/development/julia-dev/src/./julia.h:1381
cache_method at /Users/dpsanders/development/julia-dev/src/gf.c:678
jl_mt_assoc_by_type at /Users/dpsanders/development/julia-dev/src/gf.c:711
jl_method_lookup_by_type at /Users/dpsanders/development/julia-dev/src/gf.c:1026
emit_call at /Users/dpsanders/development/julia-dev/src/codegen.cpp:2751
emit_expr at /Users/dpsanders/development/julia-dev/src/codegen.cpp:3202
emit_function at /Users/dpsanders/development/julia-dev/src/codegen.cpp:4752
to_function at /Users/dpsanders/development/julia-dev/src/codegen.cpp:844
jl_get_specialization1 at /Users/dpsanders/development/julia-dev/src/gf.c:1099
emit_call at /Users/dpsanders/development/julia-dev/src/codegen.cpp:2751
emit_expr at /Users/dpsanders/development/julia-dev/src/codegen.cpp:3202
emit_function at /Users/dpsanders/development/julia-dev/src/codegen.cpp:4752

Full output at
https://gist.github.com/c9aabbad9da82821a5a2cf24791a8fa6)

@vtjnash
Copy link
Member

vtjnash commented Jun 7, 2016

dup #16201

@vtjnash vtjnash closed this as completed Jun 7, 2016
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