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.

Sign up for GitHub

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

Jump to bottom

Unexpected error in runtime on nightly #23786

Closed
tkoolen opened this issue Sep 20, 2017 · 5 comments
Closed

Unexpected error in runtime on nightly #23786

tkoolen opened this issue Sep 20, 2017 · 5 comments
Assignees
@JeffBezanson
Labels
bug Indicates an unexpected problem or unintended behavior compiler:inference Type inference types and dispatch Types, subtyping and method dispatch

Comments

@tkoolen
Copy link
Contributor

tkoolen commented Sep 20, 2017

Similar to #22431, but this is not on a 32 bit machine and the stack trace is different, so I thought it might be unrelated.

Running Pkg.test("TypeSortedCollections") for tkoolen/TypeSortedCollections.jl@84ba361 results in

Internal error: encountered unexpected error in runtime:
MethodError(f=typeof(Base.string)(), args=(Expr(:||, Expr(:call, Symbol("!"), Expr(:call, :isa, :t, :Type)::Any)::Any, Expr(:<:, :t, :r)::Any)::Any,), world=0x0000000000000b29)
rec_backtrace at /Users/osx/buildbot/slave/package_osx10_9-x64/build/src/stackwalk.c:87
record_backtrace at /Users/osx/buildbot/slave/package_osx10_9-x64/build/src/task.c:246 [inlined]
jl_throw at /Users/osx/buildbot/slave/package_osx10_9-x64/build/src/task.c:568
jl_method_error_bare at /Users/osx/buildbot/slave/package_osx10_9-x64/build/src/gf.c:1477
jl_method_error at /Users/osx/buildbot/slave/package_osx10_9-x64/build/src/gf.c:1495
jl_lookup_generic_ at /Users/osx/buildbot/slave/package_osx10_9-x64/build/src/gf.c:1933
jl_apply_generic at /Users/osx/buildbot/slave/package_osx10_9-x64/build/src/gf.c:1953
limit_type_depth at ./inference.jl:813
jlcall_limit_type_depth_922 at /Applications/Julia-0.7.app/Contents/Resources/julia/lib/julia/sys.dylib (unknown line)
abstract_call_method at ./inference.jl:1840
abstract_call_gf_by_type at ./inference.jl:1747
abstract_call at ./inference.jl:2325
abstract_eval_call at ./inference.jl:2355
abstract_eval at ./inference.jl:2378
#200 at ./<missing>:0
next at ./generator.jl:45
copy! at ./abstractarray.jl:575
_collect at ./array.jl:591
collect at ./array.jl:588
abstract_eval_call at ./inference.jl:2329
abstract_eval at ./inference.jl:2378
typeinf_work at ./inference.jl:3204
typeinf at ./inference.jl:3269
typeinf_edge at ./inference.jl:3012
abstract_call_method at ./inference.jl:1862
abstract_call_gf_by_type at ./inference.jl:1747
abstract_call at ./inference.jl:2325
abstract_eval_call at ./inference.jl:2355
abstract_eval at ./inference.jl:2378
typeinf_work at ./inference.jl:3204
typeinf at ./inference.jl:3269
typeinf_edge at ./inference.jl:3012
abstract_call_method at ./inference.jl:1862
abstract_call_gf_by_type at ./inference.jl:1747
abstract_call at ./inference.jl:2325
abstract_eval_call at ./inference.jl:2355
abstract_eval at ./inference.jl:2378
#200 at ./<missing>:0
next at ./generator.jl:45
copy! at ./abstractarray.jl:575
_collect at ./array.jl:591
collect at ./array.jl:588
abstract_eval_call at ./inference.jl:2329
abstract_eval at ./inference.jl:2378
typeinf_work at ./inference.jl:3204
typeinf at ./inference.jl:3269
typeinf_edge at ./inference.jl:3012
abstract_call_method at ./inference.jl:1862
abstract_call_gf_by_type at ./inference.jl:1747
abstract_call at ./inference.jl:2325
abstract_eval_call at ./inference.jl:2355
abstract_eval at ./inference.jl:2378
abstract_interpret at ./inference.jl:2541
typeinf_work at ./inference.jl:3142
typeinf at ./inference.jl:3269
typeinf_edge at ./inference.jl:3012
abstract_call_method at ./inference.jl:1862
abstract_call_gf_by_type at ./inference.jl:1747
abstract_call at ./inference.jl:2325
abstract_apply at ./inference.jl:1999
abstract_call at ./inference.jl:2117
abstract_eval_call at ./inference.jl:2355
abstract_eval at ./inference.jl:2378
abstract_interpret at ./inference.jl:2541
typeinf_work at ./inference.jl:3142
typeinf at ./inference.jl:3269
typeinf_edge at ./inference.jl:3012
abstract_call_method at ./inference.jl:1862
abstract_call_gf_by_type at ./inference.jl:1747
abstract_call at ./inference.jl:2325
abstract_apply at ./inference.jl:1999
abstract_call at ./inference.jl:2117
abstract_eval_call at ./inference.jl:2355
abstract_eval at ./inference.jl:2378
typeinf_work at ./inference.jl:3204
typeinf at ./inference.jl:3269
typeinf_edge at ./inference.jl:3012
abstract_call_method at ./inference.jl:1862
abstract_call_gf_by_type at ./inference.jl:1747
abstract_call at ./inference.jl:2325
abstract_eval_call at ./inference.jl:2355
abstract_eval at ./inference.jl:2378
#200 at ./<missing>:0
next at ./generator.jl:45
copy! at ./abstractarray.jl:575
_collect at ./array.jl:591
collect at ./array.jl:588
abstract_eval_call at ./inference.jl:2329
abstract_eval at ./inference.jl:2378
abstract_interpret at ./inference.jl:2533
typeinf_work at ./inference.jl:3142
typeinf at ./inference.jl:3269
typeinf_ext at ./inference.jl:3106
jlcall_typeinf_ext_0 at /Applications/Julia-0.7.app/Contents/Resources/julia/lib/julia/sys.dylib (unknown line)
jl_apply at /Users/osx/buildbot/slave/package_osx10_9-x64/build/src/./julia.h:1449 [inlined]
jl_apply_with_saved_exception_state at /Users/osx/buildbot/slave/package_osx10_9-x64/build/src/rtutils.c:249
jl_type_infer at /Users/osx/buildbot/slave/package_osx10_9-x64/build/src/gf.c:263
jl_toplevel_eval_flex at /Users/osx/buildbot/slave/package_osx10_9-x64/build/src/toplevel.c:617
jl_parse_eval_all at /Users/osx/buildbot/slave/package_osx10_9-x64/build/src/ast.c:913
jl_load at /Users/osx/buildbot/slave/package_osx10_9-x64/build/src/toplevel.c:645 [inlined]
jl_load_ at /Users/osx/buildbot/slave/package_osx10_9-x64/build/src/toplevel.c:652
include_relative at ./loading.jl:464
include at ./sysimg.jl:14
process_options at ./client.jl:315
_start at ./client.jl:383
true_main at /Applications/Julia-0.7.app/Contents/Resources/julia/bin/julia (unknown line)
main at /Applications/Julia-0.7.app/Contents/Resources/julia/bin/julia (unknown line)
ERROR: LoadError: UndefVarError: #temp# not defined
Stacktrace:
 [1] macro expansion at ./test.jl:937 [inlined]
 [2] anonymous at ./<missing>:?
 [3] include_relative(::Module, ::String) at ./loading.jl:464
 [4] include(::Module, ::String) at ./sysimg.jl:14
 [5] process_options(::Base.JLOptions) at ./client.jl:315
 [6] _start() at ./client.jl:383
