World: r3wp

And the while [return 55][print 1] behavior is because of bug#1509, 
it's not intentional.

Steeve, the intrinsic part of DO isn't called by DO block!, just 
by DO string!, DO file! or DO url!.

Sunanda, we only have your word for it that do "while [] []" is bad 
code. You have done nothing to tell the interpreter that it is bad, 
and other programmers might be doing it on purpose. The interpreter 
can't tell the difference: It's all in your head. That's not an insult, 
it's an unresolvable communication problem between your intentions 
and the interpreter. The interpreter has to take you at your word, 
what you said to it is do "while [] []". Which it can, so it will.

R3 isn't psychic. Anyone want to write an extension for that? Maxim? 
:)

I'm well aware of this, Brian :)
>> attempt [do "while [] []"] print 'true

And if i can trust my eyes,   it''s a DO string! in Sunanda's example

Not just my word. Brian. If I type....
  do "while [] []"

..... in the console (R2 or R3), the _console_ tells me it is bad 
code.


Now, without wanting to reopen all the dicussion that has gone before, 
at the very least, this establishes that the console is not (in some 
cases) a good guide to how a line of code will be interpreted in 
a larger script.


Which goes against the traditional advice that the console is your 
friend -- such as offered here:
   http://www.rebol.org/ml-display-message.r?m=rmlMGGC

right, Sunanda, I guess, that this is related to CC #851

(and that it has to be corrected)

Re the while [return 55][print 1] behaviour in R2 - that is clearly 
caused by the fact, that the COND-BLOCK is (esp. in R2) handled differently 
than the BODY-BLOCK; the behaviour of UNTIL looks OK in R2

Steeve, I thought you were talking about the while [return 55][print 
1] code, which would be affected by the [throw] attribute because 
it has a return in it. The attempt [do "while [] []"] print 'true 
does get processed by the intrinsic, but doesn't fail (it works correctly) 
and wouldn't be affected by [throw] because it doesn't have a return 
in it.

Then, how do you explain this ?

>> attempt [do "while [][]"]
** Script error: block did not return a value
** Where: while catch either applier do attempt
** Near: while [] []

>> attempt [do [while [][]]]
== none

Sunanda, whoops, you meant the TRY [CATCH/QUIT [...]] bug. It's already 
been reported.

Ladislav mentioned it: #851.

Well, it's comming from the intrinsic part still :)

Right. I just thought that you were talking about his other code 
because of the return. Interestingly, while [return 55][print 1] 
is buggy in both R2 and R3, but the bugs are different.

Sunanda, it turns out that the while [return 55][print 1] bug hasn't 
been reported yet. It's related to bug#1509, but not quite the same 
thing. I'll report it later today.

Thanks, Brian.....

.....Sounds like it needs a RAMBO and a CC report :)

If it's not in the RAMBO records when they get migrated to CureCode, 
I'll submit it.

Sunanda/Andreas/BrianH: check my comment to the CC #1506 containing 
a B-CATCH/B-THROW example of a dynamic construct allowing an "in 
time detection" of unhandled throw

I am curious, how many users actually use the named Throw?

what is there to throw? :-) ..... hence -1 :-)

Ladislav: very nice

It's always good to see how easily we can emulate changes of internals 
at the REBOL level

I think `:result` should be `get/any 'result`, though

And named throw/catch should be easy to add as well, by just keeping 
a "stack" of handled names

A suggestion: http://bolka.at/share/bug1506-throw.r[temporary URL]

just a side note: I do not like named throws, because they can be 
caught by unnamed Catch, but not rethrown from it (the name is unavailable)

Ah, yes. I don't like that as well, so of course I forgot about it.

:result versus get/any 'result - these are equivalent in R3

Must have tested it with R2, then.

Ok, updated the script so that unnamed catch catches named throws:

b-catch [b-throw/name 42 'foo] ; == 42

but, anyway, when we are at discussing it, isn't there a proposal 
to improve the named throw behaviour?

Is it supposed to actually "emulate" a definitionally scoped catch/throw?

Named catch/throw, you mean?

yes

I'm not sure.

Nevertheless, my guess is, that:
1) named throw is not used by Rebol users
2) it can be safely discarded therefore

Yes, it actually seems to be that way.

I grepped through the R2/R3 mezzanines and some library scripts, 
and this seems to confirm your guess.

will post that to the blog too

I think it actually Boils down to the question what the named catch/throw 
is or should actually

.. be used for.

Is used for: not much. Should be used for: not much as well, as I 
think we could have better solutions for most error handling scenarios.

This would then leave us with the "classical" Common Lisp-style use 
of named catch/throw for non-local exits. And for this use-case, 
a definitionally scoped name would certainly be the right thing to 
do, imho.

Maarten and I used a named throw in a proejct for Qtask, but I don't 
use it much. The question is, *should* we use it more, and what are 
the scenarios? It does make some handling read cleaner to me. 

Maybe Carl can say what he envisioned when he designed it.

Ladislav, your B-CATCH/B-THROW example is similar to what I suggested 
in an earlier comment, but in code form. Nice code :)

And I use names CATCH and THROW.

I never tried to catch a named throw without a named catch. If that 
is possible, that is a major bug and should be reported.