package ppx_core

  1. Overview
  2. Docs
  • deprecated [since 2017-01] Use Ppx_core or Ppx_core.Light instead
module Ast_builder = Ast_builder
module Ast_pattern = Ast_pattern
module Ast_traverse = Ast_traverse
module Attribute = Attribute
module Caller_id = Caller_id
module Context_free = Context_free
module Extension = Extension
module File_path = File_path
module Loc = Loc
module Reserved_namespaces : sig ... end
module Spellcheck = Spellcheck
val lident : Base.String.t -> Longident.t
val gen_symbol : ?prefix:Base.String.t -> Base.Unit.t -> Base.String.t

gen_symbol ?prefix () generates a fresh variable name with prefix.

  • parameter prefix

    default = "_x"

val assert_no_attributes_in : Ast_traverse.iter

get_tparam_id tp

  • returns

    the string identifier associated with tp if it is a type parameter.

Returns whether the given type declarations refer to themselves.

short_circuit allows you to override the search for certain type expressions.

stop_on_functions allows to disregard the recursive occurences appearing in arrow types. The default is to disregard them.

convert multi-arg function applications into a cascade of 1-arg applications

Encode a warning message into an 'ocaml.ppwarning' attribute which can be inserted in a generated Parsetree. The compiler will be responsible for reporting the warning.

OCaml

Innovation. Community. Security.