Back to table

Scope test

The following is an invalid µOCCAM program. Invalid because variabled used outside procedure where it is defined.

Program file: /public/cs3/web/ipptests/scopetest.reject
INT test:

PROC hello(INT scope, INT y)
  test := scope + y
:

SEQ
  INT x = 5:
  INT y = 9:
  hello(x,y)
  test := scope