package reason

  1. Overview
  2. Docs

* Provides a simple interface to the most common parsing entrypoints required * by editor/IDE toolchains, preprocessors, and pretty printers. * * The form of this entrypoint includes more than what the standard OCaml * toolchain (oprof/ocamldoc) expects, but is still compatible. * * implementation_with_comments and interface_with_comments includes * additional information (about comments) suitable for building pretty * printers, editor, IDE and VCS integration. * * The comments include the full text of the comment (typically in between the * "(*" and the "*)", as well as location information for that comment. * * WARNING: The "end" location is one greater than the actual final position! * (for both associatedTextLoc and commentLoc). * * Currently, the location information for comments is of the form: * * (associatedTextLoc) * * But we should quickly change it to be of the form: * * (associatedTextLoc, commentLoc) * * Where the commentLoc is the actual original location of the comment, * and the associatedTextLoc records the location in the file that the * comment is attached to. If associatedTextLoc and commentLoc are the * same, then the comment is "free floating" in that it only attaches to itself. * The Reason pretty printer will try its best to interleave those comments * in the containing list etc. But if associatedTextLoc expands beyond * the commentLoc it means the comment and the AST that is captured by * the associatedTextLoc are related - where "related" is something * this reason_toolchain decides (but in short it handles "end of line * comments"). Various pretty printers can decide how to preserve this * relatedness. Ideally, it would preserve end of line comments, but in the * short term, it might merely use that relatedness to correctly attach * end of line comments to the "top" of the AST node. * * let lst = * * ; (* Comment *) * ----commentLoc----- * ---associatedTextLoc---- * * * Ideally that would be formatted as: * * let lst = * * ; (* Comment *) * * Or: * * let lst = ; (* Comment *) * * * But a shorter term solution would use that associatedTextLoc to at least * correctly attach the comment to the correct node, even if not "end of line". * * (* Comment *) * let lst = ;

module From_current : sig ... end
module To_current : sig ... end
val invalidLex : string
val syntax_error_str : exn -> Ast_404.Location.t -> Ast_404.Parsetree.structure_item list
val syntax_error_core_type : exn -> Ast_404.Ast_helper.loc -> Ast_404.Parsetree.core_type
val syntax_error_sig : exn -> Ast_404.Ast_helper.loc -> Ast_404.Parsetree.signature_item list
val chan_input : string Pervasives.ref
val keep_from_chan : Pervasives.in_channel -> Lexing.lexbuf
val setup_lexbuf : bool -> string -> Lexing.lexbuf
module type Toolchain = sig ... end
module type Toolchain_spec = sig ... end
val left_expand_comment : bool -> string -> int -> char * bool * int
val right_expand_comment : bool -> string -> int -> char * bool * int
module OCaml_syntax : sig ... end
module JS_syntax : sig ... end
module ML : sig ... end
module JS : sig ... end
OCaml

Innovation. Community. Security.