package ocaml-solo5
OCaml cross-compiler to the freestanding Solo5 backend
Install
dune-project
Dependency
Authors
Maintainers
Sources
v1.3.4.tar.gz
md5=186c4e0b2e2602b8a5cefbc731bcc6ba
sha512=b64b9f6b7371468b415c30eb7d13a06ae9c81eaf77f73494635919fc0134d9c3bb0aa177b78ab35d23bfa7fc045602a15f163e446c8fa67afe6e85f0ccbe0031
doc/compiler-libs.common/Typedecl_variance/index.html
Module Typedecl_variance
val variance_of_params :
(Parsetree.core_type * (Asttypes.variance * Asttypes.injectivity)) list ->
surface_variance listval variance_of_sdecl : Parsetree.type_declaration -> surface_variance listtype prop = Types.Variance.t listtype req = surface_variance listval property : (Types.Variance.t list, req) Typedecl_properties.propertytype variance_variable_context = | Type_declaration of Ident.t * Types.type_declaration| Gadt_constructor of Types.constructor_declaration| Extension_constructor of Ident.t * Types.extension_constructor
type variance_error = | Variance_not_satisfied of int| Variance_variable_error of {error : variance_variable_error;context : variance_variable_context;variable : Types.type_expr;
}
type anonymous_variance_error = | Variable_constrained of Types.type_expr| Variable_instantiated of Types.type_expr
type error = | Bad_variance of variance_error * surface_variance * surface_variance| Varying_anonymous of int * anonymous_variance_error
exception Error of Location.t * errorval check_variance_extension :
Env.t ->
Types.type_declaration ->
Typedtree.extension_constructor ->
(req * Location.t) ->
unitval compute_decl :
Env.t ->
check:Ident.t option ->
Types.type_declaration ->
req ->
propval update_decls :
Env.t ->
Parsetree.type_declaration list ->
(Ident.t * Types.type_declaration) list ->
(Ident.t * Types.type_declaration) listval update_class_decls :
Env.t ->
(Ident.t
* Typedecl_properties.decl
* Types.class_declaration
* Types.class_type_declaration
* 'a Typedtree.class_infos)
list ->
(Typedecl_properties.decl
* Types.class_declaration
* Types.class_type_declaration)
list