Source file `parser.ml`

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
module Context = TaglessFinal.Parsing.Context
module Error = TaglessFinal.Parsing.ParseError

let with_context = TaglessFinal.Parsing.with_context

module TaglessFinal = struct
  let parse_module = TaglessFinal.Parsing.parse_module

  let parse_expression = TaglessFinal.Parsing.parse_expression

  let parse_function_type = TaglessFinal.Parsing.parse_function_type
end

module Concrete = struct
  let spec = Concrete.make_tagless_final ()

  let parse_module ~context = TaglessFinal.parse_module ~context ~spec

  let parse_expression ~context = TaglessFinal.parse_expression ~context ~spec

  let parse_function_type ~context = TaglessFinal.parse_function_type ~context ~spec
end