can’t reuse Darcs reference since Assumed must be None in manifest

1 files changed, 17 insertions, 1 deletions

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 = {