jon.recoil.org

Module Flambda.Invalid

type t =
  1. | Body_of_unreachable_continuation of Flambda2_identifiers.Continuation.t
  2. | Apply_cont_of_unreachable_continuation of Flambda2_identifiers.Continuation.t
  3. | Defining_expr_of_let of Flambda2_bound_identifiers.Bound_pattern.t * Flambda2_terms.Flambda.named
  4. | Closure_type_was_invalid of Flambda2_terms.Apply_expr.t
  5. | Direct_application_parameter_kind_mismatch of {
    1. params_arity : [ `Complex ] Flambda2_kinds.Flambda_arity.t;
    2. args_arity : [ `Complex ] Flambda2_kinds.Flambda_arity.t;
    3. apply : Flambda2_terms.Apply_expr.t;
    }
  6. | Application_argument_kind_mismatch of [ `Unarized ] Flambda2_kinds.Flambda_arity.t * Flambda2_terms.Apply_expr.t
  7. | Application_result_kind_mismatch of [ `Unarized ] Flambda2_kinds.Flambda_arity.t * Flambda2_terms.Apply_expr.t
  8. | Partial_application_mode_mismatch of Flambda2_terms.Apply_expr.t * Flambda2_terms.Code_metadata.t
  9. | Partial_application_mode_mismatch_in_lambda of Debuginfo.t
  10. | Calling_local_returning_closure_with_normal_apply of Flambda2_terms.Apply_expr.t
  11. | Zero_switch_arms
  12. | Code_not_rebuilt
  13. | To_cmm_dummy_body
  14. | Application_never_returns of Flambda2_terms.Apply_expr.t
  15. | Over_application_never_returns of Flambda2_terms.Apply_expr.t
  16. | Message of string