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