package melange-compiler-libs

You can search for identifiers within the package.

in-package search v0.2.0

melange-compiler-libs
- Melange_compiler_libs
  - Annot
  - Ast_mapper
  - Bs_clflags
  - Btype
    
    For_copy
    
    TransientTypeMap
    
    TypeHash
    
    TypeMap
    
    TypePairs
    
    TypeSet
  - Builtin_attributes
  - Cmi_format
  - Cmt2annot
  - Cmt_format
  - Config
  - Ctype
  - Datarepr
  - Depend
  - Env
  - Envaux
  - Errortrace
    
    Subtype
  - Includeclass
  - Includecore
  - Includemod
    
    Error
    
    FieldMap
    
    Functor_app_diff
    
    Defs
    
    Functor_inclusion_diff
    
    Defs
  - Includemod_errorprinter
  - Lambda
  - Lexer
  - Location
  - Matching
  - Misc
    
    Color
    
    Error_style
    
    Int_literal_converter
    
    LongString
    
    Magic_number
    
    Stdlib
    
    Array
    
    List
    
    Option
    
    String
    
    Map
    
    Set
    
    Tbl
  - Mtype
  - Oprint
  - Parmatch
    
    Compat
    
    _
  - Parse
  - Parser
    
    Incremental
    
    MenhirInterpreter
  - Patterns
    
    General
    
    Half_simple
    
    Head
    
    Non_empty_row
    
    Simple
  - Persistent_env
    
    Consistbl
    
    Persistent_signature
  - Predef
  - Primitive
  - Printlambda
  - Printpat
  - Printtyp
    
    Conflicts
    
    Naming_context
    
    Out_name
    
    Subtype
  - Printtyped
  - Rec_check
  - Rescript_cpp
  - Shape
    
    Item
    
    Map
    
    Make_reduce
    
    Context
    
    Map
    
    Sig_component_kind
    
    Uid
    
    Map
    
    Set
    
    T
    
    Tbl
  - Signature_group
  - Simplif
  - Stypes
  - Subst
    
    Lazy
  - Switch
    
    CtxStore
    
    A
    
    CtxStored
    
    Make
    
    Arg
    
    S
    
    Store
    
    A
    
    Stored
  - Tast_iterator
  - Tast_mapper
  - Tmc
  - Translattribute
  - Translclass
  - Translcore
  - Translmod
  - Translobj
  - Translprim
  - Typeclass
  - Typecore
    
    Datatype_kind
  - Typedecl
  - Typedecl_immediacy
  - Typedecl_properties
  - Typedecl_separability
  - Typedecl_unboxed
  - Typedecl_variance
  - Typedtree
  - Typemod
    
    Sig_component_kind
    
    Signature_names
  - Typeopt
  - Types
    
    MethSet
    
    Meths
    
    Separability
    
    TransientTypeOps
    
    Transient_expr
    
    VarSet
    
    Variance
    
    Vars
  - Typetexp
  - Untypeast
  - Warnings

Legend:
Library
Module
Module type
Parameter
Class
Class type

Support for some of the builtin attributes

ocaml.deprecated
ocaml.alert
ocaml.error
ocaml.ppwarning
ocaml.warning
ocaml.warnerror
ocaml.explicit_arity (for camlp4/camlp5)
ocaml.warn_on_literal_pattern
ocaml.deprecated_mutable
ocaml.immediate
ocaml.immediate64
ocaml.boxed / ocaml.unboxed

Warning: this module is unstable and part of compiler-libs.

val check_alerts : Location.t -> Parsetree.attributes -> string -> unit

val check_alerts_inclusion : 
  def:Location.t ->
  use:Location.t ->
  Location.t ->
  Parsetree.attributes ->
  Parsetree.attributes ->
  string ->
  unit

val alerts_of_attrs : Parsetree.attributes -> Misc.alerts

val alerts_of_sig : Parsetree.signature -> Misc.alerts

val alerts_of_str : Parsetree.structure -> Misc.alerts

val check_deprecated_mutable : 
  Location.t ->
  Parsetree.attributes ->
  string ->
  unit

val check_deprecated_mutable_inclusion : 
  def:Location.t ->
  use:Location.t ->
  Location.t ->
  Parsetree.attributes ->
  Parsetree.attributes ->
  string ->
  unit

val check_no_alert : Parsetree.attributes -> unit

val check_bs_attributes_inclusion : 
  (Parsetree.attributes ->
    Parsetree.attributes ->
    string ->
    (string * string) option)
    ref

val check_duplicated_labels : 
  (Parsetree.label_declaration list -> string Asttypes.loc option) ref

val error_of_extension : Parsetree.extension -> Location.error

val warning_attribute : ?ppwarning:bool -> Parsetree.attribute -> unit

Apply warning settings from the specified attribute. "ocaml.warning"/"ocaml.warnerror" (and variants without the prefix) are processed and other attributes are ignored.

Also implement ocaml.ppwarning (unless ~ppwarning:false is passed).

val warning_scope : 
  ?ppwarning:bool ->
  Parsetree.attributes ->
  (unit -> 'a) ->
  'a

Execute a function in a new scope for warning settings. This means that the effect of any call to warning_attribute during the execution of this function will be discarded after execution.

The function also takes a list of attributes which are processed with warning_attribute in the fresh scope before the function is executed.

val warn_on_literal_pattern : Parsetree.attributes -> bool

val explicit_arity : Parsetree.attributes -> bool

val immediate : Parsetree.attributes -> bool

val immediate64 : Parsetree.attributes -> bool

val has_unboxed : Parsetree.attributes -> bool

val has_boxed : Parsetree.attributes -> bool