Skip to content

Can't handle certain try-catch blocks #194

@mhauru

Description

@mhauru
julia> function g()
           try
               produce(1)
               error("")
           catch
               produce(2)
           end
           return nothing
       end
g (generic function with 1 method)

julia> tt = TapedTask(nothing, g); a = :start; while (a != nothing) a = consume(tt); println(a) end
ERROR: MethodError: no method matching inc_args(::Core.EnterNode)
The function `inc_args` exists, but no method is defined for this combination of argument types.

Closest candidates are:
  inc_args(::Core.ReturnNode)
   @ Libtask ~/.julia/packages/Libtask/EU2aq/src/copyable_task.jl:447
  inc_args(::Libtask.BasicBlockCode.IDPhiNode)
   @ Libtask ~/.julia/packages/Libtask/EU2aq/src/copyable_task.jl:450
  inc_args(::Expr)
   @ Libtask ~/.julia/packages/Libtask/EU2aq/src/copyable_task.jl:446
  ...

Stacktrace:
 [1] derive_copyable_task_ir(ir::Libtask.BasicBlockCode.BBCode)
   @ Libtask ~/.julia/packages/Libtask/EU2aq/src/copyable_task.jl:511
 [2] build_callable(sig::Type{Tuple{typeof(g)}})
   @ Libtask ~/.julia/packages/Libtask/EU2aq/src/copyable_task.jl:89
 [3] TapedTask(taped_globals::Nothing, fargs::Function; kwargs::@Kwargs{})
   @ Libtask ~/.julia/packages/Libtask/EU2aq/src/copyable_task.jl:282
 [4] TapedTask(taped_globals::Nothing, fargs::Function)
   @ Libtask ~/.julia/packages/Libtask/EU2aq/src/copyable_task.jl:279
 [5] top-level scope
   @ REPL[34]:1

I don't have a real-world use case that hits this, just found it when trying to make an MWE of something else.

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions