Make the project build with Zig 0.17.0 (#14)

Author: habedi

.github/workflows/docs.yml

@@ -27,7 +27,7 @@ jobs:
       - name: Install Zig
         uses: mlugg/setup-zig@v2
         with:
-          version: '0.16.0'
+          version: '0.17.0'
 
       - name: Install system dependencies
         run: |

.github/workflows/tests.yml

@@ -25,26 +25,26 @@ jobs:
       matrix:
         include:
           - os: ubuntu-latest
-            zig-url: https://ziglang.org/download/0.16.0/zig-x86_64-linux-0.16.0.tar.xz
-            zig-dir: zig-x86_64-linux-0.16.0
+            zig-url: https://ziglang.org/download/0.17.0/zig-x86_64-linux-0.17.0.tar.xz
+            zig-dir: zig-x86_64-linux-0.17.0
           - os: macos-latest
-            zig-url: https://ziglang.org/download/0.16.0/zig-aarch64-macos-0.16.0.tar.xz
-            zig-dir: zig-aarch64-macos-0.16.0
+            zig-url: https://ziglang.org/download/0.17.0/zig-aarch64-macos-0.17.0.tar.xz
+            zig-dir: zig-aarch64-macos-0.17.0
           - os: windows-latest
-            zig-url: https://ziglang.org/download/0.16.0/zig-x86_64-windows-0.16.0.zip
-            zig-dir: zig-x86_64-windows-0.16.0
+            zig-url: https://ziglang.org/download/0.17.0/zig-x86_64-windows-0.17.0.zip
+            zig-dir: zig-x86_64-windows-0.17.0
 
     steps:
       - name: Checkout repository
         uses: actions/checkout@v4
 
-      - name: Install Zig 0.16.0 (Unix)
+      - name: Install Zig 0.17.0 (Unix)
         if: runner.os != 'Windows'
         run: |
           curl -sSfL ${{ matrix.zig-url }} | tar -xJ
           echo "$PWD/${{ matrix.zig-dir }}" >> "$GITHUB_PATH"
 
-      - name: Install Zig 0.16.0 (Windows)
+      - name: Install Zig 0.17.0 (Windows)
         if: runner.os == 'Windows'
         shell: pwsh
         run: |
@@ -68,10 +68,10 @@ jobs:
       - name: Checkout repository
         uses: actions/checkout@v4
 
-      - name: Install Zig 0.16.0
+      - name: Install Zig 0.17.0
         run: |
-          curl -sSfL https://ziglang.org/download/0.16.0/zig-x86_64-linux-0.16.0.tar.xz | tar -xJ
-          echo "$PWD/zig-x86_64-linux-0.16.0" >> "$GITHUB_PATH"
+          curl -sSfL https://ziglang.org/download/0.17.0/zig-x86_64-linux-0.17.0.tar.xz | tar -xJ
+          echo "$PWD/zig-x86_64-linux-0.17.0" >> "$GITHUB_PATH"
 
       - name: Set up uv
         uses: astral-sh/setup-uv@v5

AGENTS.md

@@ -99,7 +99,7 @@ Please do not add further dependencies without prior discussion.
 
 ## Zig Conventions
 
-- Zig version: 0.16.0 (as declared in `build.zig.zon` and the Makefile's `ZIG_LOCAL` path). CI pins the version declared in `build.zig.zon`.
+- Zig version: 0.17.0 (as declared in `build.zig.zon` and the Makefile's `ZIG_LOCAL` path). CI pins the version declared in `build.zig.zon`.
 - Formatting is enforced by `zig fmt`. Run `make format` before committing.
 - Naming follows Zig standard-library conventions: `camelCase` for functions (e.g. `joinInto`, `extendInto`, `fromSlice`), `snake_case` for local
   variables and struct fields, `PascalCase` for types and structs (e.g. `Relation`, `Variable`, `Database`), and `SCREAMING_SNAKE_CASE` for

Dockerfile

@@ -9,7 +9,7 @@ RUN apt-get update && apt-get install -y --no-install-recommends \
     && rm -rf /var/lib/apt/lists/*
 
 # Install Zig, pinned to the version declared in build.zig.zon.
-ARG ZIG_VERSION=0.16.0
+ARG ZIG_VERSION=0.17.0
 RUN curl -sSfL "https://ziglang.org/download/${ZIG_VERSION}/zig-x86_64-linux-${ZIG_VERSION}.tar.xz" \
     | tar -xJ -C /opt \
     && ln -s "/opt/zig-x86_64-linux-${ZIG_VERSION}/zig" /usr/local/bin/zig

Makefile

@@ -1,7 +1,7 @@
 ################################################################################
 # Configuration and Variables
 ################################################################################
-ZIG_LOCAL  := $(HOME)/.local/share/zig/0.16.0/zig
+ZIG_LOCAL  := $(HOME)/.local/share/zig/0.17.0/zig
 ZIG        ?= $(shell test -x $(ZIG_LOCAL) && echo $(ZIG_LOCAL) || which zig)
 ZIG_VERSION   := $(shell $(ZIG) version)
 BUILD_TYPE    ?= Debug

README.md

@@ -11,7 +11,7 @@
 [![Examples](https://img.shields.io/badge/examples-view-green?style=flat&labelColor=282c34&logo=zig)](https://github.com/CogitatorTech/zodd/tree/main/examples)
 [![API Docs](https://img.shields.io/badge/docs-read-blue?style=flat&labelColor=282c34&logo=read-the-docs)](https://cogitatortech.github.io/zodd/api/#zodd.lib)
 [![Web Frontend](https://img.shields.io/badge/web_frontend-try-orange?style=flat&labelColor=282c34&logo=webassembly)](https://CogitatorTech.github.io/zodd/)
-[![Zig](https://img.shields.io/badge/zig-0.16.0-F7A41D?style=flat&labelColor=282c34&logo=zig)](https://ziglang.org/download/)
+[![Zig](https://img.shields.io/badge/zig-0.17.0-F7A41D?style=flat&labelColor=282c34&logo=zig)](https://ziglang.org/download/)
 [![Release](https://img.shields.io/github/release/CogitatorTech/zodd.svg?label=release&style=flat&labelColor=282c34&logo=github)](https://github.com/CogitatorTech/zodd/releases/latest)
 
 A small embeddable Datalog engine in Zig
@@ -103,7 +103,7 @@ zig fetch --save=zodd "https://github.com/CogitatorTech/zodd/archive/<branch_or_
 Replace `<branch_or_tag>` with the branch or tag you want to use, such as `main` or `v0.1.0`.
 
 > [!NOTE]
-> Zodd is developed and tested with Zig version 0.16.0.
+> Zodd is developed and tested with Zig version 0.17.0.
 
 #### Build Configuration
 
@@ -194,7 +194,6 @@ Zodd is licensed under the MIT License (see [LICENSE](LICENSE)).
 ### Acknowledgements
 
 * The logo shows a directed graph whose edges form a Z, with a dashed arc for the derived fact `path(a, d)`.
-* This project uses [Minish](https://github.com/CogitatorTech/minish) for property-based testing and
-  [Ordered](https://github.com/CogitatorTech/ordered) for B-tree indices.
+* This project uses [Minish](https://github.com/CogitatorTech/minish) for property-based testing, [Chilli](https://github.com/CogitatorTech/chilli) for CLI, and [Ordered](https://github.com/CogitatorTech/ordered) for B-tree indices.
 * Zodd is inspired by and modeled after the [Datafrog](https://github.com/frankmcsherry/blog/blob/master/posts/2018-05-19.md) Datalog engine for Rust.
 

build.zig

@@ -77,14 +77,15 @@ pub fn build(b: *std.Build) void {
 
     // Discover and add tests from tests/ directory
     // (only available when developing zodd, not when used as a dependency)
-    if (b.build_root.handle.openDir(io, "tests", .{ .iterate = true })) |tests_dir| {
+    if (b.root.openDir(io, "tests", .{ .iterate = true })) |tests_dir| {
         // Lazy-load Minish dependency (only needed for property tests)
         const minish_dep = b.dependency("minish", .{
             .target = target,
             .optimize = optimize,
         });
 
         var dir = tests_dir;
+        defer dir.close(io);
         var it = dir.iterate();
         while (it.next(io) catch null) |entry| {
             if (entry.kind != .file) continue;
@@ -115,8 +116,9 @@ pub fn build(b: *std.Build) void {
     } else |_| {}
 
     // Discover and add examples from examples/ directory
-    if (b.build_root.handle.openDir(io, "examples", .{ .iterate = true })) |examples_dir| {
+    if (b.root.openDir(io, "examples", .{ .iterate = true })) |examples_dir| {
         var dir = examples_dir;
+        defer dir.close(io);
         const run_all_step = b.step("run-all", "Run all examples");
 
         var it = dir.iterate();
@@ -207,7 +209,7 @@ pub fn build(b: *std.Build) void {
 }
 
 fn getVersion(b: *std.Build) []const u8 {
-    const zon_content = b.build_root.handle.readFileAlloc(b.graph.io, "build.zig.zon", b.allocator, .unlimited) catch return "unknown";
+    const zon_content = b.root.root_dir.handle.readFileAlloc(b.graph.io, "build.zig.zon", b.allocator, .unlimited) catch return "unknown";
     if (std.mem.indexOf(u8, zon_content, ".version = \"")) |index| {
         const start = index + ".version = \"".len;
         if (std.mem.indexOfScalarPos(u8, zon_content, start, '"')) |end| {

build.zig.zon

@@ -1,20 +1,20 @@
 .{
     .name = .zodd,
-    .version = "0.1.0-alpha.6",
+    .version = "0.1.0-alpha.7",
     .fingerprint = 0x2d03181bdd24914c, // Changing this has security and trust implications.
-    .minimum_zig_version = "0.16.0",
+    .minimum_zig_version = "0.17.0",
     .dependencies = .{
         .minish = .{
-            .url = "https://github.com/CogitatorTech/minish/archive/refs/tags/v0.3.0.tar.gz",
-            .hash = "minish-0.3.0-SQtSTYI3AgCxWdWbKxS_lvmfbp0wJk29ZW5C9CozJaxm",
+            .url = "https://github.com/CogitatorTech/minish/archive/refs/tags/v0.5.0.tar.gz",
+            .hash = "minish-0.5.0-SQtSTXUkAwA1iUHhQRCfM-092BYRlYDLTFCSodBi_EFq",
         },
         .ordered = .{
-            .url = "https://github.com/CogitatorTech/ordered/archive/refs/tags/v0.2.1.tar.gz",
-            .hash = "ordered-0.2.1-Gy41sDCgAgA_QUoMf8Upew_Yx8sAPe7Fw_A2v5qP8GMK",
+            .url = "https://github.com/CogitatorTech/ordered/archive/refs/tags/v0.3.1.tar.gz",
+            .hash = "ordered-0.3.1-Gy41sLuaAgAXViYYrL307WTMx5Jg3iukiVAOlQvATkZe",
         },
         .chilli = .{
-            .url = "https://github.com/CogitatorTech/chilli/archive/refs/tags/v0.3.2.tar.gz",
-            .hash = "chilli-0.3.2-c19PrireAQAXEfA7xrmJW2lrSiNiuuG8wtJI-MJVZgFU",
+            .url = "https://github.com/CogitatorTech/chilli/archive/refs/tags/v0.4.0.tar.gz",
+            .hash = "chilli-0.4.0-c19PrpzYAQAByfO0ayR5w2mpw8ncare-Lk6Uu0E8tjwf",
         },
     },
     .paths = .{ "build.zig", "build.zig.zon", "src", "LICENSE", "README.md" },

src/zodd/frontend/dyntuple.zig

@@ -25,7 +25,8 @@ pub const MAX_ARITY = 16;
 /// The single tuple type used by all frontend relations: a tuple struct of
 /// `MAX_ARITY` `u64` fields. Columns at or past a predicate's arity are
 /// always zero, so sorting and deduplication in `Relation` stay correct.
-pub const DynTuple = @Tuple(&[_]type{Atom} ** MAX_ARITY);
+const tuple_types: [MAX_ARITY]type = @splat(Atom);
+pub const DynTuple = @Tuple(&tuple_types);
 
 /// A `DynTuple` with every column set to zero.
 pub const zero_tuple: DynTuple = std.mem.zeroes(DynTuple);

src/zodd/frontend/parser.zig

@@ -240,12 +240,7 @@ const Parser = struct {
     }
 
     fn aggFunc(name: []const u8) ?ast.AggFunc {
-        inline for (@typeInfo(ast.AggFunc).@"enum".fields) |field| {
-            if (std.mem.eql(u8, name, field.name)) {
-                return @field(ast.AggFunc, field.name);
-            }
-        }
-        return null;
+        return std.meta.stringToEnum(ast.AggFunc, name);
     }
 
     fn fact(self: *Parser, name_token: Token, args: []const Arg) ParseError!void {