Experiment: fix lower_bounds fail on micrograd_demo by lower bounding base and core

lukstafi · lukstafi · commit 8da72a889097 · 2024-09-17T11:46:27.000+02:00
diff --git a/arrayjit.opam b/arrayjit.opam
@@ -15,8 +15,8 @@ bug-reports: "https://github.com/lukstafi/ocannl/issues"
 depends: [
   "ocaml" {>= "5.2.0"}
   "dune" {>= "3.11"}
-  "base"
-  "core"
+  "base" {>= "v0.17.0"}
+  "core" {>= "v0.17.0"}
   "ctypes" {>= "0.23"}
   "ctypes-foreign" {>= "0.23"}
   "printbox"
diff --git a/dune-project b/dune-project
@@ -50,8 +50,10 @@
   (ocaml
    (>= 5.2.0))
   dune
-  base
-  core
+  (base
+   (>= v0.17.0))
+  (core
+   (>= v0.17.0))
   (ctypes
    (>= 0.23))
   (ctypes-foreign
@@ -65,7 +67,8 @@
   ocannl_npy
   stdio
   num
-  (saturn_lockfree (>= 0.5.0))
+  (saturn_lockfree
+   (>= 0.5.0))
   ppxlib
   ppx_jane
   ppx_expect
@@ -89,8 +92,10 @@
   (ocaml
    (>= 5.2.0))
   dune
-  base
-  core
+  (base
+   (>= v0.17.0))
+  (core
+   (>= v0.17.0))
   ; opam 2.2.0 has with-dev-setup. Is it supported, what's the syntax?
   ; (ocamlformat
   ;  (>= 0.26.2)
diff --git a/neural_nets_lib.opam b/neural_nets_lib.opam
@@ -15,8 +15,8 @@ bug-reports: "https://github.com/lukstafi/ocannl/issues"
 depends: [
   "ocaml" {>= "5.2.0"}
   "dune" {>= "3.11"}
-  "base"
-  "core"
+  "base" {>= "v0.17.0"}
+  "core" {>= "v0.17.0"}
   "arrayjit"
   "printbox"
   "printbox-text"
diff --git a/test/micrograd_demo.ml b/test/micrograd_demo.ml
@@ -82,9 +82,9 @@ let%expect_test "Micrograd README basic example" =
 let%expect_test "Micrograd half-moons example" =
   Tensor.unsafe_reinitialize ();
   Rand.init 5;
-  (* We could use the cc backend! But for unknown reason, it leads to different resuls on a
-     lower_bounds CI target than on other CI targets. *)
-  let module Backend = (val Arrayjit.Backends.fresh_backend ~backend_name:"sync_cc" ()) in
+  (* Note: for as-yet unknown reason, this test can lead to different resuls on different versions
+     of dependencies. *)
+  let module Backend = (val Arrayjit.Backends.fresh_backend ~backend_name:"cc" ()) in
   let backend = (module Backend : Train.Backend_type with type context = Backend.context) in
   let device = Backend.(new_virtual_device @@ get_device ~ordinal:0) in
   let ctx = Backend.init device in
