[purefunctor]

Bumps iris-cli from 0.1.15 to 0.1.16 in compiler-executable/iris-cli/Cargo.toml and Cargo.lock.

Verification:

• cargo check -p iris-cli --tests --locked passes.
• cargo run -p iris-cli --locked --bin iris -- --version prints iris 0.1.16.

[claude]

Review summary: no issues found.

The PR follows .agents/skills/cutting-releases/SKILL.md. It bumps only the iris-cli version in compiler-executable/iris-cli/Cargo.toml and Cargo.lock, so the internal crates keep their own versions. The commit title matches the expected Prepare <version> release form, and the PR title uses the [meta] category. v0.1.15 is the latest stable release, and v0.1.16 is not yet tagged. No other 0.1.15 references remain in the tree.

Checks run:

• cargo check -p iris-cli --tests --locked: passes
• cargo run -p iris-cli --locked --bin iris -- --version: prints iris 0.1.16
• just format --check: passes
• just licenses, then git status: tree is clean, THIRDPARTY.toml unchanged
• No integration categories are affected, so I ran no snapshot tests and there are no pending .snap/output/ changes.
• I skipped the cross-platform preflight: this is a version-only change, and CI covers the platforms.

[github-actions]

Compatibility regression report

Package set 82.1.0 for PureScript 0.15.17.

✅ The candidate introduces no compatibility errors.

Diagnostic class	Base	Candidate	Introduced	Fixed
Compiler errors	0	0	0	0
Compiler warnings	36	36	0	0
Verifier errors	0	0	0	0

Introduced errors

None.

Fixed errors (0)

None.

Warning changes (0 introduced, 0 fixed)

Introduced

None.

Fixed

None.

Candidate errors (0)

None.

Candidate warnings (36)

• deno@0.0.5/src/Deno.purs:38:17 — CustomWarning (checking): Data.Map's `Semigroup` instance is now unbiased and differs from the left-biased instance defined in PureScript releases <= 0.13.x.
• deno@0.0.5/src/Deno/Dotenv.purs:41:20 — CustomWarning (checking) × 2: Data.Map's `Semigroup` instance is now unbiased and differs from the left-biased instance defined in PureScript releases <= 0.13.x.
• deno@0.0.5/src/Deno/Http/Request.purs:47:25 — CustomWarning (checking): Data.Map's `Semigroup` instance is now unbiased and differs from the left-biased instance defined in PureScript releases <= 0.13.x.
• literals@1.0.2/src/Literals/Null.purs:11:1 — UnparseableFFIModule (javascript): Oxc could not parse the JavaScript FFI module. Fix the invalid or unsupported JavaScript syntax; Iris treated the module as opaque and skipped export-name validation: Unexpected token
• react-basic-dom-beta@0.1.1/src/Beta/DOM.purs:33:31 — DuplicateImport (indexing): Import list contains multiple references to 'Proxy'
• sparse-polynomials@3.0.1/src/Data/Sparse/Polynomial.purs:1048:1 — MissingPatterns (checking) × 2: Pattern match is not exhaustive. Missing: _
• text-formatting@0.1.0/src/Data/Text/Format/Dodo/Printer.purs:64:25 — CustomWarning (checking) × 23: Debug function usage
• trivial-unfold@0.5.0/src/Data/Unfoldable1/Trivial1.purs:150:17 — MissingPatterns (checking): Pattern match is not exhaustive. Missing: Right _
• xterm@1.0.0/src/XTerm/UnicodeHandling.purs:15:1 — UnparseableFFIModule (javascript) × 2: Oxc could not parse the JavaScript FFI module. Fix the invalid or unsupported JavaScript syntax; Iris treated the module as opaque and skipped export-name validation: Expected a semicolon or an implicit semicolon after a statement, but found none
• yoga-react-dom@2.0.1/src/Yoga/React/DOM.purs:34:31 — DuplicateImport (indexing): Import list contains multiple references to 'Proxy'
• yoga-tree-utils@1.0.0/src/Yoga/Tree/Extended/Path.purs:20:72 — DuplicateImport (indexing): Import list contains multiple references to 'snoc'

View workflow run