diff --git a/Cargo.lock b/Cargo.lock
index 9fe7a63..097189e 100644
--- a/Cargo.lock
+++ b/Cargo.lock
@@ -31,7 +31,7 @@ dependencies = [
 
 [[package]]
 name = "pyfun"
-version = "0.6.0"
+version = "0.7.0"
 
 [[package]]
 name = "pyfun-playground"
diff --git a/Cargo.toml b/Cargo.toml
index 212dae4..4f492e4 100644
--- a/Cargo.toml
+++ b/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.
diff --git a/editors/emacs/pyfun-mode.el b/editors/emacs/pyfun-mode.el
index d8b12a0..a988693 100644
--- a/editors/emacs/pyfun-mode.el
+++ b/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
 
diff --git a/editors/jetbrains/build.gradle.kts b/editors/jetbrains/build.gradle.kts
index eb070be..637ae7a 100644
--- a/editors/jetbrains/build.gradle.kts
+++ b/editors/jetbrains/build.gradle.kts
@@ -10,7 +10,7 @@ plugins {
 }
 
 group = "com.github.simontreanor"
-version = "0.6.0"
+version = "0.7.0"
 
 repositories {
     mavenCentral()
diff --git a/editors/vscode/CHANGELOG.md b/editors/vscode/CHANGELOG.md
index 729a031..543051a 100644
--- a/editors/vscode/CHANGELOG.md
+++ b/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
diff --git a/editors/vscode/package.json b/editors/vscode/package.json
index 5832b92..7432dda 100644
--- a/editors/vscode/package.json
+++ b/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",