module languages/sdf2/idioms/Expressions

exports

sorts E

lexical syntax
  [\ \t\n] -> LAYOUT
  [a-z]+   -> E

context-free start-symbols
  E

context-free syntax
  E "*" E   -> E {left}
  E "+" E   -> E {left}
  "(" E ")" -> E {bracket}

context-free priorities
  E "*" E   -> E >
  E "+" E   -> E

%% example term:
%% a + b * c