Indents and Comments

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