module languages/sdf2/idioms/NoReservedKeywords

exports

sorts S E

context-free start-symbols
  S 

lexical syntax
  [A-Za-z][A-Za-z0-9]* -> E
  [\ \t\n]             -> LAYOUT

context-free syntax
  "IF" E "THEN" S "ELSE" S  -> S
  E "=" E ";"               -> S

%% example term:
%% IF IF THEN THEN = ELSE; ELSE ELSE = THEN;