package ocaml-solo5-cross-aarch64

  1. Overview
  2. Docs
OCaml cross-compiler to the freestanding 64-bit ARM Solo5 backend

Install 

dune-project
 Dependency

github.com Edit opam file Versions (10)

Authors

  1. M
    Martin Lucina <martin@lucina.net>

Maintainers

  1. M
    Martin Lucina <martin@lucina.net>

Sources

v1.1.0.tar.gz
md5=00e5f51d0ce72f7517f3b2a7f910c572
sha512=91f349384a8864076c3d1b0ce3f4e94aa54900cf51e2471d21427bb25cbffac606bcd754fa545f4b2c4516ea2b0731cb580ab30bdf1911c9e47ee24d7c88c863

doc/compiler-libs.common/Subst/Unsafe/index.html

Module Subst.Unsafe

type t = unsafe subst

Unsafe substitutions introduced by with constraints, local substitutions (type t := int * int) or recursive module check.

val add_modtype : Ident.t -> Types.module_type -> 'any subst -> t

Replacing a module type name S by a non-path signature is unsafe as the packed module type (module S) becomes ill-formed.

val add_modtype_path : Path.t -> Types.module_type -> 'any subst -> t
val add_type_path : Path.t -> Path.t -> t -> t

Deep editing inside a module type require to retypecheck the module, for applicative functors in path and module aliases.

val add_type_function : Path.t -> params:Types.type_expr list -> body:Types.type_expr -> t -> t
val add_module_path : Path.t -> Path.t -> t -> t
type error =
  1. | Fcm_type_substituted_away of Path.t * Types.module_type
type 'a res := ('a, error) result
val type_declaration : t -> Types.type_declaration -> Types.type_declaration res
val signature_item : scoping -> t -> Types.signature_item -> Types.signature_item res
val signature : scoping -> t -> Types.signature -> Types.signature res
val compose : t -> t -> t res

Composition of substitutions is eager and fails when the two substitution are incompatible, for example module type t := sig end is not compatible with module type s := sig type t=(module t) end