CHANGELOG (p.pratter.3.0.0.doc.CHANGELOG)

🧨 Removed the functor interface, the parser is a single function taking two functions and a stream of terms as parameters.

No more table type needed, the parser only needs a function is_op to distinguish operators from other tokens.

To port code, any snippet like

module S : SUPPORT = struct
  type term = ...
  type table = ...
  let get tbl t = ...
  let make_appl t u = ...
end
module P = Pratter.Make(S)

should be replaced by

let is_op t = ...
let appl t u = ...

where the following properties hold

Under these assumptions, denoting tbl the value that makes the second hypothesis hold, we have P.expression tbl = Pratter.expression ~is_op ~appl

Postfix operators
Comparison against a YACC parser for a small arithmetic-like language of the form t ::= t t | t + t | - t | t * t | t = t | t !

🧨 Errors are encoded with a polymorphic variant rather than exceptions. To port code, replace sections of the form

  try let t = SupPrat.expression tbl s in e with
| ... -> ...

with

  match SupPrat.expression tbl s with
| Ok t -> e
| Error ... -> ...

Depends on camlp-streams (because Stdlib.Stream becomes deprecated in OCaml 4.14).
New continuous integration recipe.