while loading /Users/twan/code/julia/RigidBodyDynamics/v0.7/TypeSortedCollections/test/runtests.jl, in expression starting on line 212

Version info:

julia> versioninfo()
Julia Version 0.7.0-DEV.1716
Commit fc2e1e1b7f (2017-09-08 10:53 UTC)
Platform Info:
  OS: macOS (x86_64-apple-darwin13.4.0)
  CPU: Intel(R) Core(TM) i7-3820QM CPU @ 2.70GHz
  WORD_SIZE: 64
  BLAS: libopenblas (USE64BITINT DYNAMIC_ARCH NO_AFFINITY Sandybridge)
  LAPACK: libopenblas64_
  LIBM: libopenlibm
  LLVM: libLLVM-3.9.1 (ORCJIT, ivybridge)
Environment:
  JULIA_PKGDIR = /Users/twan/code/julia/RigidBodyDynamics

It also happens on Travis Ubuntu. 0.6 is fine.
@tkoolen tkoolen mentioned this issue Sep 20, 2017
Closed
@JeffBezanson JeffBezanson added compiler:inference Type inference types and dispatch Types, subtyping and method dispatch labels Sep 20, 2017
@JeffBezanson
Copy link
Member

I've seen this a couple times too.

@maleadt
Copy link
Member

