Test Dab 0.0.3 on Windows and macOS

[dabroz]

Summary

• advance the authoritative root VERSION from 0.0.2 to 0.0.3 without adding a production version source or pinning the current value in stable tests
• preserve the existing Linux CI matrix on Ruby 3.3.12, 3.4.9, and 4.0.5
• add native inherited-gate jobs on GitHub-hosted macOS and Windows using Ruby 3.3.12 and Premake 5.0.0-beta8
• make only the narrow build-contract repairs required by those runners

Exact base and head

• base branch: master
• base SHA: 30ba808fa3571c1d6ea458399316f5299bb2e270
• head SHA: d0952089ccf0cdf8b1984f554d167f1fc77be12b

Platform matrix

Platform	Runner	Ruby	Native toolchain	Gate
Linux	ubuntu-latest	3.3.12, 3.4.9, 4.0.5	Premake 5.0.0-beta8 Linux + GNU Make	bundle exec rake
macOS	macos-15-intel	3.3.12	Premake 5.0.0-beta8 macOS x64 + Clang/GNU Make	bundle exec rake
Windows	windows-latest	3.3.12	Premake 5.0.0-beta8 Windows + RubyInstaller UCRT GNU Make	bundle exec rake

Validation

• actionlint .github/workflows/ruby.yml
• git diff --check
• bundle exec rubocop Rakefile src/frontend/frontend.rb spec/compiler/version_spec.rb
• focused Windows-guard compile with -Wall -Wextra -Werror
• focused Windows Rake output contract for .exe and .dll targets
• disposable Premake generation checks for Windows target names/guard and macOS x86_64/linker flags
• disposable rebased Linux reproduction: RBENV_VERSION=3.3.12 PREMAKE='./premake5' bundle exec rake (passed)
• rebased version contracts: 10 examples, 0 failures; all tool expectations derive from root VERSION

Generated files

The inherited gate was run only in a disposable checkout. No generated documentation or build artifacts are included in this PR.

Limitations and dependency state

Windows FFI remains explicitly unsupported; the two newer FFI fixtures now carry the same Windows skip metadata as the existing FFI fixtures. This PR does not redesign or broaden FFI.

The former dependency on #13 is resolved: #13 was squash-merged into master as 30ba808fa3571c1d6ea458399316f5299bb2e270, and this branch is rebased on that exact commit. The intended VERSION transition is now 0.0.2 to 0.0.3. Exact-head CI and review have converged; this PR remains unmerged by design.

[Copilot]

Pull request overview

Expands Dab’s CI gate to validate the existing Ruby/native build contract on GitHub-hosted macOS and Windows runners, while advancing the root VERSION to 0.0.3 and making small cross-platform build/test harness adjustments needed for those environments.

Changes:

• Bump the root VERSION to 0.0.3 and relax the VERSION spec to validate a numeric semver format rather than a pinned value.
• Add macOS and Windows GitHub Actions jobs (keeping the existing Linux Ruby matrix intact).
• Adjust build/test plumbing for Windows/macOS (DLL extension handling, Premake platform define, MSBuild platform name, and portable file moves).

Reviewed changes

Copilot reviewed 9 out of 9 changed files in this pull request and generated no comments.

Show a summary per file

File	Description
VERSION	Advances authoritative project version to 0.0.3.
spec/compiler/version_spec.rb	Updates version contract to semver-format validation while still requiring tool output to match VERSION.
.github/workflows/ruby.yml	Adds macOS and Windows inherited-gate CI jobs alongside the existing Linux matrix.
Rakefile	Updates binary/library naming for Windows, fixes MSBuild platform target, and replaces shell mv with FileUtils.mv.
premake5.lua	Defines DAB_PLATFORM_WINDOWS on Windows and restricts dl linking to Linux.
src/frontend/frontend.rb	Replaces {$OS_DYLIB_EXT} with dll/so/dylib depending on OS.
src/cvm/syscalls.cpp	Minor adjustment in the Windows dlimport unsupported path (hunk touched).
test/dab/0244_ffi_simple.dabt	Skips Windows for FFI fixture (FFI remains unsupported on Windows).
test/dab/0245_ffi_arg.dabt	Skips Windows for FFI fixture (FFI remains unsupported on Windows).

