Als ik de volgende foute(!) Promela-code intik

chan q = [4] of int;    // ipv of {int}

krijg ik de volgende vreemde foutmelding: intern tegenstrijdig en enigszins merkwaardig wordt het keyword “of” als een variabele gezien???

Multiple messages:
- Syntax error, not expected here: ‘=’
- Syntax error, expected: ‘=’
- Variable of is undefined
- Syntax error, not expected here: ‘int’

Submitted by Bob de Vos on 18 August 2011 at 14:28

Ik heb “of” toegevoegd aan de lijst met keywords voor de volgende versie, deze stond daar nog niet. De overige foutmeldingen komen doordat de parser dit wil parsen als een declaratie van een array:

chan q[4]

Dan staat ‘=’ dus op de verkeerde plaats, en is ‘int’ overbodig.