[serlib] Compat with JS libs >= v0.16.0

rocq-archive · Jul 24, 2023 · a224455 · a224455
1 parent 0bd0772
commit a224455
Show file tree

Hide file tree

Showing 2 changed files with 13 additions and 0 deletions.
diff --git a/CHANGES.md b/CHANGES.md
@@ -1,3 +1,9 @@
+## Version 0.17.1:
+
+ - [sertop] Don't initialize `CoqworkmgrApi` (@ejgallego, #340)
+ - [serlib] Compat with Jane Street libraries >= v0.16.0 (@ejgallego,
+            #351)
+
 ## Version 0.17.0:
 
  - [serlib] (!) Serialization format of generic arguments has changed

diff --git a/serlib/ser_stdlib.ml b/serlib/ser_stdlib.ml
@@ -29,9 +29,16 @@ let ref_of_yojson f x = Result.map (fun x -> ref x) (f x)
 let hash_fold_ref = hash_fold_ref_frozen
 let compare_ref = compare_ref
 
+let (==) = Stdlib.(==)
+
 module Lazy = struct
   type 'a t = 'a lazy_t
   [@@deriving sexp]
 end
 
+module List = struct
+  type 'a t = 'a list
+  [@@deriving sexp]
+end
+
 module Option = Stdlib.Option