release: 0.7.0

Cargo.toml

@@ -1,6 +1,6 @@
 [package]
 name = "pyfun"
-version = "0.6.0"
+version = "0.7.0"
 edition = "2024"
 # Edition 2024's floor is Rust 1.85; the code uses nothing newer. The exact build
 # toolchain is pinned separately in rust-toolchain.toml.

editors/emacs/pyfun-mode.el

@@ -6,7 +6,7 @@
 ;; Maintainer: Simon Treanor
 ;; Assisted-by: Claude Code:claude-opus-5
 ;; URL: https://github.com/simontreanor/Pyfun
-;; Version: 0.6.0
+;; Version: 0.7.0
 ;; Package-Requires: ((emacs "29.1"))
 ;; Keywords: languages
 

editors/jetbrains/build.gradle.kts

@@ -10,7 +10,7 @@ plugins {
 }
 
 group = "com.github.simontreanor"
-version = "0.6.0"
+version = "0.7.0"
 
 repositories {
     mavenCentral()

editors/vscode/CHANGELOG.md

@@ -3,6 +3,15 @@
 The extension's version tracks the compiler's: every Pyfun release ships a matching extension, so
 `pyfun --version` and the installed client always agree. A release with no client changes says so.
 
+## 0.7.0
+
+- Version aligned to the compiler's 0.7.0 release. No client changes; the compiler it drives emits
+  faster Python for `Option`/`Result` matches, nullary constructors, lookups consumed by a match and
+  equality searches, folds over destructured elements are linear, every emitted class uses
+  `__slots__`, and four cases where a program passed checking and failed at runtime (a block-local
+  partial application, and three shadowing shapes that rebound a Python function-wide local) are
+  fixed.
+
 ## 0.6.0
 
 - Version aligned to the compiler's 0.6.0 release. No client changes; the language server it drives

editors/vscode/package.json

@@ -2,7 +2,7 @@
   "name": "pyfun",
   "displayName": "Pyfun",
   "description": "Pyfun language support: syntax highlighting plus diagnostics, hover, navigation, and more, backed by `pyfun lsp`.",
-  "version": "0.6.0",
+  "version": "0.7.0",
   "publisher": "pyfun",
   "repository": {
     "type": "git",