WIP on CI

Signed-off-by: Kakadu <Kakadu@pm.me>

Author: Kakadu

.github/workflows/master.yml

@@ -36,7 +36,8 @@ jobs:
           submodules: true
 
 
-      - run: opam install ./src --yes --deps-only --with-test --with-doc
+      - run: opam install . ./noCanren ./OCanren --yes --deps-only --with-test --with-doc
+        working-directory: ./src
 
       - name: List installed dependencies...
         run: opam list

src/.ocamlformat

@@ -1 +1 @@
-version = 0.28.1
+version = 0.26.2

src/JGS.opam

@@ -0,0 +1,21 @@
+# This file is generated by dune, edit dune-project instead
+opam-version: "2.0"
+depends: [
+  "dune" {>= "3.3"}
+  "ocamlformat" {with-test & >= "0.26.1" & < "0.27"}
+  "odoc" {with-doc}
+]
+build: [
+  ["dune" "subst"] {dev}
+  [
+    "dune"
+    "build"
+    "-p"
+    name
+    "-j"
+    jobs
+    "@install"
+    "@runtest" {with-test}
+    "@doc" {with-doc}
+  ]
+]

src/dune-project

@@ -1,6 +1,14 @@
 (lang dune 3.3)
 
+(generate_opam_files true)
+
 (name JGS)
 
 (package
- (name JGS))
+ (name JGS)
+ (depends
+  (ocamlformat
+   (and
+    :with-test
+    (>= 0.26.1)
+    (< 0.27)))))

src/jtype_set.mli

@@ -1,5 +1,7 @@
 type t
 
+val empty : t
+val cardinal : t -> int
 val alpha_converted_answer_set : t ref
 val add_alpha_converted : JGS.HO.jtype_logic -> t -> t
 val mem_alpha_converted : JGS.HO.jtype_logic -> t -> bool