🚀 go-pugleaf

In article <10180@brazos.Rice.edu>, preston@erato.rice.edu (Preston Briggs)
says:
>You're correct that it isn't specified in the syntax.
>I think it probably can't be.  However, the compiler
>can still detect that there exists a path from the entrance
>to the END of a function with no RETURN.  It's one of the
>advantages of using control constructs with the infamous
>"single-entrance, single-exit" property.
>
>If people are curious, I can show how it works;
>but it'll be a somewhat involved posting.
>
I would be very interested in that (references would be fine if the posting
were too long).  However, you state the "single-entrance, single-exit"
requirement, which Modula-2 neatly destroys with LOOP..END.  Is that require-
ment necessary for the algorithm to work?

-Tim Larson
trl3@psuvm.bitnet
"I still have the greatest confidence in our mission..." -HAL 9000