Getting started

To compile and use pratter, you need

• ocaml >= 4.14
• dune >= 2.7

Then, at the root of the source tree,

$ make install

To ensure it's working write the following code in some file plus.ml

type t = A of t * t | S of string
let appl t u = A (t, u)
let token = Fun.id
let ops =
  Pratter.Operators.(infix (function S "+" as s -> Some s | _ -> None) Left 0.3)
let parse = Pratter.expression ~token ~appl ~ops
let () =
  let input = List.to_seq [ S "x"; S "+"; S "y"] in
  assert (Result.is_ok @@ Pratter.run parse input)

then compile it using $ ocamlfind ocamlc -package pratter -linkpkg plus.ml. Executing $ ./a.out should return 0.

The aforementioned code defines a parser for the language made of strings interspersed with infix + operators

What next?

• There's a change log.
• There's a license.
• This file is another use case example that is slightly more involved than the one in this readme.

You can raise issues either using the issue tracker or sending an email to <koizel#pratter@aleeas.com>.