Module `Melange_compiler_libs`Source

module Annot : sig ... end

Sourcemodule Ast_mapper : sig ... end

The interface of a -ppx rewriter

Sourcemodule Bs_clflags : sig ... end

Sourcemodule Btype : sig ... end

Sourcemodule Builtin_attributes : sig ... end

Support for some of the builtin attributes

Sourcemodule Cmi_format : sig ... end

Sourcemodule Cmt2annot : sig ... end

Sourcemodule Cmt_format : sig ... end

cmt and cmti files format.

Sourcemodule Config : sig ... end

System configuration

Sourcemodule Ctype : sig ... end

Sourcemodule Datarepr : sig ... end

Sourcemodule Depend : sig ... end

Module dependencies.

Sourcemodule Env : sig ... end

Sourcemodule Envaux : sig ... end

Sourcemodule Errortrace : sig ... end

Sourcemodule Includeclass : sig ... end

Sourcemodule Includecore : sig ... end

Sourcemodule Includemod : sig ... end

Sourcemodule Includemod_errorprinter : sig ... end

Sourcemodule Lambda : sig ... end

Sourcemodule Lexer : sig ... end

The lexical analyzer

Sourcemodule Location : sig ... end

Source code locations (ranges of positions), used in parsetree.

Sourcemodule Matching : sig ... end

Sourcemodule Misc : sig ... end

Miscellaneous useful types and functions

Sourcemodule Mtype : sig ... end

Sourcemodule Oprint : sig ... end

Sourcemodule Parmatch : sig ... end

Detection of partial matches and unused match cases.

Sourcemodule Parse : sig ... end

Entry points in the parser

Sourcemodule Parser : sig ... end

Sourcemodule Patterns : sig ... end

Sourcemodule Persistent_env : sig ... end

Sourcemodule Predef : sig ... end

Sourcemodule Primitive : sig ... end

Sourcemodule Printlambda : sig ... end

Sourcemodule Printpat : sig ... end

Sourcemodule Printtyp : sig ... end

Sourcemodule Printtyped : sig ... end

Sourcemodule Rec_check : sig ... end

Sourcemodule Rescript_cpp : sig ... end

Sourcemodule Shape : sig ... end

Sourcemodule Signature_group : sig ... end

Iterate on signature by syntactic group of items

Sourcemodule Simplif : sig ... end

Lambda simplification.

Sourcemodule Stypes : sig ... end

Sourcemodule Subst : sig ... end

Sourcemodule Switch : sig ... end

Sourcemodule Tast_iterator : sig ... end

Allows the implementation of typed tree inspection using open recursion

Sourcemodule Tast_mapper : sig ... end

Sourcemodule Tmc : sig ... end

Tail-modulo-cons optimization.

Sourcemodule Translattribute : sig ... end

Sourcemodule Translclass : sig ... end

Sourcemodule Translcore : sig ... end

Sourcemodule Translmod : sig ... end

Sourcemodule Translobj : sig ... end

Sourcemodule Translprim : sig ... end

Sourcemodule Typeclass : sig ... end

Sourcemodule Typecore : sig ... end

Sourcemodule Typedecl : sig ... end

Sourcemodule Typedecl_immediacy : sig ... end

Sourcemodule Typedecl_properties : sig ... end

Sourcemodule Typedecl_separability : sig ... end

The OCaml runtime assumes for type-directed optimizations that all types are "separable". A type is "separable" if either all its inhabitants (the values of this type) are floating-point numbers, or none of them are.

Sourcemodule Typedecl_unboxed : sig ... end

Sourcemodule Typedecl_variance : sig ... end

Sourcemodule Typedtree : sig ... end

Abstract syntax tree after typing

Sourcemodule Typemod : sig ... end

Type-checking of the module language and typed ast hooks

Sourcemodule Typeopt : sig ... end

Sourcemodule Types : sig ... end

Sourcemodule Typetexp : sig ... end

Sourcemodule Untypeast : sig ... end

Sourcemodule Warnings : sig ... end

Warning definitions

package melange-compiler-libs

Module Melange_compiler_libsSource

Module `Melange_compiler_libs`Source