wrongtype test

The following is an invalid µOCCAM program. This test assigns an interger to a CHAN which is not legal.

INT a:
CHAN b:

SEQ
  a := 5 
  b := 6