Merge remote-tracking branch 'origin/1.10' into 1.10 after CI fix

.github/workflows/blank.yml

@@ -1,12 +1,10 @@
-name: Build
+name: Main workflow
 
 on:
   pull_request:
   push:
-    paths-ignore:
-      - 'README.md'
-    branches:
-      - '1.10'
+
+permissions: read-all
 
 jobs:
   build:
@@ -14,27 +12,29 @@ jobs:
       fail-fast: false
       matrix:
         os:
-          #- macos-latest
-          - ubuntu-20.04
-          #- windows-latest
-        ocaml-version:
-          #- 4.11.0
-          - 4.10.1
-          #- 4.09.1
-          #- 4.08.1
+#          - macos-latest
+          - ubuntu-latest
+#          - windows-latest
+        ocaml-compiler:
+#          - "4.11.1"
+          # - 4.10.x
+          # - 4.11.x
+          - 4.13.1
 
     runs-on: ${{ matrix.os }}
 
     steps:
-      - name: Checkout code
-        uses: actions/checkout@v2
-      - name: Use OCaml ${{ matrix.ocaml-version }}
-        uses: avsm/setup-ocaml@v1
+      - name: Checkout tree
+        uses: actions/checkout@v3
+
+      - name: Set-up OCaml ${{ matrix.ocaml-compiler }}
+        uses: ocaml/setup-ocaml@v2
         with:
-          ocaml-version: ${{ matrix.ocaml-version }}
+          ocaml-compiler: ${{ matrix.ocaml-compiler }}
 
       - run: opam pin add Lama.dev . --no-action
       - run: opam depext Lama.dev --yes --with-test
       - run: opam install . --deps-only --with-test
+      - run: eval $(opam env)
       - run: opam exec -- make #dune build
       - run: opam exec -- make regression # dune runtest

Lama.opam

@@ -10,7 +10,7 @@ bug-reports: "https://github.com/JetBrains-Research/Lama/issues"
 depends: [
   "ocaml"       { >= "4.07.1" }
   "ocamlfind"   { build }
-  "camlp5"      { >= "8.00"}
+  "camlp5"      { >= "8.00.05"}
   "ostap"       { >= "0.5"}
   "GT"          { >= "0.5.0" }
 ]

runtime/gc.c

@@ -481,11 +481,12 @@ lama_type get_type_header_ptr (void *ptr) {
       fprintf(stderr, "ERROR: get_type_header_ptr: unknown object header, cur_id=%d", cur_id);
       raise(SIGINT);   // only for debug purposes
 #else
-      fprintf(stderr,
-              "ERROR: get_type_header_ptr: unknown object header, ptr is %p, "
-              "heap size is %d\n",
-              ptr,
-              heap.size);
+      fprintf(
+          stderr,
+          "ERROR: get_type_header_ptr: unknown object header, ptr is %p, tag %i, heap size is %d\n",
+          ptr,
+          TAG(*header),
+          heap.size);
 #endif
       exit(1);
     }

src/version.ml

@@ -1 +1 @@
-let version = "Version 1.10, 80b391aff, Tue Oct 25 02:57:51 2022 +0300"
+let version = "Version 1.10, 1bafe839d, Sun Mar 12 05:30:58 2023 +0300"