Merge pull request #154 from n-osborne/update-gospel-version

Update opam files in perspective of the release
ocaml-gospel · Oct 11, 2023 · 76099bd · 76099bd
2 parents baf59a8 + cb57f90
commit 76099bd
Show file tree

Hide file tree

Showing 5 changed files with 27 additions and 30 deletions.
diff --git a/ortac-core.opam b/ortac-core.opam
@@ -34,11 +34,7 @@ depends: [
   "cmdliner" {>= "1.1.0"}
   "fmt"
   "ppxlib" {>= "0.26.0"}
-  "gospel"
+  "gospel" {>= "0.2.0"}
   "alcotest" {with-test & >= "0.8.1"}
   "ortac-runtime" {with-test}
 ]
-
-pin-depends: [
-  "gospel.dev" "git+https://github.com/ocaml-gospel/gospel#ef8f0d23f2df6f825355cfa27e38e904ddc3c3a3"
-]
diff --git a/ortac-qcheck-stm.opam b/ortac-qcheck-stm.opam
@@ -31,7 +31,7 @@ depends: [
   "cmdliner" {>= "1.1.0"}
   "fmt"
   "ppxlib" {>= "0.26.0"}
-  "gospel"
+  "gospel" {>= "0.2.0"}
   "qcheck-core" {with-test}
   "qcheck-stm" {with-test}
   "qcheck-multicoretests-util" {with-test}

diff --git a/ortac-runtime.opam b/ortac-runtime.opam
@@ -5,6 +5,7 @@ maintainer: "Clément Pascutto <clement@pascutto.fr>"
 authors: [
   "Clément Pascutto <clement@pascutto.fr>"
   "Nicolas Osborne <nicolas.osborne@tarides.com>"
+  "Samuel Hym <samuel.hym@rustyne.lautre.net>"
 ]
 homepage: "https://github.com/ocaml-gospel/ortac"
 doc: "https://pascutto.github.io/ortac/"

diff --git a/plugins/monolith/test/generated/wrapper.expected.ml b/plugins/monolith/test/generated/wrapper.expected.ml
@@ -78,15 +78,15 @@ module R =
               {
                 pos_fname = "lib.mli";
                 pos_lnum = 9;
-                pos_bol = 385;
-                pos_cnum = 385
+                pos_bol = 399;
+                pos_cnum = 399
               };
             Ortac_runtime.stop =
               {
                 pos_fname = "lib.mli";
                 pos_lnum = 13;
-                pos_bol = 571;
-                pos_cnum = 624
+                pos_bol = 585;
+                pos_cnum = 638
               }
           } "create" in
       if
@@ -173,15 +173,15 @@ module R =
               {
                 pos_fname = "lib.mli";
                 pos_lnum = 15;
-                pos_bol = 626;
-                pos_cnum = 626
+                pos_bol = 640;
+                pos_cnum = 640
               };
             Ortac_runtime.stop =
               {
                 pos_fname = "lib.mli";
                 pos_lnum = 20;
-                pos_bol = 857;
-                pos_cnum = 912
+                pos_bol = 871;
+                pos_cnum = 926
               }
           } "add" in
       if
@@ -237,15 +237,15 @@ module R =
               {
                 pos_fname = "lib.mli";
                 pos_lnum = 22;
-                pos_bol = 914;
-                pos_cnum = 914
+                pos_bol = 928;
+                pos_cnum = 928
               };
             Ortac_runtime.stop =
               {
                 pos_fname = "lib.mli";
                 pos_lnum = 25;
-                pos_bol = 1060;
-                pos_cnum = 1089
+                pos_bol = 1074;
+                pos_cnum = 1103
               }
           } "mem" in
       if

diff --git a/plugins/wrapper/test/generated/wrapper.expected.ml b/plugins/wrapper/test/generated/wrapper.expected.ml
@@ -71,15 +71,15 @@ let create n =
           {
             pos_fname = "lib.mli";
             pos_lnum = 9;
-            pos_bol = 385;
-            pos_cnum = 385
+            pos_bol = 399;
+            pos_cnum = 399
           };
         Ortac_runtime.stop =
           {
             pos_fname = "lib.mli";
             pos_lnum = 13;
-            pos_bol = 571;
-            pos_cnum = 624
+            pos_bol = 585;
+            pos_cnum = 638
           }
       } "create" in
   if
@@ -162,15 +162,15 @@ let add i_2 bv_2 =
           {
             pos_fname = "lib.mli";
             pos_lnum = 15;
-            pos_bol = 626;
-            pos_cnum = 626
+            pos_bol = 640;
+            pos_cnum = 640
           };
         Ortac_runtime.stop =
           {
             pos_fname = "lib.mli";
             pos_lnum = 20;
-            pos_bol = 857;
-            pos_cnum = 912
+            pos_bol = 871;
+            pos_cnum = 926
           }
       } "add" in
   if
@@ -225,15 +225,15 @@ let mem i_3 bv_3 =
           {
             pos_fname = "lib.mli";
             pos_lnum = 22;
-            pos_bol = 914;
-            pos_cnum = 914
+            pos_bol = 928;
+            pos_cnum = 928
           };
         Ortac_runtime.stop =
           {
             pos_fname = "lib.mli";
             pos_lnum = 25;
-            pos_bol = 1060;
-            pos_cnum = 1089
+            pos_bol = 1074;
+            pos_cnum = 1103
           }
       } "mem" in
   if