Comments suppressed due to low confidence (1)

src/cvm/syscalls.cpp:117

• The Windows stub uses an if (true) block, which is redundant and makes the unsupported-path harder to read. You can simplify to a single throw (and optionally capitalize the message consistently) without changing behavior.

    {
        throw DabRuntimeError("function import not supported on windows yet");
    }
#endif

---

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

[Copilot]

Pull request overview

Copilot reviewed 8 out of 8 changed files in this pull request and generated no new comments.

Comments suppressed due to low confidence (1)

src/cvm/syscalls.cpp:116

• On Windows builds (with DAB_PLATFORM_WINDOWS defined and fatal warnings enabled), method_name and libc_name are computed above but never used in the #else branch, which can trigger -Wunused-variable/-Werror and break the build. Also the if (true) wrapper is redundant; explicitly mark locals unused and throw directly.

#else
    if (true)
    {
        throw DabRuntimeError("function import not supported on windows yet");
    }

[dabroz]

Repair follow-up: I am addressing the valid suppressed Copilot finding in the Windows unsupported-FFI branch only. I will remove the redundant control flow and avoid computing Windows-unused locals without changing the existing error contract or broadening FFI, then rerun focused local validation, push to this branch, and reconverge all five exact-head CI jobs plus fresh Copilot review.

[Copilot]

Pull request overview

Copilot reviewed 8 out of 8 changed files in this pull request and generated no new comments.

Comments suppressed due to low confidence (3)

premake5.lua:44

• DAB_PLATFORM_WINDOWS is already defined in src/cshared/dab.h based on _WIN32/__MINGW32__. Defining it again here (without a value) can trigger macro-redefinition warnings and may break Windows builds when warnings are treated as errors.

    filter "system:windows"
      defines { "DAB_PLATFORM_WINDOWS" }

src/cvm/syscalls.cpp:58

• In the Windows-only branch, reglist is only referenced by assert(...), which may compile out in Release builds (e.g., when NDEBUG is defined). That can leave reglist unused and fail builds under -Werror//WX.

#ifdef DAB_PLATFORM_WINDOWS
    (void)out_reg;
    throw DabRuntimeError("function import not supported on windows yet");
#else

.github/workflows/ruby.yml:55

• The macOS job hard-codes CLANG_FORMAT via brew --prefix llvm@18. If that formula isn’t installed (or brew is unavailable), the command substitution will fail and abort the step before tests run. Consider falling back to the default clang-format when LLVM 18 isn’t present.

      - name: Run tests
        run: CLANG_FORMAT="$(brew --prefix llvm@18)/bin/clang-format" PREMAKE='./premake5' bundle exec rake

[Copilot]

Pull request overview

Copilot reviewed 8 out of 8 changed files in this pull request and generated no new comments.

[dabroz]

Repair completed at d0952089ccf0cdf8b1984f554d167f1fc77be12b: the unsupported Windows FFI path now throws the same DabRuntimeError before computing native-import state, remains warning-clean when assertions are disabled, and relies on the existing dab.h platform macro instead of a duplicate Premake define. Local git diff --check, clang-format, Windows/Linux warning-as-error compiles, _WIN32 header-contract proof, and disposable Windows Premake generation passed. Exact-head CI run 30592157560 passed all five jobs (Linux 3.3.12/3.4.9/4.0.5, macOS, Windows). Fresh Copilot review covers 8/8 files at this head with zero comments or suppressed findings. PR remains unmerged.

[Copilot]

Pull request overview

Copilot reviewed 8 out of 8 changed files in this pull request and generated no new comments.

Comments suppressed due to low confidence (1)

src/cvm/syscalls.cpp:59

• Runtime error message uses lowercase "windows"; this is user-facing and should match the platform name capitalization used elsewhere (e.g., test skip metadata uses "windows" as a token but messages print "Windows").

#ifdef DAB_PLATFORM_WINDOWS
    (void)out_reg;
    (void)reglist;
    throw DabRuntimeError("function import not supported on windows yet");
#else