fix: compat issue

c-cube · Dec 14, 2019 · ab494fb · ab494fb
1 parent 7d9d9d4
commit ab494fb
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 0 deletions.
diff --git a/src/core/CCResult.ml b/src/core/CCResult.ml
@@ -10,6 +10,10 @@ type 'a printer = Format.formatter -> 'a -> unit
 
 (** {2 Basics} *)
 
+type nonrec (+'good, +'bad) result = ('good, 'bad) result =
+  | Ok of 'good
+  | Error of 'bad
+
 type (+'good, +'bad) t = ('good, 'bad) result =
   | Ok of 'good
   | Error of 'bad

diff --git a/src/core/CCResult.mli b/src/core/CCResult.mli
@@ -21,6 +21,10 @@ type 'a printer = Format.formatter -> 'a -> unit
 
 (** {2 Basics} *)
 
+type nonrec (+'good, +'bad) result = ('good, 'bad) result =
+  | Ok of 'good
+  | Error of 'bad
+
 type (+'good, +'bad) t = ('good, 'bad) result =
   | Ok of 'good
   | Error of 'bad