[purefunctor]

Bump iris-cli to 0.1.10 for the v0.1.10 release.

Verification:

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

[claude]

Review summary: no issues found.

The PR bumps iris-cli from 0.1.9 to 0.1.10 in compiler-executable/iris-cli/Cargo.toml and makes the matching Cargo.lock update. A repository-wide search for 0.1.9 found no other references to the CLI version left behind; the only remaining match is the unrelated time-core entry in THIRDPARTY.toml. The single commit (Prepare 0.1.10 release) and the [meta] title follow the commit conventions in AGENTS.md.

Checks run:

• cargo check -p iris-cli --tests --locked: passes.
• just format --check: clean.
• just licenses, then git status: THIRDPARTY.toml unchanged, working tree clean.
• Integration and e2e tests: not run, because no compiler behavior or snapshots are affected.

🤖 Generated with Claude Code

[purefunctor]

Granite Review

Council

Role	Mode	Status	Attempt	Amp thread
Council member	review-gpt-6-luna	completed	1	T-01a157d5-07c9-704c-ae59-f9d39c9f5995
Council member	review-gpt-6-sol	completed	1	T-01a157d5-0933-7708-b7e2-e4225edaeca9
Synthesis	review-astra-synthesis	completed	1	T-01a157d8-0bfe-771f-8f6d-211ad233a5c6

Findings

No actionable findings.

[github-actions]

Compatibility regression report

Package set 81.9.0 for PureScript 0.15.16.

✅ 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