diff options
| -rwxr-xr-x | scTypes.ml | 6 |
1 files changed, 3 insertions, 3 deletions
@@ -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 |