package ocaml-compiler
Official release of OCaml 5.3.0
Install
Dune Dependency
Authors
Maintainers
Sources
ocaml-5.3.0.tar.gz
sha256=22c1dd9de21bf43b62d1909041fb5fad648905227bf69550a6a6bef31e654f38
doc/compiler-libs.common/Errortrace/Subtype/index.html
Module Errortrace.Subtype
type 'a t = 'a elt list
Just as outside Subtype
, we split traces, completed traces, and complete errors. However, in a minor asymmetry, the name Subtype.error_trace
corresponds to the outside error
type, and Subtype.error
corresponds to the outside *_error
types (e.g., unification_error
). This error
type has the invariant that the subtype trace is nonempty; note that no such invariant is imposed on the unification trace.
type trace = Types.type_expr t
type error_trace = expanded_type t
type unification_error_trace = unification error
To avoid shadowing
val error :
trace:error_trace ->
unification_trace:unification_error_trace ->
error
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>