From fbbb044db8dd384fa43ce50cf4878107a39cfba5 Mon Sep 17 00:00:00 2001
From: ·𐑑𐑴𐑕𐑑𐑩𐑤
Date: Fri, 12 Dec 2025 17:45:39 +0000
Subject: dry up prefetch cmd output gathering

---
 lib/error.ml | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

(limited to 'lib/error.ml')

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]
 
-- 
cgit v1.2.3