v0.0.17

What's Changed

• [checking] Recognize wrapped true guards as exhaustive by @purefunctor in #253
• [lsp] Warn about conflicting renames by @purefunctor in #255
• [agents] Clarify snapshot update workflow by @purefunctor in #257
• [checking] Warn about missing instance members by @purefunctor in #262
• [lsp] Locate classes in instance heads by @purefunctor in #263
• [lsp] Complete type classes in import lists by @purefunctor in #265
• [lowering] Report unresolved instance classes by @purefunctor in #266
• [lsp] Complete classes in instance heads by @purefunctor in #268
• [agents] Add optional Jujutsu Orb setup by @purefunctor in #267
• [lsp] Exclude annotations from record pun highlights by @purefunctor in #269
• [meta] Prepare 0.0.17 release by @purefunctor in #270

Full Changelog: v0.0.16...v0.0.17

v0.0.16

What's Changed

• [agents] Add release cutting skill by @purefunctor in #246
• [lsp] Hover instance member declarations by @purefunctor in #248
• [lsp] Rename local bindings by @purefunctor in #249
• [lsp] Show intermediate record access types on hover by @purefunctor in #251
• [meta] Prepare 0.0.16 release by @purefunctor in #252

Full Changelog: v0.0.15...v0.0.16

v0.0.15

What's Changed

• [agents] Install pinned documentation tooling in orbs by @purefunctor in #211
• [analyzer] Generalize analyzer hosts for Wasm queries by @purefunctor in #212
• [lsp] Handle shutdown lifecycle by @purefunctor in #214
• [lsp] Implement semantic token requests by @purefunctor in #213
• [meta] Fix Windows checks and failure reporting by @purefunctor in #215
• [lsp] Implement rename requests by @purefunctor in #182
• [analyzer] Use host contexts for analyzer requests by @purefunctor in #216
• [checking] Generate delegated newtype instances by @purefunctor in #219
• [lsp] Handle rename rejections by @purefunctor in #218
• [checking] Print fully qualified names in checking reports by @purefunctor in #221
• [analyzer] Collect diagnostics through analyzer hosts by @purefunctor in #220
• [checking] Preserve type variable names in instance members by @purefunctor in #222
• [agents] Add code commentary writing skill by @purefunctor in #225
• [agents] Clarify pull request title categories by @purefunctor in #224
• [cli] Restore default LSP invocation by @purefunctor in #223
• [checking] Generate derived Functor and Bifunctor instances by @purefunctor in #226
• [checking] Number generated display names from zero by @purefunctor in #227
• [checking] Preserve instance variable names in semantic trees by @purefunctor in #228
• [checking] Simplify source type variable bindings by @purefunctor in #229
• [ci] Bump actions/attest-build-provenance from 3 to 4 by @dependabot[bot] in #233
• [ci] Bump taiki-e/install-action from 2 to 2.85.4 by @dependabot[bot] in #234
• [ci] Bump actions/setup-node from 6 to 7 by @dependabot[bot] in #235
• [checking] Generate Traversable derived members by @purefunctor in #230
• [checking] Generate Foldable derived members by @purefunctor in #231
• [checking] Generate Contravariant and Profunctor derived members by @purefunctor in #236
• [checking] Clarify compiler tree representation names by @purefunctor in #237
• [agents] Add automated pull request reviews by @purefunctor in #239
• [agents] Dispatch registered review mode headlessly by @purefunctor in #241
• [meta] Prepare 0.0.15 release by @purefunctor in #245

Full Changelog: v0.0.14...v0.0.15

v0.0.14

What's Changed

• [meta] Add verified release installers by @purefunctor in #180
• [release] Prepare verified v0.0.14 release by @purefunctor in #210

Full Changelog: v0.0.13...v0.0.14

v0.0.13

What's Changed

• lsp: implement textDocument/documentSymbol by @bneiswander in #109
• Use glob base as walk roots in the language server by @purefunctor in #154
• lsp: implement textDocument/documentHighlight by @bneiswander in #110
• [ls] Implement references for local bindings by @purefunctor in #155
• [ls] Refactor textDocument/documentHighlight implementation by @purefunctor in #157
• [checking] Allow recovery for do expressions with final let by @purefunctor in #159
• [ls] Implement initial local completions by @purefunctor in #160
• [checking] Implement holes for terms and types by @purefunctor in #161
• [checking] Use row kind inference in Prim.Union by @purefunctor in #162
• [checking] Include kind unification in instance matching by @purefunctor in #163
• [agents] Update AGENTS.md and skills by @purefunctor in #164
• [checking] Implement overlapping instance checks by @purefunctor in #165
• [indexing] Minor refactorings for correctness by @purefunctor in #166
• Bump codecov/codecov-action from 5 to 7 by @dependabot[bot] in #168
• Bump actions/checkout from 6 to 7 by @dependabot[bot] in #169
• [documenting] Implement initial package documentation generator by @purefunctor in #167
• [lowering] Preserve expression literal values by @purefunctor in #170
• Fix clippy warnings by @purefunctor in #171
• [parsing] Optimize lexer and parser throughput by @purefunctor in #173
• [agents] Install Rust formatting and linting components by @purefunctor in #179
• [syntax] Migrate syntax trees to Syntree by @purefunctor in #178
• [agents] Clarify agent code style guidance by @purefunctor in #181
• [checking] Reduce dependency lookup and overlap costs by @purefunctor in #184
• [building] Optimize query engine state tracking by @purefunctor in #183
• [meta] Update dependencies affected by security advisories by @purefunctor in #187
• Fix test runner color detection by @purefunctor in #188
• [checking] Move functional dependency oracle into tests by @purefunctor in #189
• [checking] Implement evidence graph by @purefunctor in #192
• [checking] Add checked semantic tree foundation by @purefunctor in #193
• [agents] Install cargo-insta in agent setup by @purefunctor in #195
• [checking] Add initial value declaration lowering by @purefunctor in #194
• [checking] Retain checked application structure by @purefunctor in #196
• [checking] Retain class and instance dictionary structure by @purefunctor in #197
• [checking] Retain expression literals in the semantic tree by @purefunctor in #199
• [checking] Retain array and record expression structure by @purefunctor in #198
• [checking] Lower operator expressions into applications by @purefunctor in #200
• [checking] Retain local let bindings in the semantic tree by @purefunctor in #201
• [checking] Retain checked case expressions in the semantic tree by @purefunctor in #202
• Retain checked lambda expressions in the semantic tree by @purefunctor in #203
• [checking] Retain checked do and ado expressions in the semantic tree by @purefunctor in #204
• [checking] Retain checked if-then-else expressions in the semantic tree by @purefunctor in #205
• [checking] Retain record access and update expressions in the semantic tree by @purefunctor in #206
• [checking] Retain section expressions in the semantic tree by @purefunctor in #207
• [checking] Implement semantic deriving for Eq, Ord, Eq1, Ord1 by @purefunctor in #208
• [release] 0.0.13 by @purefunctor in #209

Full Changelog: v0.0.12...v0.0.13

v0.0.12

Fix publishing workflow

v0.0.11

Extract helper for hover formatting

v0.0.10

Move node insertion to top-level entry points

v0.0.9

Release v0.0.9

v0.0.8

Release v0.0.8