chore(release): prepare 0.18.0 - #461
Merged
Merged
Conversation
Targeted typing now means fill on every adapter: typing into a named field states what the field should read, instead of landing after whatever was there. A spec that relied on targeted typing appending would change meaning - none does, and the docs never promised it - which is why this is 0.18.0 and not 0.17.1. All six version locations move together, and the lockfile with them. Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Minor bump for #460 — a behaviour change, not just a fix.
Cargo.tomlsdk/python/pyproject.tomlsdk/python/flowproof/__init__.pysdk/js/package.jsonoptionalDependenciesplatform packagesCargo.lock(every workspace crate)Verified with the same commands the
versions agreejob runs; lockfile regenerated withcargo update -w.What 0.18.0 is
Targeted typing means fill, on every adapter. Typing into a named field now states what the field should read — whatever it held is replaced, the way every mainstream tool works. Focused typing (
Type <text>with no target) stays raw keystrokes and appends.What the old accident cost: a correction typed
800— the right value — into a field still holding the refused9000, and the page saw9000800. The recording survived only because the model noticed the tool's own behaviour and worked around it.Why minor, not patch: a spec that relied on targeted typing appending would change meaning under this release. No committed flow does, and the docs never promised append — but a semantics change to a shipped grammar is a version boundary, not a bugfix footnote. The CHANGELOG entry says so explicitly.
Notes
cargo fmt,clippy -D warnings, full suite (915 tests) green.v0.18.0) once this is onmain.🤖 Generated with Claude Code