Internal error: encountered unexpected error in runtime: TypeError(func=:TypeVar, context="upper bound", expected=Type, got=>>>) rec_backtrace at /home/jagot/prog/julia/julia/src/stackwalk.c:94 jl_throw at /home/jagot/prog/julia/julia/src/task.c:210 jl_type_error_rt at /home/jagot/prog/julia/julia/src/rtutils.c:118 jl_new_typevar at /home/jagot/prog/julia/julia/src/builtins.c:996 finish_unionall at /home/jagot/prog/julia/julia/src/subtype.c:1771 intersect_unionall_ at /home/jagot/prog/julia/julia/src/subtype.c:1934 intersect_unionall at /home/jagot/prog/julia/julia/src/subtype.c:1946 intersect at /home/jagot/prog/julia/julia/src/subtype.c:2334 intersect_unionall_ at /home/jagot/prog/julia/julia/src/subtype.c:1903 intersect_unionall at /home/jagot/prog/julia/julia/src/subtype.c:1946 intersect at /home/jagot/prog/julia/julia/src/subtype.c:2334 intersect_all at /home/jagot/prog/julia/julia/src/subtype.c:2453 intersect_aside at /home/jagot/prog/julia/julia/src/subtype.c:1541 [inlined] intersect_aside at /home/jagot/prog/julia/julia/src/subtype.c:1529 [inlined] intersect at /home/jagot/prog/julia/julia/src/subtype.c:2278 intersect_invariant at /home/jagot/prog/julia/julia/src/subtype.c:2149 intersect at /home/jagot/prog/julia/julia/src/subtype.c:2408 intersect_unionall_ at /home/jagot/prog/julia/julia/src/subtype.c:1899 intersect_unionall at /home/jagot/prog/julia/julia/src/subtype.c:1946 intersect at /home/jagot/prog/julia/julia/src/subtype.c:2360 intersect_unionall_ at /home/jagot/prog/julia/julia/src/subtype.c:1899 intersect_unionall at /home/jagot/prog/julia/julia/src/subtype.c:1960 intersect at /home/jagot/prog/julia/julia/src/subtype.c:2360 intersect_unionall_ at /home/jagot/prog/julia/julia/src/subtype.c:1899 intersect_unionall at /home/jagot/prog/julia/julia/src/subtype.c:1946 intersect at /home/jagot/prog/julia/julia/src/subtype.c:2360 intersect_unionall_ at /home/jagot/prog/julia/julia/src/subtype.c:1899 intersect_unionall at /home/jagot/prog/julia/julia/src/subtype.c:1946 intersect at /home/jagot/prog/julia/julia/src/subtype.c:2360 intersect_all at /home/jagot/prog/julia/julia/src/subtype.c:2453 intersect_aside at /home/jagot/prog/julia/julia/src/subtype.c:1541 [inlined] intersect_aside at /home/jagot/prog/julia/julia/src/subtype.c:1529 [inlined] intersect_var at /home/jagot/prog/julia/julia/src/subtype.c:1618 intersect at /home/jagot/prog/julia/julia/src/subtype.c:2308 intersect_union at /home/jagot/prog/julia/julia/src/subtype.c:1563 intersect at /home/jagot/prog/julia/julia/src/subtype.c:2324 intersect_unionall_ at /home/jagot/prog/julia/julia/src/subtype.c:1899 intersect_unionall at /home/jagot/prog/julia/julia/src/subtype.c:1946 intersect at /home/jagot/prog/julia/julia/src/subtype.c:2360 intersect_unionall_ at /home/jagot/prog/julia/julia/src/subtype.c:1899 intersect_unionall at /home/jagot/prog/julia/julia/src/subtype.c:1946 intersect at /home/jagot/prog/julia/julia/src/subtype.c:2360 intersect_unionall_ at /home/jagot/prog/julia/julia/src/subtype.c:1903 intersect_unionall at /home/jagot/prog/julia/julia/src/subtype.c:1946 intersect at /home/jagot/prog/julia/julia/src/subtype.c:2334 intersect_unionall_ at /home/jagot/prog/julia/julia/src/subtype.c:1899 intersect_unionall at /home/jagot/prog/julia/julia/src/subtype.c:1946 intersect at /home/jagot/prog/julia/julia/src/subtype.c:2342 intersect_unionall_ at /home/jagot/prog/julia/julia/src/subtype.c:1903 intersect_unionall at /home/jagot/prog/julia/julia/src/subtype.c:1946 intersect at /home/jagot/prog/julia/julia/src/subtype.c:2334 intersect_union at /home/jagot/prog/julia/julia/src/subtype.c:1563 intersect at /home/jagot/prog/julia/julia/src/subtype.c:2317 intersect_unionall_ at /home/jagot/prog/julia/julia/src/subtype.c:1903 intersect_unionall at /home/jagot/prog/julia/julia/src/subtype.c:1946 intersect at /home/jagot/prog/julia/julia/src/subtype.c:2334 intersect_union at /home/jagot/prog/julia/julia/src/subtype.c:1563 intersect at /home/jagot/prog/julia/julia/src/subtype.c:2317 intersect_unionall_ at /home/jagot/prog/julia/julia/src/subtype.c:1903 intersect_unionall at /home/jagot/prog/julia/julia/src/subtype.c:1946 intersect at /home/jagot/prog/julia/julia/src/subtype.c:2334 intersect_tuple at /home/jagot/prog/julia/julia/src/subtype.c:2050 [inlined] intersect at /home/jagot/prog/julia/julia/src/subtype.c:2374 intersect_all at /home/jagot/prog/julia/julia/src/subtype.c:2476 jl_type_intersection_env_s at /home/jagot/prog/julia/julia/src/subtype.c:2638 jl_typemap_intersection_node_visitor at /home/jagot/prog/julia/julia/src/typemap.c:479 ml_matches at /home/jagot/prog/julia/julia/src/gf.c:2547 jl_matching_methods at /home/jagot/prog/julia/julia/src/gf.c:1699 assemble_inline_todo! at ./reflection.jl:808 ssa_inlining_pass! at ./compiler/ssair/inlining.jl:70 [inlined] run_passes at ./compiler/ssair/driver.jl:116 optimize at ./compiler/optimize.jl:169 typeinf at ./compiler/typeinfer.jl:33 typeinf_edge at ./compiler/typeinfer.jl:482 abstract_call_method at ./compiler/abstractinterpretation.jl:369 abstract_call_gf_by_type at ./compiler/abstractinterpretation.jl:92 abstract_call at ./compiler/abstractinterpretation.jl:808 abstract_call at ./compiler/abstractinterpretation.jl:598 abstract_eval_call at ./compiler/abstractinterpretation.jl:837 abstract_eval at ./compiler/abstractinterpretation.jl:907 typeinf_local at ./compiler/abstractinterpretation.jl:1164 typeinf_nocycle at ./compiler/abstractinterpretation.jl:1220 typeinf at ./compiler/typeinfer.jl:12 typeinf_edge at ./compiler/typeinfer.jl:482 abstract_call_method at ./compiler/abstractinterpretation.jl:369 abstract_call_gf_by_type at ./compiler/abstractinterpretation.jl:92 abstract_call at ./compiler/abstractinterpretation.jl:808 abstract_call at ./compiler/abstractinterpretation.jl:598 abstract_eval_call at ./compiler/abstractinterpretation.jl:837 abstract_eval at ./compiler/abstractinterpretation.jl:907 typeinf_local at ./compiler/abstractinterpretation.jl:1150 typeinf_nocycle at ./compiler/abstractinterpretation.jl:1220 typeinf at ./compiler/typeinfer.jl:12 typeinf_edge at ./compiler/typeinfer.jl:482 abstract_call_method at ./compiler/abstractinterpretation.jl:369 abstract_call_gf_by_type at ./compiler/abstractinterpretation.jl:92 abstract_call at ./compiler/abstractinterpretation.jl:808 abstract_call at ./compiler/abstractinterpretation.jl:598 abstract_eval_call at ./compiler/abstractinterpretation.jl:837 abstract_eval at ./compiler/abstractinterpretation.jl:907 typeinf_local at ./compiler/abstractinterpretation.jl:1164 typeinf_nocycle at ./compiler/abstractinterpretation.jl:1220 typeinf at ./compiler/typeinfer.jl:12 typeinf_edge at ./compiler/typeinfer.jl:482 abstract_call_method at ./compiler/abstractinterpretation.jl:369 abstract_call_gf_by_type at ./compiler/abstractinterpretation.jl:92 abstract_call at ./compiler/abstractinterpretation.jl:808 abstract_call at ./compiler/abstractinterpretation.jl:598 abstract_eval_call at ./compiler/abstractinterpretation.jl:837 abstract_eval at ./compiler/abstractinterpretation.jl:907 typeinf_local at ./compiler/abstractinterpretation.jl:1164 typeinf_nocycle at ./compiler/abstractinterpretation.jl:1220 typeinf at ./compiler/typeinfer.jl:12 typeinf_edge at ./compiler/typeinfer.jl:482 abstract_call_method at ./compiler/abstractinterpretation.jl:369 abstract_call_gf_by_type at ./compiler/abstractinterpretation.jl:92 abstract_call at ./compiler/abstractinterpretation.jl:808 abstract_call at ./compiler/abstractinterpretation.jl:598 abstract_eval_call at ./compiler/abstractinterpretation.jl:837 abstract_eval at ./compiler/abstractinterpretation.jl:907 typeinf_local at ./compiler/abstractinterpretation.jl:1164 typeinf_nocycle at ./compiler/abstractinterpretation.jl:1220 typeinf at ./compiler/typeinfer.jl:12 typeinf_edge at ./compiler/typeinfer.jl:482 abstract_call_method at ./compiler/abstractinterpretation.jl:369 abstract_call_gf_by_type at ./compiler/abstractinterpretation.jl:92 abstract_call at ./compiler/abstractinterpretation.jl:808 abstract_call at ./compiler/abstractinterpretation.jl:598 abstract_eval_call at ./compiler/abstractinterpretation.jl:837 abstract_eval at ./compiler/abstractinterpretation.jl:907 typeinf_local at ./compiler/abstractinterpretation.jl:1164 typeinf_nocycle at ./compiler/abstractinterpretation.jl:1220 typeinf at ./compiler/typeinfer.jl:12 typeinf_edge at ./compiler/typeinfer.jl:482 abstract_call_method at ./compiler/abstractinterpretation.jl:369 abstract_call_gf_by_type at ./compiler/abstractinterpretation.jl:92 abstract_call at ./compiler/abstractinterpretation.jl:808 abstract_call at ./compiler/abstractinterpretation.jl:598 abstract_eval_call at ./compiler/abstractinterpretation.jl:837 abstract_eval at ./compiler/abstractinterpretation.jl:907 typeinf_local at ./compiler/abstractinterpretation.jl:1164 typeinf_nocycle at ./compiler/abstractinterpretation.jl:1220 typeinf at ./compiler/typeinfer.jl:12 typeinf_edge at ./compiler/typeinfer.jl:482 abstract_call_method at ./compiler/abstractinterpretation.jl:369 abstract_call_gf_by_type at ./compiler/abstractinterpretation.jl:92 abstract_call at ./compiler/abstractinterpretation.jl:808 abstract_call at ./compiler/abstractinterpretation.jl:598 abstract_eval_call at ./compiler/abstractinterpretation.jl:837 abstract_eval at ./compiler/abstractinterpretation.jl:907 typeinf_local at ./compiler/abstractinterpretation.jl:1150 typeinf_nocycle at ./compiler/abstractinterpretation.jl:1220 typeinf at ./compiler/typeinfer.jl:12 typeinf_edge at ./compiler/typeinfer.jl:482 abstract_call_method at ./compiler/abstractinterpretation.jl:369 abstract_call_gf_by_type at ./compiler/abstractinterpretation.jl:92 abstract_call at ./compiler/abstractinterpretation.jl:808 abstract_call at ./compiler/abstractinterpretation.jl:598 abstract_eval_call at ./compiler/abstractinterpretation.jl:837 abstract_eval at ./compiler/abstractinterpretation.jl:907 typeinf_local at ./compiler/abstractinterpretation.jl:1164 typeinf_nocycle at ./compiler/abstractinterpretation.jl:1220 typeinf at ./compiler/typeinfer.jl:12 typeinf_ext at ./compiler/typeinfer.jl:568 typeinf_ext at ./compiler/typeinfer.jl:599 jfptr_typeinf_ext_1 at /home/jagot/prog/julia/julia/usr/lib/julia/sys.so (unknown line) jl_apply_generic at /home/jagot/prog/julia/julia/src/gf.c:2191 jl_apply at /home/jagot/prog/julia/julia/src/julia.h:1604 [inlined] jl_type_infer at /home/jagot/prog/julia/julia/src/gf.c:207 jl_compile_method_internal at /home/jagot/prog/julia/julia/src/gf.c:1773 jl_apply_generic at /home/jagot/prog/julia/julia/src/gf.c:2196 do_call at /home/jagot/prog/julia/julia/src/interpreter.c:323 eval_value at /home/jagot/prog/julia/julia/src/interpreter.c:411 eval_stmt_value at /home/jagot/prog/julia/julia/src/interpreter.c:362 [inlined] eval_body at /home/jagot/prog/julia/julia/src/interpreter.c:758 jl_interpret_toplevel_thunk_callback at /home/jagot/prog/julia/julia/src/interpreter.c:884 Interpreter frame (ip: 0) Core.CodeInfo(code=Array{Any, (3,)}[ Expr(:call, :Fock, :atom), :fock = SSAValue(1), Expr(:return, SSAValue(1))], codelocs=Array{Int32, (3,)}[1, 1, 1], ssavaluetypes=3, ssaflags=Array{UInt8, (0,)}[], method_for_inference_limit_heuristics=nothing, linetable=Array{Any, (1,)}[Core.LineInfoNode(method=Symbol("top-level scope"), file=Symbol("/home/jagot/work/projects/td-cis/csfs/atoms-unreachable/test3.jl"), line=17, inlined_at=0)], slotnames=Array{Symbol, (0,)}[], slotflags=Array{UInt8, (0,)}[], slottypes=nothing, rettype=Any, parent=nothing, min_world=1, max_world=-1, inferred=false, inlineable=false, propagate_inbounds=false, pure=false)jl_interpret_toplevel_thunk at /home/jagot/prog/julia/julia/src/interpreter.c:893 jl_toplevel_eval_flex at /home/jagot/prog/julia/julia/src/toplevel.c:797 jl_parse_eval_all at /home/jagot/prog/julia/julia/src/ast.c:873 jl_load at /home/jagot/prog/julia/julia/src/toplevel.c:861 include at ./boot.jl:328 [inlined] include_relative at ./loading.jl:1094 include at ./Base.jl:31 jl_apply_generic at /home/jagot/prog/julia/julia/src/gf.c:2191 include at ./client.jl:431 jl_apply_generic at /home/jagot/prog/julia/julia/src/gf.c:2197 do_call at /home/jagot/prog/julia/julia/src/interpreter.c:323 eval_value at /home/jagot/prog/julia/julia/src/interpreter.c:411 eval_stmt_value at /home/jagot/prog/julia/julia/src/interpreter.c:362 [inlined] eval_body at /home/jagot/prog/julia/julia/src/interpreter.c:758 jl_interpret_toplevel_thunk_callback at /home/jagot/prog/julia/julia/src/interpreter.c:884 Interpreter frame (ip: 0) Core.CodeInfo(code=Array{Any, (2,)}[ Expr(:call, :include, "test3.jl"), Expr(:return, SSAValue(1))], codelocs=Array{Int32, (2,)}[1, 1], ssavaluetypes=2, ssaflags=Array{UInt8, (0,)}[], method_for_inference_limit_heuristics=nothing, linetable=Array{Any, (1,)}[Core.LineInfoNode(method=Symbol("top-level scope"), file=Symbol("REPL[2]"), line=1, inlined_at=0)], slotnames=Array{Symbol, (0,)}[], slotflags=Array{UInt8, (0,)}[], slottypes=nothing, rettype=Any, parent=nothing, min_world=1, max_world=-1, inferred=false, inlineable=false, propagate_inbounds=false, pure=false)jl_interpret_toplevel_thunk at /home/jagot/prog/julia/julia/src/interpreter.c:893 jl_toplevel_eval_flex at /home/jagot/prog/julia/julia/src/toplevel.c:797 jl_toplevel_eval_flex at /home/jagot/prog/julia/julia/src/toplevel.c:746 jl_toplevel_eval_in at /home/jagot/prog/julia/julia/src/toplevel.c:826 eval at ./boot.jl:330 jl_apply_generic at /home/jagot/prog/julia/julia/src/gf.c:2191 eval_user_input at /home/jagot/prog/julia/julia/usr/share/julia/stdlib/v1.3/REPL/src/REPL.jl:86 macro expansion at /home/jagot/prog/julia/julia/usr/share/julia/stdlib/v1.3/REPL/src/REPL.jl:118 [inlined] #26 at ./task.jl:268 jl_apply_generic at /home/jagot/prog/julia/julia/src/gf.c:2191 jl_apply at /home/jagot/prog/julia/julia/src/julia.h:1604 [inlined] start_task at /home/jagot/prog/julia/julia/src/task.c:583 unknown function (ip: 0xffffffffffffffff) Unreachable reached at 0x7fd5fa9495c6 signal (4): Illegal instruction in expression starting at /home/jagot/work/projects/td-cis/csfs/atoms-unreachable/test3.jl:17 Type at /home/jagot/.julia/packages/Atoms/WYM3H/src/orbital_integrals.jl:81 unknown function (ip: 0x7fd5fa94964e) jl_apply_generic at /home/jagot/prog/julia/julia/src/gf.c:2197 push_common_integral! at /home/jagot/.julia/packages/Atoms/WYM3H/src/common_integrals.jl:22 unknown function (ip: 0x7fd5fa9481d2) jl_apply_generic at /home/jagot/prog/julia/julia/src/gf.c:2197 append_common_integrals! at /home/jagot/.julia/packages/Atoms/WYM3H/src/common_integrals.jl:34 jl_apply_generic at /home/jagot/prog/julia/julia/src/gf.c:2197 #diff#60 at /home/jagot/.julia/packages/Atoms/WYM3H/src/equations.jl:190 unknown function (ip: 0x7fd67a7b971b) jl_apply_generic at /home/jagot/prog/julia/julia/src/gf.c:2197 diff at /home/jagot/.julia/packages/Atoms/WYM3H/src/equations.jl:160 jl_apply_generic at /home/jagot/prog/julia/julia/src/gf.c:2197 diff at /home/jagot/.julia/packages/Atoms/WYM3H/src/equations.jl:160 jl_apply_generic at /home/jagot/prog/julia/julia/src/gf.c:2197 #Fock#3 at /home/jagot/.julia/packages/SCF/ajthS/src/fock.jl:17 jl_apply_generic at /home/jagot/prog/julia/julia/src/gf.c:2197 Type at /home/jagot/.julia/packages/SCF/ajthS/src/fock.jl:17 jl_apply_generic at /home/jagot/prog/julia/julia/src/gf.c:2197 do_call at /home/jagot/prog/julia/julia/src/interpreter.c:323 eval_value at /home/jagot/prog/julia/julia/src/interpreter.c:411 eval_stmt_value at /home/jagot/prog/julia/julia/src/interpreter.c:362 [inlined] eval_body at /home/jagot/prog/julia/julia/src/interpreter.c:758 jl_interpret_toplevel_thunk_callback at /home/jagot/prog/julia/julia/src/interpreter.c:884 unknown function (ip: 0xfffffffffffffffe) unknown function (ip: 0x7fd5fef6aa8f) unknown function (ip: 0xffffffffffffffff) jl_interpret_toplevel_thunk at /home/jagot/prog/julia/julia/src/interpreter.c:893 jl_toplevel_eval_flex at /home/jagot/prog/julia/julia/src/toplevel.c:797 jl_parse_eval_all at /home/jagot/prog/julia/julia/src/ast.c:873 jl_load at /home/jagot/prog/julia/julia/src/toplevel.c:861 include at ./boot.jl:328 [inlined] include_relative at ./loading.jl:1094 include at ./Base.jl:31 jl_apply_generic at /home/jagot/prog/julia/julia/src/gf.c:2191 include at ./client.jl:431 jl_apply_generic at /home/jagot/prog/julia/julia/src/gf.c:2197 do_call at /home/jagot/prog/julia/julia/src/interpreter.c:323 eval_value at /home/jagot/prog/julia/julia/src/interpreter.c:411 eval_stmt_value at /home/jagot/prog/julia/julia/src/interpreter.c:362 [inlined] eval_body at /home/jagot/prog/julia/julia/src/interpreter.c:758 jl_interpret_toplevel_thunk_callback at /home/jagot/prog/julia/julia/src/interpreter.c:884 unknown function (ip: 0xfffffffffffffffe) unknown function (ip: 0x7fd692cf610f) unknown function (ip: 0xffffffffffffffff) jl_interpret_toplevel_thunk at /home/jagot/prog/julia/julia/src/interpreter.c:893 jl_toplevel_eval_flex at /home/jagot/prog/julia/julia/src/toplevel.c:797 jl_toplevel_eval_flex at /home/jagot/prog/julia/julia/src/toplevel.c:746 jl_toplevel_eval_in at /home/jagot/prog/julia/julia/src/toplevel.c:826 eval at ./boot.jl:330 jl_apply_generic at /home/jagot/prog/julia/julia/src/gf.c:2191 eval_user_input at /home/jagot/prog/julia/julia/usr/share/julia/stdlib/v1.3/REPL/src/REPL.jl:86 macro expansion at /home/jagot/prog/julia/julia/usr/share/julia/stdlib/v1.3/REPL/src/REPL.jl:118 [inlined] #26 at ./task.jl:268 jl_apply_generic at /home/jagot/prog/julia/julia/src/gf.c:2191 jl_apply at /home/jagot/prog/julia/julia/src/julia.h:1604 [inlined] start_task at /home/jagot/prog/julia/julia/src/task.c:583 unknown function (ip: 0xffffffffffffffff) Allocations: 195175337 (Pool: 195140962; Big: 34375); GC: 499 zsh: illegal hardware instruction (core dumped) ~/prog/julia/julia/julia