From 50c16c8fc79d349f9db9d7975d1ae4e57050b648 Mon Sep 17 00:00:00 2001 From: Sébastien Date: Mon, 6 Nov 2017 19:54:23 +0100 Subject: Correction --- scTypes.ml | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/scTypes.ml b/scTypes.ml index ca2b32f..a222f3b 100755 --- a/scTypes.ml +++ b/scTypes.ml @@ -90,6 +90,8 @@ module DataFormat = struct | Bool -> false | String -> UTF8.empty + type ('a, 'b) equality = Eq : ('a, 'a) equality + let compare_format: type a b. a dataFormat -> b dataFormat -> (a, b) equality = fun a b -> begin match a, b with | Date, Date -> Eq @@ -218,8 +220,6 @@ module Refs = struct type refContent = | C: 'a content -> refContent [@@unboxed] - type ('a, 'b) equality = Eq : ('a, 'a) equality - (** Add one element in a typed list. The function will raise Error.TypeError if the elements does not match @@ -232,7 +232,7 @@ module Refs = struct | Some (Error x) -> raise x | Some (Result r) -> let Type.Value (format', element) = Type.get_content r in - let Eq = DataFormat.compare_format format format' in + let DataFormat.Eq = DataFormat.compare_format format format' in let new_format = if (DataFormat.priority format) > (DataFormat.priority format') then format else -- cgit v1.2.3