Back to table

Too many arguments

The following is an invalid µOCCAM program. This program calls a declared function with too many arguments, and so should be rejected. Apart from that it should be correct.

Program file: /public/cs3/web/ipptests/toomany-arguments.reject
CHAN chan1 :
CHAN chan2 :
INT rats = 5 :
INT cats = 6 :
INT dogs = 7 :
PROC testfunc (INT num, INT num2)
  chan1 ! num
  chan2 ! num2
testfunc (rats, cats, dogs)