maleadt commented Sep 20, 2017

ASAN doesn't find anything suspicious.

@JeffBezanson
Copy link
Member

limit_type_depth converted the first of these types to the second, which is not a supertype of it:

Tuple{typeof(Base.Broadcast.broadcast_indices),
      Type{TypeSortedCollections.TypeSortedCollection{D, N} where N where D<:Tuple{Vararg{Array{T, 1} where T, N} where N}}}

Tuple{typeof(Base.Broadcast.broadcast_indices),
      Type{TypeSortedCollections.TypeSortedCollection{D, N} where N where D<:Tuple}}

@JeffBezanson JeffBezanson self-assigned this Sep 20, 2017
@JeffBezanson JeffBezanson added the bug Indicates an unexpected problem or unintended behavior label Sep 20, 2017
JeffBezanson added a commit that referenced this issue Sep 20, 2017
@JeffBezanson
fix an invariance bug in limit_type_depth. part of #23786
bec2174
JeffBezanson added a commit that referenced this issue Sep 21, 2017
@JeffBezanson
fix an invariance bug in limit_type_depth. part of #23786 (#23800)
ff9fb48
@tkoolen tkoolen mentioned this issue Sep 23, 2017
Closed
@tkoolen
Copy link
Contributor Author

tkoolen commented Sep 23, 2017

I'm fine with this being closed; the additional issue noted in #23800 (comment) seems separate.

@tkoolen
Copy link
Contributor Author

tkoolen commented Sep 23, 2017

Opened a separate issue: #23848.

@tkoolen tkoolen closed this as completed Sep 23, 2017
ararslan pushed a commit that referenced this issue Nov 7, 2017
@JeffBezanson @ararslan
fix an invariance bug in limit_type_depth. part of #23786 (#23800)
dab2df2 
(cherry picked from commit ff9fb48)
ararslan pushed a commit that referenced this issue Nov 8, 2017
@JeffBezanson @ararslan
fix an invariance bug in limit_type_depth. part of #23786 (#23800)
5527652 
(cherry picked from commit ff9fb48)
ararslan pushed a commit that referenced this issue Nov 8, 2017
@JeffBezanson @ararslan
fix an invariance bug in limit_type_depth. part of #23786 (#23800)
4a8d3a6 
(cherry picked from commit ff9fb48)
@benlorenz benlorenz mentioned this issue Jun 19, 2020
Closed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@JeffBezanson JeffBezanson

Labels
bug Indicates an unexpected problem or unintended behavior compiler:inference Type inference types and dispatch Types, subtyping and method dispatch
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
3 participants
@maleadt @JeffBezanson @tkoolen