Module Jenga_lib__Reason

A type representing the various errors that can happen in jenga. Compared to simply using Error.t, we have control over the display.

include module type of Jenga_lib.Reason_type
type t =
| Misc of string
| Shutdown
| Error_in_deps
| File_read_error of Core.Sexp.t
| Digest_error of Core.Sexp.t
| Undigestable of Jenga_lib.Db.Kind.t
| Glob_error of Jenga_lib.Db.Glob.t * string
| No_definition_for_alias of Jenga_lib.Alias.t
| No_source_at_abs_path of Jenga_lib.Path.Abs.t
| No_rule_or_source of Jenga_lib.Path.t
| Unexpected_directory of Jenga_lib.Path.t
| Command_failed of Jenga_lib.Job_summary.t
| No_directory_for_target of string
| Inconsistent_proxies
| Running_job_raised of Core.Sexp.t
| Multiple_rules_for_path of Jenga_lib.Path.Rel.t
| Rule_failed_to_generate_targets of Jenga_lib.Path.Rel.t list
| Usercode_raised of Core.Sexp.t
| Usercode_error of Jenga_lib.Located_error.t
| Rules_load_failed of [ `Before_loading_rules of Jenga_lib.Located_error.t | `Located_error_while_loading of Jenga_lib.Located_error.t | `Error_while_loading of Core.Error.t ]
| Mtimes_changed of Jenga_lib.Path.t list
| Sandbox_error of [ `at_creation | `at_close ] * Core.Sexp.t
| Unexpected_targets of string list
val to_string_one_line : t ‑> string
val to_extra_lines : t ‑> dir:Jenga_lib.Path.Rel.t ‑> string list
val messages : need:Jenga_lib.Goal.t ‑> t ‑> unit
val message_summary : Jenga_lib.Config.t ‑> need:Jenga_lib.Goal.t ‑> t ‑> unit