continuation taken?

[John M. Dlugosz]

In S04, "Note that temporizations that are undone upon scope exit must be 
prepared to be redone if a continuation within that scope is taken."


What will create a continuation there and how do you take it?

That is, how will this ever happen?

--John

"Code-only forms"?

[John M. Dlugosz]

In S04, "Other similar Code-only forms ..."
What does that mean?

Re: Design of the "code" classes

[Moritz Lenz]

John M. Dlugosz wrote:
> I wrote up a summary and some notes and posted at 
> .

I think what the discussion is missing that there Regexes are also
Callable (I think so, at least).

Also I'm not sure that Routine actually isa Block, because a Block can
be left with leave(), but I'm not sure if a Routine can be (that's what
return() is for).

So I'd say

role Callable { ... }
class Regex does Callable { ...  }
class Code does Callable
class Block is Code
class Routine is Code

> Can we come to a definitive statement of the Callable/Code/Block/Routine 
> types, relative to the hints that are in the synopses thus far?
> 
> What I would like to do is get a consensus to write this up formally in 
> my specdoc, and I'll also mark up the synopses files with the 
> inconsistencies and proposed new wording, for Larry (the document owner) 
> to have.
> 
> --John


-- 
Moritz Lenz
http://moritz.faui2k3.org/ |  http://perl-6.de/

Re: Design of the "code" classes

[John M. Dlugosz]

Moritz Lenz moritz-at-casella.verplant.org |Perl 6| wrote:

I think what the discussion is missing that there Regexes are also
Callable (I think so, at least).


Yes, you are right.  S05 says that a named regex is an object of type Method 
actually.  They are just another syntax for writing Rules.  When would you care 
whether something is (a) just another sub that has the correct signature and was 
written from scratch; (b) written using regex syntax inline, (c) written using a 
named regex, or (d) written as a Rule ?


--John





Also I'm not sure that Routine actually isa Block, because a Block can
be left with leave(), but I'm not sure if a Routine can be (that's what
return() is for).

So I'd say

role Callable { ... }
class Regex does Callable { ...  }
class Code does Callable
class Block is Code
class Routine is Code

Can we come to a definitive statement of the Callable/Code/Block/Routine 
types, relative to the hints that are in the synopses thus far?


What I would like to do is get a consensus to write this up formally in 
my specdoc, and I'll also mark up the synopses files with the 
inconsistencies and proposed new wording, for Larry (the document owner) 
to have.


--John