[Oberon] Oberon-07 formal context free

[Tomas Kral]

Hi,

PROCEDURE M.P(); (*procedure*)
PROCEDURE M.P; (*command*)

Actually () really matters sometimes

MODULE M;
PROCEDURE P1(): REAL;
PROCEDURE P2(x: REAL);

M.P2( P1() )

While P1 on its own refers to procedure pointer.

m: Methods;
m.do := P1;

Read a bit on `Compiler construction', formalism and context free
allows for simple compiler coding from EBNF.

Oberon-07 has a few exceptions to free context, if I got the idea
right?

-- 
Tomas Kral <thomas.kral at email.cz>