Add a dependency on the "result" package

gridbugs · gridbugs · commit b09ba654f412 · 2025-03-13T17:25:11.000+11:00
This fixes a build error in switches where "result" is not installed,
and makes it possible to build this project with dune package
management.

Signed-off-by: Stephen Sherratt &lt;stephen@sherra.tt&gt;
diff --git a/dune-project b/dune-project
@@ -63,6 +63,8 @@
    (>= 0.9.8))
   (yojson
    (>= 2.0.2))
+  (result
+   (>= 1.5))
   ;; Documentation
   (odoc :with-doc)
   ;; Test/Dev dependencies
diff --git a/guardian.opam b/guardian.opam
@@ -31,6 +31,7 @@ depends: [
   "uri" {>= "4.2.0"}
   "uuidm" {>= "0.9.8"}
   "yojson" {>= "2.0.2"}
+  "result" {>= "1.5"}
   "odoc" {with-doc}
   "alcotest-lwt" {with-test}
 ]

Original file line number	Diff line number	Diff line change
`@@ -31,6 +31,7 @@ depends: [`
`31`	`31`	`"uri" {>= "4.2.0"}`
`32`	`32`	`"uuidm" {>= "0.9.8"}`
`33`	`33`	`"yojson" {>= "2.0.2"}`
	`34`	`+ "result" {>= "1.5"}`
`34`	`35`	`"odoc" {with-doc}`
`35`	`36`	`"alcotest-lwt" {with-test}`
`36`	`37`	`]`