Tcl Source Code

See http://groups.google.co.uk/group/comp.lang.tcl/browse_frm/thread/521f924c167872a6

allow_comments - 1

File Added - 359760: 2910748-2.patch

Attached amended patch solves the failing test.

Note that the issue here is just a repeat of the same
issue in Bug 2037338.

The execute-8.4 failure is due to the following,
which for the moment I'm thinking is a flaw in
the INST_EVAL_STK instruction:

% proc foo0 {} {
  catch {error bar} m o
  return -options $o $m
}
% proc foo1 {} {
  catch {error bar} m o
  if 1 {return -options $o $m}
}
% proc foo2 {} {
  catch {error bar} m o
  set x 1
  if $x {return -options $o $m}
}
% foo0
bar
% set errorInfo
bar
    while executing
"error bar"
    (procedure "foo0" line 2)
    invoked from within
"foo0"
% foo1
bar
% set errorInfo
bar
    while executing
"error bar"
    (procedure "foo1" line 2)
    invoked from within
"foo1"
% foo2
bar
% set errorInfo
bar
    while executing
"error bar"
    invoked from within
"if $x {return -options $o $m}"
    (procedure "foo2" line 4)
    invoked from within
"foo2"

fixed bug# refs in patch

File Deleted - 359257: 



File Added - 359526: 2910748.diff

The attached patch fixes this issue, BUT it breaks execute-8.4: it was not committed

The new failure may be deemed to be a lesser bug (not prio 9); requesting review by dgp

File Added - 359257: 2037338.diff

On today's HEAD (after some rewrite of coro code) dkf's snippet does not crash, it causes an error instead: 'cannot yield: C stack busy'

Relatedly, the next snippet crashes (tested in a fresh debug build)

proc foo args {};foo;coro bar apply {{} {proc foo args {return ok}; foo; while 1 {yield [incr i];foo}}}

(Apparently, "nasty thing, causes a recompile ... yield in one bytecode, resume in another")

[12:27]dkfI think you'd get the same effect (spoilage of bytecode) by creating a command [proc assert args {}] which you use and then redefining that part way through
[12:28]dkfI suspect that it is bytecode spoilage that's key, not [namespace path] which is adding nothing that is bytecoded