From ab494fb7530d0cdfff688e30a741fd04d57ed1b2 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Sat, 14 Dec 2019 17:26:08 -0600 Subject: [PATCH] fix: compat issue --- src/core/CCResult.ml | 4 ++++ src/core/CCResult.mli | 4 ++++ 2 files changed, 8 insertions(+) diff --git a/src/core/CCResult.ml b/src/core/CCResult.ml index 20ad028a9..2b4dbd359 100644 --- 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 index 61984ac2d..839cdedcc 100644 --- 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