lib/icl/sublanguage.ml


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22

module Make (NT : Nt.S) = struct
  module Exec = Executor.Make (NT)

  type configuration = unit
  type ast = Ast.statement
  type error = Exec.error

  let name = "icl"
  let parse _ = Ok ()

  let parse_sexp sexp =
    match Parser.of_sexp sexp with
    | Ok r -> Ok r
    | Error (Parser.ParseError s) -> Error (Exec.ParseError s)

  let execute ctx ast =
    match Exec.execute ctx ast with
    | Ok (delta, _msg) -> Ok (Sublanguage_types.Transition delta)
    | Error e -> Error e

  let sexp_of_error = Exec.sexp_of_error
end