The following is an invalid µOCCAM program. The comment symbol cannot have spaces in the middle of the two "-"'s. Comments should be indented al least as much as the following statement so as the colon should be indented to the same level as PROC, the comment is in the wrong place.
-- program to test comments and indentation INT m: SEQ - - this is not a comment, the -'s should be together PROC m () -- empty brackets should be allowed!! -- this comment should not be allowed here SKIP : -- this colon should be indented to the same level as PROC