From 6596fc3b69e06792753a92ff6538155741b2a55e Mon Sep 17 00:00:00 2001
From: ·𐑑𐑴𐑕𐑑𐑩𐑤
Date: Wed, 10 Dec 2025 21:11:38 +0000
Subject: can’t reuse Darcs reference since Assumed must be None in manifest

---
 lib/manifest.ml | 18 +++++++++++++++++-
 1 file changed, 17 insertions(+), 1 deletion(-)

(limited to 'lib/manifest.ml')

diff --git a/lib/manifest.ml b/lib/manifest.ml
index 8cadce5..8b8c4f7 100644
--- a/lib/manifest.ml
+++ b/lib/manifest.ml
@@ -208,7 +208,23 @@ end
 
 module Darcs = struct
 	module Reference = struct
-		type t = Input.Darcs.Reference.t
+		type context_grounds = [
+			| `Assumed of UTF8.t option
+			| `Stated of UTF8.t
+		]
+		[@@deriving show, eq]
+
+		let gen_context_grounds =
+			let open QCheck.Gen in
+			oneof [
+				return (`Assumed None);
+				map (fun s -> `Stated s) UTF8.gen;
+			]
+
+		type t = [
+			| `Context of context_grounds
+			| `Tag of UTF8.t
+		]
 		[@@deriving show, eq, qcheck]
 
 		let codec : t Util.KDL.codec = {
-- 
cgit v1.2.3