OpamParserTypes transitional module with full position types
Full position
with_pos type, used for all units, embedding the element pelem ans its position pos
type relop_kind = reloptype relop = relop_kind with_postype logop_kind = logoptype logop = logop_kind with_postype pfxop_kind = pfxoptype pfxop = pfxop_kind with_postype env_update_op_kind = env_update_optype env_update_op = env_update_op_kind with_postype value_kind = | Bool of boolbool atoms
| Int of intint atoms
| String of stringstring atoms
| Relop of relop * value * valueRelational operators with two values (e.g. os != "win32")
| Prefix_relop of relop * valueRelational operators in prefix position (e.g. < "4.07.0")
| Logop of logop * value * valueLogical operators
*)| Pfxop of pfxop * valuePrefix operators
*)| Ident of stringIdentifiers
*)| List of value list with_posLists of values ([x1 x2 ... x3])
| Group of value list with_posGroups of values ((x1 x2 ... x3))
| Option of value * value list with_posValue with optional list (x1 {x2 x3 x4})
| Env_binding of value * env_update_op * valueEnvironment variable binding (FOO += "bar")
Base values
and value = value_kind with_postype opamfile_section = {section_kind : string with_pos;Section kind (e.g. extra-source)
section_name : string with_pos option;Section name (e.g. "myfork.patch")
section_items : opamfile_item list with_pos;Content of the section
*)}An opamfile section
and opamfile_item_kind = | Section of opamfile_sectione.g. kind ["name"] { ... }
| Variable of string with_pos * valuee.g. opam-version: "2.0"
An opamfile is composed of sections and variable definitions
and opamfile_item = opamfile_item_kind with_postype opamfile = {file_contents : opamfile_item list;Content of the file
*)file_name : file_name;Name of the disk file this record was loaded from
*)}A file is a list of items and the filename