oracular (3) Pparse.3o.gz

NAME

       Pparse - Driver for the parser and external preprocessors.

Module

       Module   Pparse

Documentation

       Module Pparse
        : sig end

       Driver for the parser and external preprocessors.

       Warning: this module is unstable and part of Compiler_libs .

       type error =
        | CannotRun of string
        | WrongMagic of string

       exception Error of error

       val preprocess : string -> string

       val remove_preprocessed : string -> unit

       type 'a ast_kind =
        | Structure : Parsetree.structure ast_kind
        | Signature : Parsetree.signature ast_kind

       val read_ast : 'a ast_kind -> string -> 'a

       val write_ast : 'a ast_kind -> string -> 'a -> unit

       val file : tool_name:string -> string -> (Lexing.lexbuf -> 'a) -> 'a ast_kind -> 'a

       val apply_rewriters : ?restore:bool -> tool_name:string -> 'a ast_kind -> 'a -> 'a

       If restore = true (the default), cookies set by external rewriters will be kept for later calls.

       val apply_rewriters_str : ?restore:bool -> tool_name:string -> Parsetree.structure -> Parsetree.structure

       val apply_rewriters_sig : ?restore:bool -> tool_name:string -> Parsetree.signature -> Parsetree.signature

       val report_error : Format.formatter -> error -> unit

       val parse_implementation : tool_name:string -> string -> Parsetree.structure

       val parse_interface : tool_name:string -> string -> Parsetree.signature

       val call_external_preprocessor : string -> string -> string

       val open_and_check_magic : string -> string -> in_channel * bool