Parse Module

The Parse Module is a thin wrapper around the parsing functions generated by OCaml. It calls the actual parsing function on the lexing buffer, and handles some syntax and parse errors universally (for example, it checks whether the source of the error is the toplevel via Location.input_name and has specialized behavior for that).

Parse contains functions for parsing implementation, interface, toplevel_phrase, use_file, core_type, expression, and pattern, and passes all of these to the Parser Module, which is generated by ocamlyacc.