Switch to MetaOCaml N153 (5.3.0+BER)

Author: yallop

.github/workflows/test.yml

@@ -13,11 +13,11 @@ jobs:
     strategy:
       fail-fast: false
       matrix:
-        ocaml-compiler: [ 'ocaml-variants.4.11.1+BER', 'ocaml-variants.4.14.1+BER' ]
+        ocaml-compiler: [ 'ocaml-variants.5.3.0+BER']
         os: [ubuntu-latest]
     steps:
     - uses: actions/checkout@v2
-    - uses: ocaml/setup-ocaml@v2
+    - uses: ocaml/setup-ocaml@v3
       with:
         ocaml-compiler: ${{ matrix.ocaml-compiler }}
     - run: opam install . --with-test

Changes

@@ -1,5 +1,9 @@
 ## frex 0.1.1
 
+Support only BER N153
+
+## frex 0.1.1
+
 Add support for BER N111
 
 ## frex 0.1

lib/aux.ml

@@ -53,7 +53,7 @@ let cd_of_var : 'a. 'a var -> 'a code =
 module Var (A: sig type t end) : Setoid with type t = A.t var =
 struct
   type t = A.t var
-  let compare (Var (_, l)) (Var (_, r)) = Pervasives.compare l r
+  let compare (Var (_, l)) (Var (_, r)) = Stdlib.compare l r
 end
 
 (** Bags *)
@@ -88,13 +88,13 @@ struct
 
   let (<*>) n xs = M.map (fun k -> n * k) xs
 
-  let compare = M.compare Pervasives.compare
+  let compare = M.compare Stdlib.compare
 end
 
 module Int =
 struct
   type t = int
-  let compare = Pervasives.compare
+  let compare = Stdlib.compare
 
   let (<+>) = ( + )
   let (<*>) = ( * )

myocamlbuild.ml

@@ -7,10 +7,10 @@ dispatch begin
      begin match Sys.ocaml_version with
      | "4.02.1+dev0-2014-08-29" | "4.04.0" ->
         flag ["ocaml"; "compile"; "open_print_code"] & S[A"-open"; A"Print_code"]
-     | "4.07.1" | "4.11.1" | "4.14.1" ->
+     | "4.07.1" | "4.11.1" | "4.14.1" | "5.3.0" ->
         flag ["ocaml"; "compile"; "open_print_code"] & S[A"-open"; A"Codelib"]
      | version ->
-        Printf.kprintf failwith "Unsupported OCaml version %s" version
+        Printf.ksprintf failwith "Unsupported OCaml version %s" version
      end
   | _ -> ()
 end;;

opam

@@ -18,5 +18,5 @@ depends: [
    "ocamlfind"  {build}
    "ocamlbuild" {build}
    "ocaml-variants"
-     {= "4.02.1+modular-implicits-ber" | = "4.07.1+BER" | = "4.04.0+BER" | = "4.11.1+BER" | = "4.14.1+BER" }
+     {= "5.3.0+BER"}
 ]