package pratter

Raised when there is a priority or associativiy conflict between two operators. The arguments are the terms that generate the conflict.

Raised when more arguments are expected. It is raised for instance on partial application of operators, such as x +.

expression tbl s parses stream of tokens s with table of operators tbl. It transforms a sequence of applications to a structured application tree containing infix and prefix operators. For instance, assuming that + is declared infix, it transforms 3 + 5 + 2, represented as @(@(@(@(3,+),5),+),2) (where @ is the application) into (@(+(@(+,3,5)),2).

• raises TooFewArguments

  when the stream s is empty or does not have enough elements.

• raises OpConflict

  when the input terms cannot be parenthesised unambiguously.