🚀 go-pugleaf

In article <294@tmsoft.UUCP> mason@tmsoft.UUCP (Dave Mason) writes:
>In a language I designed for my students to implement in my compiler
>course loops look like:
>	do
>	   ...
>	   while expr
>	   ...
>	od
>where the while can go anywhere & there can be any number of them...

Unfortunately, somebody modifying code with such a construct will
seldom be sure that he has tracked down all the exit points.  The same
problem exists with goto, exit, break, etc.

A possible solution:

     do (2 exits)
	...
	while expr
	...
	while expr
	...
     done

The assertion "(2 exits)" tells the compiler to flag a syntax error if
the number of loop exits is not exactly 2.  The default, in the absence
of this assertion, could be exactly one exit.  Also "(no exits)".
-- 
Rahul Dhesi         UUCP:  <backbones>!{iuvax,pur-ee,uunet}!bsu-cs!dhesi