bugfix: unify TypedSlot and SlotNumber

Author: KDr2

src/tapedfunction.jl

@@ -247,7 +247,8 @@ function bind_var!(var::QuoteNode, tbind::TempBindings, ir::Core.CodeInfo)
     bind_var!(eval(var), tbind, ir)
 end
 function bind_var!(var::Core.TypedSlot, tbind::TempBindings, ir::Core.CodeInfo)
-    get!(tbind.book, var, allocate_binding!(var, tbind, ir.slottypes[var.id]))
+    # turn TypedSlot to SlotNumber
+    bind_var!(Core.SlotNumber(var.id), tbind, ir)
 end
 function bind_var!(var::Core.SlotNumber, tbind::TempBindings, ir::Core.CodeInfo)
     get!(tbind.book, var, allocate_binding!(var, tbind, ir.slottypes[var.id]))
@@ -280,7 +281,7 @@ function translate!(tape::RawTape, ir::Core.CodeInfo)
         push!(tape, ins)
     end
     for (k, v) in bcache
-        isa(k, Union{Core.TypedSlot, Core.SlotNumber}) && (slots[k.id] = v)
+        isa(k, Core.SlotNumber) && (slots[k.id] = v)
     end
     return (bindings, slots, tape)
 end

src/tapedtask.jl

@@ -174,7 +174,7 @@ function Base.copy(t::TapedTask; args=())
             # the task is running, we find the real args from the copied bindings
             map(1:length(t.args)) do i
                 s = i + 1
-                haskey(tf.slots, s) ? tf.bindinds[tf.slots[s]] : t.args[i]
+                haskey(tf.slots, s) ? tf.bindings[tf.slots[s]] : t.args[i]
             end
         else
             # the task is not started yet, but no args is given