Path: utzoo!utgpu!jarvis.csri.toronto.edu!mailrus!csd4.milw.wisc.edu!bionet!agate!ucbvax!hplabs!hpfcdc!marc
From: marc@hpfcdc.HP.COM (Marc 'Sphere' Sabatella)
Newsgroups: comp.lang.misc
Subject: Re: Re: "continue" in Turing
Message-ID: <5160012@hpfcdc.HP.COM>
Date: 30 Jan 89 19:08:07 GMT
References: <8901280522.AA16921@ellesmere.csri.toronto.edu>
Organization: HP Ft. Collins, Co.
Lines: 37

/ hpfcdc:comp.lang.misc / migod@csri.toronto.edu (Mike Godfrey) / 10:22 pm  Jan 27, 1989 /
In article <5200038@m.cs.uiuc.edu> wsmith@m.cs.uiuc.edu writes:
>>
>>Now my question, in this framework, is there a Turing equivalent to the C:
>>
>>		if (condition3) continue;
>>
>>If not, it is a serious omission.
>
>Hmm, I can only guess that you mean "Does Turing have some sort of do-nothing 
>statement?" As it turns out, the answer is yes and it looks like this:
>
>Get it?  The null statement is a part of Turing.

No, that is not the same thing:

while (c)
{
	A;
	if (condition3)
		continue;
	B;
}

The "continue" is not a "null statement" in C as it is in Fortran.
I don't know if this is easily modelled in Turing or not.

This is the same objection I have to the otherwise clever idea having a
unified "struct ... tcurts" statement which handled basic block statements,
if-then, if-then-else, and loops with a single syntax.  It couldn't handle
"break" or "continue" that occurred within an "if" within a loop.  I thought
it was otherwise a wonderfully elegant idea.

--------------
Marc Sabatella
HP Colorado Language Lab
marc%hpfcrt@hplabs.hp.com