package ocaml-base-compiler

You can search for identifiers within the package.

in-package search v0.2.0

Official release 4.07.1

Install

Dune Dependency

ocaml.org Edit opam file Versions (66)

Authors

Maintainers

David Allsopp

Sources

4.07.1.tar.gz

sha256=83683ddad54bd23773591a9f757e702fa5cfa2ea1b124d8fe75a73729e592bfe

md5=352fe8d46cb238a26aa10c38bad6ecb6

doc/ocamlcommon/Includecore/index.html

Module `Includecore`

exception Dont_match

type type_mismatch =

| Arity
| Privacy
| Kind
| Constraint
| Manifest
| Variance
| Field_type of Ident.t
| Field_mutable of Ident.t
| Field_arity of Ident.t
| Field_names of int * Ident.t * Ident.t
| Field_missing of bool * Ident.t
| Record_representation of bool
| Unboxed_representation of bool
| Immediate

val value_descriptions : 
  loc:Location.t ->
  Env.t ->
  string ->
  Types.value_description ->
  Types.value_description ->
  Typedtree.module_coercion

val type_declarations : 
  ?equality:bool ->
  loc:Location.t ->
  Env.t ->
  mark:bool ->
  string ->
  Types.type_declaration ->
  Ident.t ->
  Types.type_declaration ->
  type_mismatch list

val extension_constructors : 
  loc:Location.t ->
  Env.t ->
  mark:bool ->
  Ident.t ->
  Types.extension_constructor ->
  Types.extension_constructor ->
  bool

val report_type_mismatch : 
  string ->
  string ->
  string ->
  Format.formatter ->
  type_mismatch list ->
  unit