🚀 go-pugleaf

In article <1990Jul24.060519.23417@portia.Stanford.EDU> dhinds@portia.Stanford.EDU (David Hinds) writes:

>>PROCEDURE IllBehavedFunc(IWantToBehave: BOOLEAN): BOOLEAN;
>>BEGIN
>>IF IWantToBehave THEN
>>RETURN TRUE
>>END
>>END IllBehavedFunc;

>    I would be very surprised to see a compiler that flagged the above
>routine as an error.  I don't think that leaving the possibility of
>reaching the end of a procedure without a RETURN statement violates the
>syntax of M2 - am I wrong?  If I'm right, then there is no way for the
>compiler, in the general case, to determine if the illegal exit might
>ever be executed.

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.

-- 
Preston Briggs				looking for the great leap forward
preston@titan.rice.edu