diff options
| author | ยท๐๐ด๐๐๐ฉ๐ค | 2025-12-12 17:45:39 +0000 |
|---|---|---|
| committer | ยท๐๐ด๐๐๐ฉ๐ค | 2025-12-12 17:45:39 +0000 |
| commit | fbbb044db8dd384fa43ce50cf4878107a39cfba5 (patch) | |
| tree | ca25c8a05887d13b9caf091ffdf6420d0d523d58 /lib/error.ml | |
| parent | 6fbea2fc7d2f9e3457a028c93ae7a7e0bf9ca7e3 (diff) | |
| download | nixtaml-fbbb044db8dd384fa43ce50cf4878107a39cfba5.tar nixtaml-fbbb044db8dd384fa43ce50cf4878107a39cfba5.tar.gz nixtaml-fbbb044db8dd384fa43ce50cf4878107a39cfba5.tar.bz2 nixtaml-fbbb044db8dd384fa43ce50cf4878107a39cfba5.tar.lz nixtaml-fbbb044db8dd384fa43ce50cf4878107a39cfba5.tar.xz nixtaml-fbbb044db8dd384fa43ce50cf4878107a39cfba5.tar.zst nixtaml-fbbb044db8dd384fa43ce50cf4878107a39cfba5.zip | |
dry up prefetch cmd output gathering
Diffstat (limited to 'lib/error.ml')
| -rw-r--r-- | lib/error.ml | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/lib/error.ml b/lib/error.ml index a658f50..83cca60 100644 --- a/lib/error.ml +++ b/lib/error.ml @@ -4,6 +4,9 @@ โโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโ*) open Name +let pp_exn ppf exn = + Fmt.pf ppf "%s" (Printexc.to_string exn) + type manifest_error = [ | `Parsing of KDL.Valid.err list | `Not_set_up @@ -27,10 +30,9 @@ type prefetch_method = [ type prefetch_error = [ | `Empty_output of prefetch_method - | `Stderr of prefetch_method * string | `JSON_parsing of prefetch_method * string | `Darcs_context of string - | `Exception of prefetch_method * string + | `RunException of prefetch_method * exn * string ] [@@deriving show] |